Libri UniversitariApri il catalogo

Prof. Enrico Barbierato

Università Cattolica del Sacro Cuore - sede di Brescia · Facoltà di Scienze Matematiche, Fisiche e Naturali · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Enrico Barbierato

Materie del prof. Enrico Barbierato

Fondamenti di Informatica Canale unico

Programma ridotto per frequentanti

Corso di laurea: Matematica · Laurea triennale (L-35) · 1º anno · tutto l'anno (semestre non indicato) · 6 CFU

Cattolica Brescia · Facoltà di Scienze Matematiche, Fisiche e Naturali · 6 CFU · apri nel catalogo · Matematica · 1º anno ›

Non frequentanti

Toffalori – Teoria della computabilità e della complessitàCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Kernighan – Il linguaggio CCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Frequentanti: materiale fornito dal docente
  • Non frequentanti: Tanenbaum, “Architettura dei calcolatori. Un approccio strutturale” capitoli 2, 3 e 4.1 (primo paragrafo del capitolo 4)

Argomenti del programma: Teoria della computabilità: Funzioni parziali e algoritmi. La diagonalizzazione e il problema dell’halt. Sintassi dei programmi while. Teoria elementare della computazione. Metodologia dei programmi. Il teorema di ricorsione e le proprietà delle enumerazioni. Computabilità di insiemi: il teorema di incompletezza di Gödel e il teorema di Rice. Macchine di Turing.

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

Fondamenti di Intelligenza Artificiale Canale unico

Il docente consiglia di frequentare

Corso di laurea: Matematica · Laurea triennale (L-35) · 2º anno · tutto l'anno (semestre non indicato) · informatica e intelligenza artificiale · 12 CFU

Cattolica Brescia · Facoltà di Scienze Matematiche, Fisiche e Naturali · 12 CFU · apri nel catalogo · Matematica · 2º anno ›

Conoscenza del libro (raccolta di racconti)

Asimov – Io, robotCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Non frequentanti

Bramer, M., 2005. Logic programming with Prolog. SpringerCerca su Amazon ›Da studiare: Capitoli 1, 2, 3, 4, 5, 6, 7, 8, 9Verificato sulla scheda ufficiale il 02/10/2026
Un approccio modernoCerca su Amazon ›Da studiare: Capitoli 1, 2, 3, 4, 5, 6, 7, 8, 9, 10Verificato sulla scheda ufficiale il 02/10/2026

Non frequentanti · Articolo

Mittelstadt – The ethics of algorithmsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bonini – Mirror neurons 30 years laterCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Rudolf Kruse – Computational intelligenceCerca su Amazon ›Da studiare: Capitoli 1, 2 , 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15Verificato sulla scheda ufficiale il 02/10/2026
Philip – Ma gli androidi sognano pecore elettriche?Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Portinale – Intelligenza ArtificialeCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Studenti frequentanti (hanno seguito almeno 75% delle lezioni) materiale fornito dal docente

Argomenti del programma: MODULO I — offerto durante il primo semestre Parte teorica La parte teorica presenta i problemi di IA come problemi di ricerca in spazi degli stati, descritti tramite stati iniziali e finali, operatori, cammini, costi e profondità. Sono trattate le principali strategie di ricerca non informata — breadth-first, depth-first, depth-limited e iterative deepening — con attenzione a completezza, ottimalità e complessità.

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

Domande frequenti

Quali libri consiglia il prof. Enrico Barbierato per Fondamenti di Informatica?

Toffalori – Teoria della computabilità e della complessità; Kernighan – Il linguaggio C

Quali libri consiglia il prof. Enrico Barbierato per Fondamenti di Intelligenza Artificiale?

Asimov – Io, robot; Bramer, M., 2005. Logic programming with Prolog. Springer; Un approccio moderno; Mittelstadt – The ethics of algorithms; Bonini – Mirror neurons 30 years later; Rudolf Kruse – Computational intelligence; Philip – Ma gli androidi sognano pecore elettriche?; Portinale – Intelligenza Artificiale