Strumenti Utente
Barra laterale
informatica_triennale:logica_matematica
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.txt · Ultima modifica: 2024/01/06 17:49 da 127.0.0.1
Strumenti Pagina
Ad eccezione da dove è diversamente indicato, il contenuto di questo wiki è soggetto alla seguente licenza: CC Attribution-Share Alike 4.0 International
