Prima Parte (Logica)
Richiami di matematica: teoria degli insiemi elementare, algebra Booleana,
relazioni e funzioni, principio di induzione. Logica proposizionale:
connettivi logici, tabelle di verità, variabili, formule, tableaux. Sistemi
assiomatici. Correttezza e completezza. Logica del primo ordine:
quantificatori, relazioni, proprietà e predicati, formule della logica del
primo ordine. Tableaux del primo ordine. Cenni al fenomeno dell'incompletezza.
Seconda Parte (Reti Logiche)
Segnali analogici e informazione digitale. Sistemi numerici, operazioni
aritmetiche. Le codifiche ASCII e Unicode. I codici Gray. Porte logiche e
circuiti logici, cenni ai linguaggi per la descrizione dell'hardware (HDLs).
Funzioni Booleane e forme canoniche. Mappe di Karnaugh. Circuiti combinatori:
codificatori e decodificatori, multiplexer, sommatori e sottrattori. Circuiti
sequenziali: Latch e Flip-Flop. Sincronizzazione. Automi a stati finiti.
English
Italiano