Nome, Horário e Local de Atendimento dos Monitores
Eduardo Lourenço (ela), Ivi Souza (ibs2), Marcos Aurélio (maas), Marcelo Simões (msv2).
Planilha de Notas: aqui
Bibliografia: tradução (parcial) para o português de alguns itens da bibliografia:
Livro e CD (software) para aulas práticas:
11-jan
ATENÇÃO: Newsgroup
Última atualização: 22 de Abril de 2004, 08:33hs
Preliminares Matemáticos
A Lógica de Aristóteles: Silogismos
X
08-dez
Feriado
- Nossa Senhora Conceição
Lógica Proposicional: Sintaxe
Tabela-Verdade, Satisfatibilidade
X
21-dez a
Recesso acadêmico
Dedução Natural
Normalização de Provas
04-fev
Decidibilidade
Sistemas de Prova: Corretude, Completude
X
23-fev
Feriado
Carnaval
X
25-fev
Feriado
carnaval
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)
Todas as mensagens relativas à disciplina são veiculadas
no grupo de notícias depto.cursos.grad.if673.