Apresentação da Disciplina

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

Disciplina:
Plano de Ensino
Avaliações: Média 7; Média < 4 = Reprovado. Média >=4 e <7 vai pra final. Na final, Med=6
Lógica Matemática Computacional
Prof. José Antônio Moura | www.professorjoseantoniomoura.blogspot.com | jamouraneto@ig.com.br
De que precisamos:
Matemática básica: +,-,x,:, x²
Noções de Conjunto: relações
Um pouco de análise combinatória
Álgebra, Expressões Numéricas
Concentração
Atenção
Lógica Matemática Computacional
Prof. José Antônio Moura | www.professorjoseantoniomoura.blogspot.com | jamouraneto@ig.com.br
A Lógica
Aristóteles (384 a 322 aC): lógica
Leibniz (1646 a 1716): lógica matemática
Euler (1707 a 1783) e Venn (1834 a 1923): representação gráfica das relações entre sentenças ou proposições. E mais tarde Veitch em 1952 e Karnaugh em 1953.
DeMorgan (1806 a 1871): formal logic
Boole (1815 a 1864) e outros: álgebra de Boole
Lógica Matemática Computacional
Prof. José Antônio Moura | www.professorjoseantoniomoura.blogspot.com | jamouraneto@ig.com.br
Comecemos com PROPOSIÇÃO:
Iezzi & Murakami: toda oração declarativa que pode ser classificada de verdadeira ou falsa
Edgar de Alencar Filho: todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo
Ex.:
O céu visto de dia é azul
7 > 3
Lógica Matemática Computacional
Prof. José Antônio Moura | www.professorjoseantoniomoura.blogspot.com | jamouraneto@ig.com.br
Pra que isso serve?
História do Discípulo de Euclides
Na Programação: Se...então..., enquanto..., repita...até que...
Em Banco de Dados: Select * from Empregados where sexo=”M” and idade > 40 qt_filhos>2
No dia a dia profissional: quem tem direito ao bolsa família, ao seguro desemprego, etc.
Lógica Matemática Computacional
Prof. José Antônio Moura | www.professorjoseantoniomoura.blogspot.com | jamouraneto@ig.com.br
Até o final teremos condições de:
Resolver tabelas verdades usando conectivos E, OU, OU exclusivo, Se...Então, Se e somente se.
Resolver problemas envolvendo funções booleanas, minimizar funções através de alguns métodos diferentes
Entender melhor os círculos de Euler
Transformar números entre bases diferentes
Lógica Matemática Computacional
Prof. José Antônio Moura | www.professorjoseantoniomoura.blogspot.com | jamouraneto@ig.com.br