Logica e Reti Logiche

CdL Informatica - Univ. Roma Tor Vergata
AA 2026/2027

• Diario
• Testi
• Contatti

Orario lezioni

Lunedì: 14:00 - 16:00 e Giovedì: 14:00 - 16:00
Edificio PP2, Aula 3

Programma

Diario delle lezioni

• 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.

Testi di riferimento

[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)

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.

Contatti

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)