Si rimanda ai syllabus dei moduli di Architettura e Sistemi Operativi e di Logica.
Prerequisiti
Si rimanda ai syllabus dei moduli di Architettura e Sistemi Operativi e di Logica.
Metodi didattici
Si rimanda ai syllabus dei moduli di Architettura e Sistemi Operativi e di Logica.
Verifica Apprendimento
L'esame consiste principalmente in una prova scritta divisa in due prove parziali, corrispondenti ai due moduli del corso. Ognuna delle due prove viene valutata con un voto compreso tra 0 e 32, e il voto complessivo dello scritto è la media dei due voti (31 e 32 contano come 30 e lode). Le due prove parziali hanno entrambe durata di un'ora e si svolgono una dopo l'altra. Le due prove possono essere sostenute nello stesso appello o anche in appelli differenti. Perché l'esame sia sufficiente, però, non basta che il voto finale sia uguale o superiore a 18: è anche necessario che, per ognuna delle due prove, il voto sia pari almeno a 12. Di contro, se uno studente supera una delle due prove, può conservarne il voto anche per gli appelli successivi dello stesso anno accademico (ma non di quelli successivi).
Oltre alla prova scritta, l'esame consiste in un eventuale colloquio orale che può essere richiesto o dal docente o dallo studente. Il voto della prova orale, che è anche il voto finale dell'esame, terrà conto del voto dello scritto, ma potrà essere sia superiore che inferiore ad esso. È possibile svolgere il colloquio orale anche relativamente a uno solo dei due moduli.
Testi
Si rimanda ai syllabus dei moduli di Architettura e Sistemi Operativi e di Logica.
Contenuti
L'insegnamento è diviso nei due moduli di Architettura e Sistemi Operativi e di Logica. Si rimanda al syllabus dei questi ultimi per la descrizione dei contenuti del corso.
