Materia:Logica matematica: differenze tra le versioni

m
modifiche
m (Link al corso di filosofia)
m (modifiche)
<br/>
Questa materia viene seguita dal [[Dipartimento:Matematica | Dipartimento di Matematica]].
:
|programma=
===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.
|programma=
===Lezioni===
* [[Strumenti minimi di teoria degli insiemi|Strumenti minimi di teoria degli insiemi]]
292

contributi