Vamos iniciar o curso com uma revisão da lógica de primeira ordem, começando pela lógica sentencial.
Tópicos: funções, sintaxe da lógica sentencial, semântica (funções de verdade), tautologias e contradições, consistência semântica, consequência lógica semântica.
Referências: Hunter seções 15 a 19 (aqui: http://dl.dropbox.com/u/5959592/hunter_15_19.pdf) + apostilas de lógica 1 e 2 + respectivos capítulos do Mortari.
As apostilas de lógica 1 e 2 estão na página http://sites.google.com/site/textoslogica/.
(Notem que a linguagem que começaremos a estudar, seguindo o Hunter, tem implicação e negação como primitivos. Veremos mais adiante por que estamos começando com essa linguagem.)
Para a revisão da lógica de predicados vamos usar os capítulos 10 e 11 do Mortari e as apostilas disponíveis nos links
http://dl.dropbox.com/u/5959592/stx_log_pred.pdf
http://dl.dropbox.com/u/5959592/sem_log_pred.pdf
Abraços
Nenhum comentário:
Postar um comentário