Engenharia de Produção - Bac.- Hab. Prod. Cultura - Turno Noturno 220 |
Disciplina
INTRODUÇÃO À LÓGICA COMPUTACIONAL ( TIN0105 ) |
Unidade
Departamento de Informática Aplicada |
|
Tipo
Optativa |
Período Ideal no Curso
2 |
Nota Mínima para Aprovação
5.0 |
Carga Horária
60 |
Nº de Créditos
4 |
Lógica proposicional e álgebra booleana. Lógica de predicados. Indução. Recursão.