Logica e Reti Logiche
CdL Informatica - Univ. Roma Tor Vergata
AA 2023/2024
Sessione Autunnale
Primo Appello (4 settembre 2024):
Compito.
Risultati.
Secondo Appello (18 settembre 2024):
Compito.
Risultati.
Sessione Estiva
Primo Appello (26 giugno 2024):
Compito.
Risultati.
Secondo Appello (19 luglio 2024):
Compito.
Risultati.
Sessione Estiva Anticipata
Primo Appello (22 gennaio 2024):
Compito A,
Compito B.
Risultati.
Secondo Appello (21 febbraio 2024):
Compito A,
Compito B.
Risultati.
Test Intermedi
Primo Test (15 novembre 2023):
Compito A,
Compito B.
Risultati.
Secondo Test (8 gennaio 2024):
Compito.
Risultati.
Ammessi direttamente all'orale.
Orario lezioni
Lunedì: 14:00 - 16:00 e Giovedì: 14:00 - 16:00
SoGeNe, Aula T7
-
2 ottobre 2023: Introduzione al corso. Richiami di matematica: teoria
elementare degli insiemi; operatori Booleani ed equazioni Booleane; il metodo
degli "indici" per verificare le equazioni Booleane; insiemi infiniti e
cardinalità; insiemi numerabili; corrispondenze biunivoche; cenni al
teorema di Cantor. ([1]: Cap. 1 e 2)
Appunti ed esercizi.
-
5 ottobre 2023: Il teorema di Cantor. I principi di non contraddizione e del terzo escluso e i paradossi.
Richiami di matematica: il principio di induzione matematica e le dimostrazioni
per induzione. ([1]: Cap 3 e 4)
Appunti ed esercizi.
-
11 ottobre 2023: Logica Proposizionale (I). Sintassi e semantica.
Variabili, costanti e connettivi. Formule ben formate. Tabelle di
verità. Tautologie, contraddizioni, contingenze. Interdipendenza dei
connettivi: definire un connettivo in termini di altri connettivi. I connettivi
joint denial (NOR) e alternative denial (NAND). ([1]: Cap. 5)
Appunti ed esercizi.
-
12 ottobre 2023: Esercitazione.
-
18 ottobre 2023: Logica Proposizionale (II). Il metodo dei
tableaux per dimostrare una formula. ([1]: Cap. 6).
Appunti ed esercizi.
-
19 ottobre 2023: Logica Proposizionale (III). Correttezza e completezza
del metodo dei tableaux. ([1]: Cap. 6)
Appunti ed esercizi.
-
23 ottobre 2023: Logica Proposizionale (IV). Sistemi assiomatici
(Hilbert systems) per la logica proposizionale. Schemi di assiomi e
regole di inferenza. La regola di inferenza Modus Ponens. Le definizioni
di "Dimostrazione", "Teorema" e "Derivazione" in un sistema assiomatico. ([1]:
Prima parte del Cap. 7 - Per approfondire si veda, per esempio, il Cap 1.4 in
[3])
Appunti ed esercizi.
-
26 ottobre 2023: Esercitazione.
-
30 ottobre 2023: Logica del Primo Ordine (I). Sintassi e semantica.
Quantificatori, variabili, lettere predicative, formule. Variabili libere e
vincolate, formule chiuse. Formule e interpretazioni nella logica del primo
ordine. Formule valide vs tautologie. ([1]: Cap. 8)
Appunti ed esercizi.
-
2 novembre 2023: Logica del Primo Ordine (II). Il metodo dei
tableaux per la logica del primo ordine. ([1]: Cap. 9)
Appunti ed esercizi.
-
6 novembre 2023: Logica del Primo Ordine (III). Formule soddisfacibili e
insiemi soddifacibili. Correttezza del metodo dei tableaux per la logica
del primo ordine. Tableaux sistematici. Cenni agli insiemi di Hintikka e
alla completezza del metodo ([1]: Cap. 9).
Appunti ed esercizi.
-
9 novembre 2023: Esercitazione.
- 13 novembre 2023:
Introduzione alla seconda parte del corso: Reti Logiche. Rappresentazione delle
informazioni: codifica binaria ed esadecimale. Rappresentazione dei numeri in
complemento a due. ([2]: Cap. 1)
Appunti ed esercizi.
- 16 novembre 2023:
Dalla logica ai circuiti. Porte logiche elementari. Forme normali e circuiti:
Somme di prodotti (alias, disgiuntiva) e prodotto di somme
(alias, congiuntiva). Circuiti per le operazioni aritmetiche Half
Adder, Full Adder e un circuito Sommatore/Sottrattore. ([2]: Cap.
1-2)
Appunti ed esercizi.
- 20 novembre 2023:
Richiami di algebra Booleana. Minimizzazione di formule in forma normale: Il codice Gray
e le mappe
di Karnaugh. ([2]: Cap. 2)
Appunti ed esercizi.
-
23 novembre 2023: Esercitazione.
- 27 novembre 2023:
I blocchi funzionali principali dei circuiti combinatori:
Encoder, Decoder e Multiplexer. ([2]: Cap. 2)
Appunti ed esercizi.
- 30 novembre 2023: Introduzione ai circuiti sequenziali: Latch,
Flip-Flop e registri. ([2]: Cap. 3)
Appunti ed esercizi.
- 4 dicembre 2023: Circuiti sequenziali sincroni.
Macchine a stati finiti: equazioni, tabelle e diagrammi
di stato. Macchine alla
Moore e macchine alla Mealy. ([2]: Cap. 3)
Appunti ed esercizi.
-
7 dicembre 2023: Esercitazione.
(Soluzioni a cura di Matteo Di Gioacchino.
Errata corrige.)
-
11 dicembre 2023:
Cenni ai linguaggi per la descrizione dell'hardware (HDLs). Simulazione
e sintesi. ([2]: Cap. 4).
Cenni ai sistemi di controllo versione e Git.
(I software utilizzati durante la lezione sono: Icarus Verilog
per la compilazione del codice Verilog, Yosys per la
sintesi dei circuiti, GTKWave per le simulazioni).
Appunti ed esercizi.
Codice hdl.
-
14 dicembre 2023: Richiami sul circuito Sommatore/Sottrattore
(ripple-carry adder). Migliorare
l'efficienza del circuito: sommatore/sottrattore con "anticipo di
riporto" (carry-lookahead adder). ([2]: Cap. 5).
Appunti ed esercizi.
-
18 dicembre 2023:
Rappresentazione dei numeri frazionari: la codifica in virgola mobile e
lo standard IEEE 754. ([2]: Cap. 5).
Cenni allo standard Unicode e alla codifica utf-8.
Appunti ed esercizi.
-
21 dicembre 2023: Esercitazione.
(Soluzioni a cura di Matteo Di Gioacchino.
Errata corrige.)
[1]
A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
Dover Publications, 2014
[2]
Sistemi digitali e architettura dei calcolatori
Sarah L. Harris, David Money Harris
Zanichelli, 2017
Per approfondire
[3]
Introduzione alla Logica Matematica
Elliott Mendelson
Bollati Boringhieri, 1972
Altre risorse utili
Modalità d'esame
L'esame consiste in una prova scritta e in un colloquio orale.
Durante il corso gli studenti potranno svolgere due test intermedi. Chi ottiene
una valutazione positiva a entrambi i test è esonerato dalla prova
scritta e ammesso a sostenere direttamente il colloquio orale.
Ricevimento studenti
Durante il periodo delle lezioni (Ottobre 2023 - Gennaio 2024):
Mercoledì 15:30 - 17:30 oppure su appuntamento.
Al di fuori del periodo delle lezioni:
Su appuntamento.
Tutor
Francesco Pasquale
Università di Roma "Tor Vergata"
Via della Ricerca Scientifica, 1 - 00133 Roma - Italy
Edificio: Sogene - Primo Piano - Corridoio B1 - Stanza 1212
Tel.: +39 06 7259 4670
pasquale@mat.uniroma2.it
(OpenPGP: 0xBF979C2A)
