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.
- Orario. Secondo semestre a.a. 2018-2019.
- Il lunedì dalle 8.30 alle 10.30 in Aula 5.
- Il mercoledì dalle 13.30 alle 15.30 in Aula 5.
- Ricevimento. Il martedì dalle 14.00 alle 15.30, oppure per appuntamento concordato con il docente via e-mail o a lezione.