Materia:Logica matematica: differenze tra le versioni

<br/>

Questa materia viene seguita dal [[Dipartimento:Matematica | Dipartimento di Matematica]].

===Prerequisiti===

Esperienza con la pratica del ragionamento matematico. Il modulo sul calcolo sintattico e quello sulla teoria della calcolabilità si rivolgono agli studenti con interessi fondazionali o in teoria della dimostrazione.

===Lezioni===

* [[Strumenti minimi di teoria degli insiemi|Strumenti minimi di teoria degli insiemi]]