Olá para todos.
Além das apostilas sobre lógica de predicados que já usamos semana
passada, estão disponíveis no Dropbox alguns resultados que serão
vistos: correção, consistência, completude para lógica de primeira
ordem.
Abraços
segunda-feira, 29 de outubro de 2012
sábado, 20 de outubro de 2012
Aula 22/10
Olá para todos.
Esta semana entraremos na parte do curso sobre lógica de primeira ordem.
Na aula do dia 22/10, segunda-feira, faremos uma revisão da sintaxe e
semântica. Além disso, veremos tablôs e dedução natural para LPO.
As apostilas estão na pasta do Dropbox. Vejam também os respectivos
capítulos do Hunter.
Abraços
Esta semana entraremos na parte do curso sobre lógica de primeira ordem.
Na aula do dia 22/10, segunda-feira, faremos uma revisão da sintaxe e
semântica. Além disso, veremos tablôs e dedução natural para LPO.
As apostilas estão na pasta do Dropbox. Vejam também os respectivos
capítulos do Hunter.
Abraços
quarta-feira, 3 de outubro de 2012
Assinar:
Postagens (Atom)