Menu:

Avvisi


(Nessun avviso.)


Link

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

Ultima modifica
13 marzo 2019


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.