Lógica Matemática

CARGA HORÁRIA CRÉDITOS
60 Horas 4

Objetivo

Capacitar o aluno a estruturar o pensamento por meio da lógica das proposições, visando o exercício da interpretação lógica e a utilização de conceitos em aplicações práticas, tais como circuitos lógicos e estruturas algorítmicas.

Ementa do programa

Lógica Proposicional: avaliação do valor lógico de uma sentença proposicional mediante o uso da tabela-verdade.
Implicação e Equivalência lógica de uma sentença proposicional: Álgebra das Proposições: utilização de regras de inferências na avaliação da validade de um argumento lógico.
Sentenças Abertas e Quantificadores: lógica dos predicados; sentenças abertas;
Quantificador universal e existencial.
Formas Canônicas e Minimização: Forma normal conjuntiva e disjuntiva;
Álgebra de Boole;
Mapas de Karnaugh e Método tabular.

Critério de Avaliação

Os alunos serão avaliados através de:

  • Provas mensais;
  • Participação no fórum;
  • Outras atividades a critério do professor;