Libri UniversitariApri il catalogo

Knowledge Representation And Reasoning – prof. Marco Calautti

Informatica - magistrale · Università degli Studi di Milano · esame facoltativo · 6 CFU · canale unico

Testi d'esame di Knowledge Representation And Reasoning del prof. Marco Calautti, canale unico, corso di laurea in Informatica - magistrale (Laurea magistrale (LM-18)), Università degli Studi di Milano, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Brachman – Knowledge Representation and Reasoning; Genesereth – Introduction to Logic; Abiteboul – Foundations of Databases; Greco – Datalog and Logic Databases.

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

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 DatabasesVai 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.

Apri nel catalogo: Informatica - magistrale, tutte le materie e i canali ›

Altre materie del prof. Calautti

Altri esami del ?º anno – Informatica - magistrale

Vedi anche: Prof. Marco Calautti · Knowledge Representation And Reasoning a Statale di Milano (tutti i canali)