Menu:

Avvisi


La lezione di mercoledì 19 aprile è cancellata a causa di un impegno di ricerca del docente. Le lezioni riprenderanno regolarmente mercoledì 26 aprile.


La prima lezione del corso dell'a.a. 2016-2017 si terrà lunedì 27 febbraio 2017 alle ore 8.45 in Aula 5.

Link

- Logica Matematica I
- Metodi per il Ragionamento Automatico
- AILA
- SILFS
- Scuola Estiva di Logica

Ultima modifica
24 febbraio 2017


Logica II

Corso di Laurea Magistrale in Matematica, Università degli Studi di Milano

Il corso di Logica II offre un'introduzione alla logica equazionale, alle teorie algebriche, e alla dualità di Stone. Prosegue poi con gli elementi della teoria dei modelli. L'ultima parte del corso approfondisce un argomento più avanzato, solitamente di teoria dei modelli, scelto anche sulla base degli interessi degli studenti frequentanti.

La familiarità con gli argomenti istituzionali di un primo corso di logica matematica, quale Logica I, agevolerà l'apprendimento dei contenuti del corso.