Libri UniversitariApri il catalogo

Fondamenti di Informatica – prof. Enrico Barbierato

Matematica · Università Cattolica del Sacro Cuore - sede di Brescia · 1º anno · tutto l'anno (semestre non indicato) · 6 CFU · canale unico

Testi d'esame di Fondamenti di Informatica del prof. Enrico Barbierato, canale unico, corso di laurea in Matematica (Laurea triennale (L-35)), Università Cattolica del Sacro Cuore - sede di Brescia, 1º anno · tutto l'anno (semestre non indicato) · 6 CFU, a.a. 2026/2027. Libri adottati: Toffalori – Teoria della computabilità e della complessità; Kernighan – Il linguaggio C.

Fondamenti di Informatica – Prof. Enrico Barbierato 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

Non frequentanti

Toffalori – Teoria della computabilità e della complessitàVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Kernighan – Il linguaggio CVai 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.

Apri nel catalogo: Matematica, 1º anno, tutte le materie e i canali ›

Altre materie del prof. Barbierato

Altri esami del 1º anno – Matematica

Vedi anche: Prof. Enrico Barbierato · Fondamenti di Informatica a Cattolica Brescia (tutti i canali)