Fondamenti Teorici
I modelli fondamentali - La macchina astratta generalizzata - I modelli dell’algebra di Boole - Forme e rappresentazioni delle funzioni booleane - Logica e programmazione logica - I linguaggi di programmazione - Specifica e correttezza dei programmi - La complessità computazionale
Fondamenti di programmazione
Introduzione alla programmazione ed ai linguaggi - I tipi semplici - I tipi strutturati fondamentali - Le istruzioni semplici - Le istruzioni strutturate - Programmi con strutture di selezione - Programmi con cicli - Programmi con array - La ricorsione - Algoritmi di base del calcolo numerico - Problemi di ordinamento e di ricerca - Basi di dati - Struttura dei programmi - Sviluppo dei programmi - La progettazione dei programmi
Fondamenti di Architettura
Struttura fondamentale degli elaboratori - Impianti informatici e reti telematiche - Rappresentazione e codifica dei dati - Rappresentazione dei numeri ed aritmetica