MAT-359: Lógica

Segundo Semestre de 2009

Prof. Ricardo Bianconi

Conteúdo da disciplina:

• Introdução e breve histórico

• Cálculo Proposicional: tabelas-verdade, dedução e completude

• Cálculo de Predicados: estruturas e linguagens de primeira ordem, dedução e completude, compacidade e aplicações, Teorema de Löwenheim-Skolem

• Aritmética e incompletude.

AVALIAÇÃO: duas provas e uma substitutiva para quem perder uma delas e listas de exercícios.

Média = (P1+P2+E)/3

Notas (provisórias) - aqui

E=média dos exercícios

P1 e P2 as provas.

DATAS DAS PROVAS: a marcar!

LISTAS DE EXERCÍCIOS:

• Lista 1 (para 09/09/2009) Cuidado com a correção na segunda figura no texto do histórico – pdf

• Lista 2 (para 23/09/2009) – pdf

• Lista 3 (para 28/10/2009) – lista3

• Lista 4 (para 2/12/2009) – lista 4

Material disponível (Leiam com cuidado, pois não os revisei como devia):

• Introdução e Bibliografia – pdf

• Breve Histórico – pdf.

• Dedução informal – pdf

• Cálculo Proposicional – pdf.

• Cálculo de Predicados – pdf

• Teoremas de Incompletude – pdf.

• Enunciado da primeira prova - pdf