Lógica Avançada
Objetivos
Teoremas de incompletude de Gödel
Caracterização geral
Código
12948
Créditos
6.0
Professor responsável
Reinhard Josef Klaus Kahle
Horas
Semanais - 4
Totais - A disponibilizar brevemente
Idioma de ensino
Português
Pré-requisitos
Lógica elementar
Bibliografia
A disponibilizar brevemente
Método de ensino
A disponibilizar brevemente
Método de avaliação
A disponibilizar brevemente
Conteúdo
A disponibilizar brevemente