| Tipo / Nível / Modalidade |
DISCIPLINA - G - Presencial |
| Código |
BSI1302 |
| Nome |
LÓGICA |
| Equivalências |
( DCT1302 ) |
| Requisitos |
|
| Corequisitos |
|
| Carga Horária |
60h |
| Departamento |
CERES - DEPTO CIÊNCIAS EXATAS E APLICADAS - DCEA/CERES/CERES |
| Ementa |
Analise 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. Circuitos algébricos. |
