|
Filosofia - Licenciatura - Turno Integral (V/N) 382 |
|
Disciplina
TÓPICOS ESPECIAIS EM TEMAS DE LÓGICA ( HFI0021 ) |
Unidade
Departamento de Filosofia |
|
|
Tipo
Optativa |
Período Ideal no Curso
4 |
Nota Mínima para Aprovação
5.0 |
|
Carga Horária
60 |
Nº de Créditos
4 |
|
O cálculo de predicados de primeira ordem: sintaxe e semântica. Completude. Dedução Natural.