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


Bibliografia

Si riporta qui sotto un elenco di testi utili allo studio autonomo di alcuni argomenti trattati nel corso. Si tratta di una piccola bibliografia a beneficio di chi desideri avere un primo orientamento nella manualistica sulla logica matematica, limitatamente o agli aspetti elementari più generali, oppure ad aspetti più avanzati trattati nel corso. Lo studio sistematico di questi testi non è necessario per seguire con profitto il corso. Una bibliografia più ricca è consultabile in questa pagina dell'Associazione Italiana di Logica.


Testi generali di introduzione alla logica.


Algebra generale ("universale").


Dualità di Stone.


Teoria dei modelli.