Professor: Ruy José Guerra Barretto de Queiroz.
Nome, Horário e Local de Atendimento dos Monitores
Adalberto Cajueiro de Farias: 2a Feira, 10hs-12hs, no GRAD1.
Alexandre Figueiredo Siebra: 2a Feira, 12:30hs-14hs, no GRAD1.
Byron Leite Dantas Bezerra: 5a Feira, 12hs-13hs, no GRAD1.
Material sobre Estruturas de Primeira Ordem: aqui
Notas da Primeira Prova: aqui
Notas da Segunda Prova: aqui
Notas do Tarski's World: aqui
Quadro Geral de Notas : aqui
Preliminares Matemáticos |
|||
Tabela-Verdade, Satisfatibilidade |
|||
Máquina de Turing. Teorema de Cook |
|||
Dedução Natural | |||
Termos e Fórmulas Atômicas |
|||
Diagramas, Modelos Canônicos |
|||
Teorema de Herbrand |
|||
Lógica Proposicional |
|||
Lógica de Primeira Ordem |
|||
Incompletude |
|||
ATENÇÃO: Newsgroup
Última atualização: 5 de Agosto de 1999, 17:37:49hs
Todas as mensagens relativas à disciplina são veiculadas
no newsgroup depto.cursos.grad.if312.