Libri UniversitariApri il catalogo

Abiteboul – Foundations of Databases

Libro adottato a Statale di Milano, a.a. 2026/2027 · 1 canale

«Abiteboul – Foundations of Databases» è adottato per Knowledge Representation And Reasoning dal prof. Marco Calautti (Informatica - magistrale – Statale di Milano).

Abiteboul – Foundations of DatabasesVai su Amazon ›

Come lo indica il docente: Abiteboul, S., Hull, R., & Vianu, V. (1995). Foundations of Databases. Addison-Wesley. ISBN: 0-201-53771-0

Chi lo adotta

Programma e testi di ogni canale

Knowledge Representation And Reasoning – Prof. Marco Calautti Canale unico

Corso di laurea: Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica - magistrale ›

Libri (non obbligatori, ma a integrazione degli Appunti del corso)

Brachman – Knowledge Representation and ReasoningVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Genesereth – Introduction to LogicVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Abiteboul – Foundations of Databasesquesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Greco – Datalog and Logic DatabasesVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Rappresentare i dati e ragionare sui dati usando la logica. Che cos'è la rappresentazione della conoscenza e il ragionamento? Introduzione alla logica proposizionale come linguaggio semplice di rappresentazione della conoscenza. I modelli come strumento per dare significato alla nostra rappresentazione. Differenza tra "verità" e "dimostrabilità".

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a