Introdução à Lógica Matemática
Ementa
Bem vindo ao curso Introdução à Lógica Matemática |
Objetivo |
Nível do curso |
Pré-requisito |
Programa História e desenvolvimento da Lógica. Cálculo proposicional. Álgebra dos conjuntos e booleana. Circuitos lógicos. Árvores de refutação. Cálculo de Predicados. |
Obrigatório
|
Índice de aulas |