Strumenti Utente
Barra laterale
informatica_triennale:logica_matematica
Questa è una vecchia versione del documento!
Indice
Logica matematica
FAQ
Come è strutturato l’esame?
L'esame e composto da:
- una prova di 3 ore che contiene sia la prova scritta, sia quella di laboratorio;
- una prova orale facoltativa.
Qual è il materiale a disposizione per studiare?
Il libro di testo consigliato dal docente e usato per fare esercizi è: “Dave Barker-Plummer, Jon Barwise, John Etchemendy: Language, Proof and Logic, 2nd Edition. CSLI Publications, 2011”.
informatica_triennale/logica_matematica.1610838837.txt.gz · Ultima modifica: 2024/01/06 17:49 (modifica esterna)
Strumenti Pagina
Ad eccezione da dove è diversamente indicato, il contenuto di questo wiki è soggetto alla seguente licenza: CC Attribution-Share Alike 4.0 International
