l corso introduce gli studenti alle problematiche della logica contemporanea dal punto di vista della metalogica, fornendo le conoscenze basilari relative a: calcoli assiomatici e deduzione naturale; semantica tarskiana; computabilità (via macchine di Turing); logiche modali.
- Trainer/in: PIERLUIGI MINARI
PSICOLOGIA GENERALE - A
- Trainer/in: STEFANIA SINESI
- Trainer/in: ALBERTO CANOBBIO
- Trainer/in: ALBERTO CANOBBIO
- Trainer/in: ALBERTO CANOBBIO