Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · libri consigliati, cosa studiare e orario delle lezioni, a.a. 2026/2027
Logics And Reasoning Canale unico
Ingegneria dell'informazione, informatica e statistica · esame facoltativo · 6 CFU · apri nel catalogo
Argomenti del programma: Parte 1 (Calcolo proposizionale e Logica del Primo Ordine) - Fondamenti: Logica predicativa, strutture e modelli. Teorie. Definibilità, completezza, decidibilità, esempi di teorie complete, eliminazione dei quantificatori, isomorfismo ed equivalenza elementare di strutture. - Teoria dei Modelli Finiti: esprimibilità di query in varie logiche.
Basi di Dati A-L?
Ingegneria dell'informazione, informatica e statistica · 2º anno · 1º semestre · 9 CFU · apri nel catalogo
Argomenti del programma: Introduzione ai sistemi per basi di dati: I sistemi per basi di dati; Funzionalit dei DBMS; Definizione della base di dati; Uso della base di dati; Controllo della base di dati; Distribuzione della base di dati I modelli dei dati: Progettazione e modellazione; Considerazioni preliminari alla modellazione; Il modello entità-relazione; Il modello relazionale La progettazione di basi di dati: Le metodologie di…
Domande frequenti
Quali libri consiglia il prof. Giuseppe Perelli per Logics And Reasoning?
A concise introduction to Mathematical Logic, W. Rautenberg; Elements of Finite Model Theory, L. Libkin (https://homepages.inf.ed.ac.uk/libkin/fmt/fmt.pdf); Modal Logic, P. Blackburn, M. de Rijke, Y.; Reasoning about Knowledge, R. Fagin, J. Halpern, Y.
Quali libri consiglia il prof. Giuseppe Perelli per Basi di Dati?