| Tipo / Nível / Modalidade |
DISCIPLINA - G - Presencial |
| Código |
DCT1302 |
| Nome |
LÓGICA |
| Equivalências |
( BSI1302 ) |
| Requisitos |
|
| Corequisitos |
|
| Carga Horária |
60h |
| Departamento |
DEPARTAMENTO DE COMPUTAÇÃO E TECNOLOGIA - DCT/CERES |
| Ementa |
Análise lógica da linguagem cotidiana. Sentido lógico-matemático convencional dos conectivos. Argumentos. Lógica sentencial. Regras de formação de fórmulas. Sistemas dedutivos. Provas formais. Axiomática e raciocínio dedutivo. Lógica de predicados de primeira ordem. Valores-verdade e funções de avaliação. Tabelas-verdade. Relações entre sintaxe e semântica. |
