|
Sistemas de Informação - Bacharelado - Turno Integral (V/N) 210 |
|
Disciplina
INTRODUÇÃO À LÓGICA COMPUTACIONAL ( TIN0105 ) |
Unidade
Departamento de Informática Aplicada |
|
|
Tipo
Obrigatória |
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.