Logica e reti logiche

Docente: Francesco Pasquale

Comunicazioni

28-02-2023 17:33

Per il diario delle lezioni e il materiale didattico si veda la pagina web del corso sul sito del docente:
https://www.mat.uniroma2.it/~pasquale/dida/aa2223/lrl


Lezioni


Materiale didattico

Informazioni

Anno accademico2022-2023
Crediti6
SettoreINF/01
Anno1
Semestre2
PropedeuticitàNessuna

Programma

Prima Parte (Logica)

Richiami di matematica: teoria degli insiemi elementare, algebra Booleana, relazioni e funzioni, principio di induzione.
Logica proposizionale: connettivi logici, tabelle di verità, variabili, formule, tableaux. Sistemi assiomatici. Correttezza e completezza.
Logica del primo ordine: quantificatori, relazioni, proprietà e predicati, formule della logica del primo ordine. Tableaux del primo ordine.
Cenni al fenomeno dell'incompletezza.


Seconda Parte (Reti Logiche)

Sistemi numerici e rappresentazione dei numeri: binaria, esadecimale, base64. Le operazioni aritmetiche. Rappresentazione delle informazioni: le codifiche ASCII e Unicode; lo standard IEEE754 per i numeri in virgola mobile.

Funzioni Booleane e forme canoniche. Mappe di Karnaugh. Porte logiche e circuiti logici.
Circuiti combinatori: codificatori e decodificatori, multiplexer, sommatori e sottrattori.
Circuiti sequenziali: Latch e Flip-Flop.

Cenni ai linguaggi per la descrizione dell'hardware (HDLs).

Automi a stati finiti.


Testi di riferimento

      Raymond M. Smullyan
[1]  A Beginner's Guide to Mathematical Logic
      Dover Publications, 2014
 
      Sarah L. Harris and David Money Harris
[2]  Sistemi digitali e architettura dei calcolatori
      Zanichelli, 2017


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.


Modalità di 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.