| Tipo / Nível / Modalidade |
DISCIPLINA - G - Presencial |
| Código |
LMC0085 |
| Nome |
LÓGICA COMPUTACIONAL I |
| Equivalências |
|
| Requisitos |
|
| Corequisitos |
|
| Carga Horária |
60h |
| Departamento |
CERES - DEPTO CIÊNCIAS EXATAS E APLICADAS - DCEA/CERES/CERES |
| Ementa |
1. Noções Básicas de Linguagem Natural x Linguagens Formais; Verdade, Validade, Satisfatibilidade; Lógica Proposicional; Conseqüência Lógica; Simplificação de Fórmulas; Lógica de Primeira Ordem; Formas Normais. Métodos de Validação Métodos Diretos de Prova; Métodos de Prova por Contradição; Indução. Linguagem para experimentação; Aplicações Básicas. |
