Corso di Logica e Reti Logiche

Parte di Reti Logiche:

1. Introduzione all’Algebra di Boole.
2. Postulati di Huntington.
3. Principio di Dualità.
4. Teorema di rappresentazione di Stone.
5. Algebra di Commutazione.
   1. Variabili Booleane.
6. Proprietà dell’Algebra di Boole.
7. Funzioni Booleane e Tabelle di verità.
8. Espressioni Booleane.
   1. Notazioni e Convenzioni nelle espressioni booleane. <--- MANCANTE
   2. Letterali. <--- MANCANTE
9. Teorema di Espansione di Shannon.
10. Forme Canoniche.
11. Porte Logiche.
12. Circuiti Logici.
13. Reti Logiche Combinatorie. <--- MANCANTE
14. Sommatori.
15. Mappe di Karnaugh.
16. Reti Logiche Sequenziali.
17. Macchine a Stati Finiti.
18. Bistabili. <--- MANCANTE

Parte di Logica:

19. Algebra della Logica.
20. Formalizzazione e Validità.
21. Logica dei Predicati.