| Ementa/Descrição: |
Introdução à lógica. Introdução à lógica proposicional. Sentenças e conectivos lógicos. Tabelas-verdade; Fórmulas bem formadas. Teoria dos conjuntos. Análise combinatória. Funções. Relações. Tautologia e contradição. Técnicas de demonstração de teoremas. Raciocínio indutivo e dedutivo. Demonstração direta, contraposição, exaustão, contradição, indução. Introdução à álgebra Booleana. Introdução aos Circuitos Lógicos. Relação entre expressões Booleanas e circuitos lógicos. |