LÓGICA
Ementa
O curso trata de aspectos técnicos, históricos e filosóficos de lógica, no âmbito clássico e no não clássico, e tem como fio condutor as noções de consequência lógica (semântica) e de demonstrabilidade. Conteúdo: 1) As noções de argumento, argumento válido e argumento correto; 2) Aspectos históricos de lógica; 3) Elementos de cálculo proposicional; 4) Sintaxe e semântica de linguagens de primeira ordem; 5) Validade e consequência lógica (semântica); 6) Procedimentos de prova; 7) Noções de metalógica; 8) Introdução às lógicas não clássicas. A parte prática consiste em resolução de exercícios de Lógica.
Código da disciplina: FIL271-DIG
Nome da atividade: LÓGICA
Período letivo: 2
Tipo da atividade: obrigatória
Créditos: 6
Carga horária (horas):
Teórica | Prática | Total |
---|---|---|
60 | 30 | 90 |
Última oferta: 2022/2