Logica e Reti Logiche

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





Sessione Autunnale

Primo Appello (4 settembre 2023): Compito. Risultati.

Secondo Appello (18 settembre 2023): Compito. Risultati.



Sessione Estiva

Primo Appello (22 giugno 2023): Compito A, Compito B. Risultati.

Secondo Appello (13 luglio 2023): Compito A, Compito B. Risultati.



Test Intermedi

Primo Test (4 maggio 2023): Compito A, Compito B. Risultati.

Secondo Test (16 giugno 2023): Compito A, Compito B. Risultati.

Ammessi direttamente all'orale.



Orario lezioni

Lunedì: 14:00 - 16:00 e Giovedì: 16:00 - 18: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 (Marzo - Giugno 2023):
Martedì 16:30 - 18: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)


Fabio Giacomelli
Università di Roma "Tor Vergata"
Via della Ricerca Scientifica, 1 - 00133 Roma - Italy
Edificio: Sogene - Piano Terra - Corridoio A0 - Stanza 0117
Tel.: +39 06 7259 4631
fabio.giacomelli@uniroma2.it