Riepilogo dell'insegnamento: Fondamenti di Informatica
6 cfu così ripartiti nelle aree:
- 3 CFU nell'area A - Fondamenti
- 3 CFU nell'area E - Architetture
Sillabo dell'insegnamento
- A - Fondamenti
-
*
CAL - Calcolabilità
+
AL-BACC - Basic Automata, Computability and Complexity
La macchina di Turing e il problema dell'arresto
-
V - Varie
AL-ACC - Advanced Computational Complexity
Breve storia dell'informatica: il ragionamento logico; ragionamento algoritmico; macchine calcolatrici; il novecento (Goedel, Turing, Church e von Neumann)
-
*
CAL - Calcolabilità
AL-ACC - Advanced Computational Complexity
Programmazione sulla macchina di Turing; la tesi di Church-Turing
- E - Architetture
-
*
AC - Aritmetica dei calcolatori
+
AR-DLDS - Digital Logic and Digital Systems
Rappresentazione di macchina dei dati: sistemi di numerazione; bit, byte e parole; rappresentazione dei dati numerici e formati
-
*
CCS - Circuiti combinatori e sequenziali
+
AR-DLDS - Digital Logic and Digital Systems
Logica digitale: porte logiche, flip-flop, contatori, mappe di Karnaugh e minimizzazione
-
*
AC - Aritmetica dei calcolatori
+
AR-MLRD - Machine Level Representation of Data
Aritmetica intera ed in virgola mobile; ALU, addizione in macchina, riporto; rappresentazione di caratteri
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).