Este será o blog da disciplina Tópicos em Lógica da pós-graduação 2012.2.
Abaixo, o programa do curso:
Para a aula extra de 27/8, 9h30, usaremos os capítulos do Mortari sobre sintaxe e semântica da lógica de primeira ordem (especialmente a semântica, valorações e estruturas) e também as apostilas disponíveis no site
Na aula de 27/8, 14h, veremos as seções 15 a 28 do Hunter.
Abraços
Nenhum comentário:
Postar um comentário