Visualizar Disciplina

Informações Gerais
Código e Nome
FAF1002 - LÓGICA
Departamento
DEPTO. FILOSOFIA
Tipo de atividade
Disciplina
Créditos
4
Carga horária (horas-aula)
Teórica: 60
Total: 60
Encargo didático
60 horas-aula
Objetivos

Dominar técnicas de simbolização, de tradução, de testes de validade e correção de argumentos

Ementa

OBJETO DE INVESTIGAÇÃO E CONCEITOS FUNDAMENTAIS

SINTAXE DA LÓGICA FORMAL CLÁSSICA

SEMÂNTICA DA LÓGICA FORMAL CLÁSSICA

LÓGICAS FORMAIS NÃO CLÁSSICAS E TEORIAS FORMAIS

Informações da disciplina no curso
Papel da disciplina no curso
Disciplina Complementar de Graduação
Tipo de nota
Nota Numérica
Nota miníma para aprovação (após o exame)
5
Nota máxima
10
Período ideal no curso
Qualquer período
Frequência mínima
75% da carga horária total
Programa