Logica e Reti Logiche

CdL Informatica - Univ. Roma Tor Vergata
AA 2020/2021





Sessione Invernale

Primo Appello (19 gennaio 2022): Compito. Hash consegnati. Risultati.

Secondo Appello (16 febbraio 2022): Compito. Hash consegnati. Risultati.



Sessione Autunnale

Primo Appello (7 settembre 2021): Compito. Hash consegnati. Risultati.

Secondo Appello (21 settembre 2021): Compito. Hash consegnati. Risultati.



Sessione Estiva

Primo Appello (24 giugno 2021): Compito. Hash consegnati. Risultati.

Secondo Appello (15 luglio 2021): Compito. Hash consegnati. Risultati.



Informazioni sugli esami della sessione estiva

Per sostenere l'esame รจ necessario prenotarsi tramite il sistema Delphi.

Per quanto riguarda la prova scritta, gli studenti possono decidere di svolgerla in presenza oppure da remoto senza bisogno di motivare la scelta.

La prova orale si svolge prioritariamente in presenza. In ottemperanza alle indicazioni dell'Ateneo, agli studenti che ne facciano richiesta sul Delphi al momento della prenotazione sarà garantita la possibilità di svolgere anche la prova orale da remoto.

Istruzioni dettagliate sulle modalità di svolgimento delle prove da remoto sono disponibili qui.



Test Intermedi

Primo Test (22 aprile 2021): Compito. Hash consegnati. Risultati.

Secondo Test (7 giugno 2021): Compito. Hash consegnati. Risultati.

Ammessi direttamente al colloquio orale.



Informazioni sulle modalità di svolgimento del corso

Gli studenti sono invitati a iscriversi al corso tramite il sistema Delphi. Le iscrizioni saranno aperte fino alla fine di marzo.

Le lezioni si svolgono, di norma, in Aula 13 al SoGeNe. L'aula può contenere al massimo 45 persone, in accordo alle misure di distanziamento previste dal protocollo di sicurezza. Per venire in aula è necessario prenotare un posto tramite il Delphi. Si ricorda inoltre che chi entra nei locali dell'Ateneo è tenuto a rispettare il protocollo di sicurezza predisposto qui e gli eventuali aggiornamenti che saranno resi noti sulla pagina web infostudenticovid.uniroma2.it.

Chi non può / non vuole recarsi in aula per seguire le lezioni potrà partecipare da remoto connettendosi a questo link: https://tvalgoteam.site/lrl (si tratta di un'istanza di Jitsi installata su un pc che si trova nel mio ufficio) oppure seguire la lezione in diretta streaming qui: http://sogenealgoteam.site/hls/lrl.m3u8. Cercherò inoltre di registrare tutte le lezioni e renderle disponibili.

Io non uso Microsoft Office 365 per la gestione dei corsi e personalmente disapprovo l'utilizzo in ambito accademico di qualunque piattaforma basata su software proprietario. Tutto il materiale didattico relativo a questo corso sarà liberamente accessibile su questa pagina web. Per qualunque informazione non si trovi sulla pagina web sono reperibile per email; manterrò una pagina con eventuali F.A.Q.



Orario lezioni

Lunedì e Giovedì: 14:00 - 16:00



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 2021):
Martedì 15:30 - 18:30 oppure su appuntamento.

Al di fuori del periodo delle lezioni:
Su appuntamento.



Contatti

Francesco Pasquale
Dipartimento di Ingegneria dell'Impresa "M. Lucertini" - Università di Roma "Tor Vergata"
Via del Politecnico, 1 - 00133 Roma - Italy
Tel.: +39 06 7259 7803
pasquale@mat.uniroma2.it (OpenPGP: 0xBF979C2A)