Calcolabilità e Complessità Computazionale – Statale di Milano

Università degli Studi di Milano · Facoltà di Scienze e Tecnologie · tutti i canali con docenti e libri, a.a. 2026/2027

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 ›

Il docente indica 6 testi · da studiare tutti

Testo principale

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

Altri testi di consultazione

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

Versione italiana (stessi autori)

Programmazione e computabilità, Etas Libri, 1986 Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Hopcroft – Introduction to Automata Theory Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Papadimitriou – Computational Complexity Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Hopcroft – Introduction to Automata Theory Vai 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.