Nome, Horário e Local de Atendimento dos Monitores
(Infelizmente não temos monitores disponíveis neste semestre.)
Notas da Primeira Prova: aqui
Notas da Segunda Prova: aqui
Notas do Tarski's World: aqui
Notas da Prova Final: aqui
Livro e CD (software) para aulas práticas:
Material sobre a proposições e provas:
Material sobre a revisão de alguns conceitos de álgebra aplicada:
Tradução (parcial) para o português de alguns itens da bibliografia:
Preliminares Matemáticos |
|||
Tabela-Verdade, Satisfatibilidade |
|||
Máquina de Turing. Teorema de Cook |
|||
Dedução Natural | |||
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 |
|||
ATENÇÃO: Newsgroup
Última atualização: 13 de Julho de 2001, 15:44:11hs
Todas as mensagens relativas à disciplina são veiculadas
no newsgroup depto.cursos.grad.if312.