PROGRAMMA “ISTITUZIONI DI LOGICA” 2019/2020

LUCA MOTTO ROS E GIANLUCA PAOLINI

Il corso consiste di tre parti: Parte A, Parte B e Parte C. Le Parti A e B sono per
il corso da 6 CFU, la addizionale Parte C è per il corso da 9 CFU.

Parte A (Paolini) – Elementi di teoria degli insiemi. Materiale:

Capitolo IV di “Elements of Mathematical Logic” del Prof. A. Andretta. Vedere
le slides caricate online per dettagli (la numerazione degli environment delle slides
corrisponde a quella del libro). Vedete le slides ma studiate sul libro!

Parte B (Paolini) - Logica del primo ordine e teoria dei modelli. Materiale:
(i) Dispense “Calcolo dei Predicati” del Prof. A. Berarducci: tutto dal Capitolo
2 in poi esclusa la Sezione 5.2.
(ii) Dispense “Teoria dei Modelli” del Prof. A. Berarducci: Sezioni 2.6, 2.7 e 2.8;
tutto il Capitolo 4, tranne la Sezione 4.7; Sezioni 7.1 e 7.3.

Parte C (Motto Ros) – Elementi di ricorsività e incompletezza. Materiale:

TBD.

Date: November 14, 2019.

1