Na aula do dia 4/5 vimos a prova da completude de Henkin para a lógica sentencial. Esse foi o resultado mais importante da primeira parte do curso, que foi concluída nesta semana.
Abaixo, a segunda lista de exercícios. A data de entrega, improrrogável, é 18/5/2011.
Dia 9/5 não haverá aula, pois estarei no Encontro Brasileiro de Lógica.
Dia 11/5 o monitor de lógica, Henrique, vai apresentar a sintaxe de uma linguagem da lógica de primeira ordem (seção 38 do Hunter) e tirar dúvidas sobre a lista de exercícios acima.
Abraços
Nenhum comentário:
Postar um comentário