Logica E Reti Logiche 2017/2018

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.