Logica e Reti Logiche

CdL Informatica - Univ. Roma Tor Vergata
AA 2023/2024



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



Programma



Diario delle lezioni



Testi di riferimento

[1] A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
Dover Publications, 2014

A Beginner's Guide to Mathematical Logic


[2] Sistemi digitali e architettura dei calcolatori
Sarah L. Harris, David Money Harris
Zanichelli, 2017

Sistemi digitali e architettura dei calcolatori



Per approfondire

[3] Introduzione alla Logica Matematica
Elliott Mendelson
Bollati Boringhieri, 1972

Introduzione alla Logica Matematica



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



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)