Logica e Reti Logiche
CdL Informatica - Univ. Roma Tor Vergata
AA 2026/2027
Orario lezioni
Lunedì: 14:00 - 16:00 e Giovedì: 14:00 - 16:00
Edificio PP2, Aula 3
-
5 ottobre 2026: 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à; corrispondenze biunivoche; cenni al teorema di Cantor.
([1]: Cap. 1 e 2)
Appunti ed esercizi.
-
8 ottobre 2026: Il teorema di Cantor e le dimostrazioni per assurdo. 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.
-
12 ottobre 2026: 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.
-
15 ottobre 2026: Esercitazione.
-
19 ottobre 2026: Logica Proposizionale (II). Il metodo dei
tableaux per dimostrare una formula. ([1]: Cap. 6).
Appunti ed esercizi.
-
22 ottobre 2026: Logica Proposizionale (III). Insiemi soddisfacibili e
correttezza del metodo dei tableaux. Insiemi di
Hintikka e completezza del metodo. ([1]: Cap. 6)
Appunti ed esercizi.
-
26 ottobre 2026: 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.
-
29 ottobre 2026: Esercitazione.
-
2 novembre 2026: 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, nella logica del primo
ordine.([1]: Cap. 8)
Appunti ed esercizi.
[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
-
LRL 20/21: Una pagina web
con le registrazioni delle lezioni del corso tenuto nell'anno accademico
2020/2021.
-
Introduzione alla logica e al linguaggio matematico
Giorgio T. Bagni, Daniele Gorla, Anna Labella
McGraw-Hill, 2010
(Dispense preliminari disponibili qui)
-
Una pagina web con un prover che usa il metodo dei tableaux: http://www.umsu.de/logik/trees/
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 2026 - Gennaio 2027):
Mercoledì 15:30 - 17:30 oppure su appuntamento.
Al di fuori del periodo delle lezioni:
Su appuntamento.
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)