Libri UniversitariApri il catalogo

Artificial Intelligence – prof. Fabio Patrizi

Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale · Sapienza Università di Roma · 1º anno · 1º semestre · 6 CFU · canale unico

Testi d'esame di Artificial Intelligence del prof. Fabio Patrizi, canale unico, corso di laurea in Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale (Laurea magistrale (LM-32)), Sapienza Università di Roma, 1º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Artificial Intelligence – 4th Edition by Stuart Russell.

Artificial Intelligence – Prof. Fabio Patrizi Canale unico

Il docente consiglia di frequentare

Corso di laurea: Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale · Laurea magistrale (LM-32) · 1º anno · 1º semestre · 6 CFU

Sapienza · Ingegneria dell'informazione, informatica e statistica · 6 CFU · apri nel catalogo

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduzione. Rappresentazione della Conoscenza: modellazione del dominio di interesse; autonomia; il ruolo della logica. Logica Proposizionale: sintassi e semantica; valutazione, soddisfacibilità, validità, implicazione logica; tableaux proposizionali; DPLL. Logica del Primo Ordine: sintassi, semantica; valutazione, soddisfacibilità, validità, implicazione logica; tableaux per la logica del primo ordine.

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

Altre materie del prof. Patrizi

Altri esami del 1º anno – Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale

Vedi anche: Prof. Fabio Patrizi · Artificial Intelligence a Sapienza (tutti i canali)