Notas: Planilha
Professor: Ruy José Guerra Barretto de Queiroz.
Nome, Horário e Local de Atendimento dos Monitores
Eduardo Lourenço (ela), Ivi Batista (ibs2), Marcos Aurélio (maas), Marcelo Simões (msv2).
Bibliografia: tradução (parcial) para o português de alguns itens da bibliografia:
Livro e CD (software) para aulas práticas:
Preliminares Matemáticos |
|||
A Lógica de Aristóteles: Silogismos |
|||
Lógica Proposicional: Sintaxe |
|||
Tabela-Verdade, Satisfatibilidade |
|||
Dedução Natural |
|||
Normalização de Provas |
|||
Decidibilidade Sistemas de Prova: Corretude, Completude |
|||
Lógica de Primeira Ordem: Semântica |
|||
Diagramas, Modelos Canônicos |
|||
Forma Normal de Skolem |
|||
Teorema de Herbrand |
|||
Lógica Proposicional |
|||
Lógica de Primeira Ordem |
|||
Incompletude (Gödel) |
|||
ATENÇÃO: Newsgroup
Última atualização: 10 de Outubro de 2003, 10:17hs
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if673.