Programma del corso

 Introduzione ad algebra di Boole, algebra di commutazione e cenni di calcolo delle proposizioni

 Legame fra funzioni dell'algebra di commutazione, espressioni e reti

 Sintesi di funzioni dell'algebra di commutazione tramite forme normali

- forme canoniche

- forme normali (reti a 2 livelli)

- il problema della minimizzazione del costo

- metodi grafici di sintesi

- metodo di Quine-Mc Cluskey e metodo di Petrick

- sintesi di reti a piu' uscite

 Utilizzo di software per la minimizzazione di reti a 2 livelli

 Sintesi di reti multilivello

 Componenti speciali per le reti logiche

- decoder e multiplexer

- componenti per l'aritmetica binaria

- ALU

 Reti sequenziali sincrone
- Macchine a stati finiti
- automi e loro descrizione
- il problema della minimizzazione del numero degli stati
- Aspetti realizzativi
- il problema della codifica dello stato
- il problema del dimensionamento del periodo di clock
- Reti sequenziali notevoli (registri e contatori)