Semântica de Primeira Ordem Clássica

Material:

• Aulas expositivas, reforço, sessões de dúvidas, desafios (tutores+fórum)

• Livro B&A, capítulo Lógica de Predicados: Linguagem e Semântica

• Livro DGM, de Dionísio-Gouveia-Marcos, capítulo 3.1, páginas 1-26

• Verbete sobre Lógica de primeira ordem, na Wikipédia

• Software Mundo de Tarski.

• Exercícios sobre a expressividade da Lógica Clássica de Primeira Ordem na tradução de sentenças da linguagem natural (soluções)

• Exercícios resolvidos B&A, capítulo "Lógica de Predicados: Linguagem e Semântica":

• - Parte 0 (enunciados + soluções)

• - Especial: Parte 1 (construção de contra-modelos finitos: heurística + soluções)

• Exercícios resolvidos DGM: soluções

• Avaliações + soluções:

• - Avaliação 00 (Sem): enunciado - gabarito

• - Avaliação 01 (Sem): enunciado - gabarito

• - Avaliação 02 (Sem): enunciado

• - Avaliação 02 (Sem+DN): enunciado - gabarito

• - Avaliação 03 (Sem+DN): enunciado - gabarito