LOGICA

Settore: M-FIL/02Codice: 104MMCrediti: 12Semestre: 1
Docenti: Moriconi Enrico

Obiettivi di apprendimento

Conoscenze

Acquisizione delle conoscenze di base della logica formale contemporanea.

Modalità di verifica delle conoscenze

Esame orale.

Capacità

Saper usare i principali sistemi di prova.

Modalità di verifica delle capacità

Esame orale.

Comportamenti

Nessuno.

Modalità di verifica dei comportamenti

Nessuna.

Prerequisiti

E' preferibile ma non indispensabile avere conoscenze logiche di base (es. esame di Istituzioni di logica).

Indicazioni metodologiche

La frequenza non è obbligatoria ma è caldamente raccomandata.

Programma

Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che per quelli semantici, con particolare attenzione ai sistemi di prova.

Bibliografia

Manuale: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2017.

Più precisamente:

capitolo 1, tutto
capitolo 2, §§ 2.1-2.3
capitolo 3, §§ 3.1-3.3 e 3.6
capitolo 4, tutto
capitolo 5, §§ 5.1-5.2
capitolo 8, §§ 8.1-8.3
capitolo 9, tutto meno il § 9.3
capitolo 10, §§ 10.1-10.5
capitolo 11, il § 11.1

Non frequentanti

Nessuna.

Modalità di esame

Esame orale.

Altri riferimenti web

Nessuno.

Fonte: ESSETRE e Portale esami