Libri UniversitariApri il catalogo

Bertoni – Introduzione alla calcolabilità e alla complessità computazionale

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

«Bertoni – Introduzione alla calcolabilità e alla complessità computazionale» è adottato per Calcolabilità e Complessità Computazionale dal prof. Massimiliano Goldwurm (Matematica (magistrale) – Statale di Milano).

Bertoni – Introduzione alla calcolabilità e alla complessità computazionaleVai su Amazon ›

Come lo indica il docente: A. Bertoni, M. Goldwurm, Introduzione alla calcolabilità e alla complessità computazionale, Milano University Press, maggio 2026. Testo scaricabile liberamente dal sito: https://libri.unimi.it/index.php/milanoup/catalog/book/284, oppure acquistabile in forma cartacea dal medesimo sito

Chi lo adotta

Programma e testi di ogni canale

Calcolabilità e Complessità Computazionale – Prof. Massimiliano Goldwurm Canale unico

Corso di laurea: Matematica (magistrale) · Laurea magistrale (LM-40) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Matematica (magistrale) · 1º semestre ›

Testo principale

Bertoni – Introduzione alla calcolabilità e alla complessità computazionalequesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Altri testi di consultazione

Kfoury – A Programming Approach to ComputabilityVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Versione italiana (stessi autori)

Programmazione e computabilità, Etas Libri, 1986Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hopcroft – Introduction to Automata TheoryVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Papadimitriou – Computational ComplexityVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hopcroft – Introduction to Automata TheoryVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduzione alla calcolabilità: le funzioni intuitivamente calcolabili, esistenza di funzioni non calcolabili, la funzione coppia e le sue estensioni. Sintassi e semantica del linguaggio RAM ridotto. Sintassi e semantica del linguaggio While. Esempio di funzione compilatore e di funzione interprete. Equivalenza computazionale tra linguaggio RAM e linguaggio While. Aritmetizzazione dei programmi RAM.

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

Si studia insieme a