Libri UniversitariApri il catalogo

Calcolabilità e Complessità Computazionale – prof. Massimiliano Goldwurm

Matematica (magistrale) · Università degli Studi di Milano · esame facoltativo · 6 CFU · canale unico

Libri del canale

Calcolabilità e Complessità Computazionale 6 CFU

MGProf. Massimiliano Goldwurm Canale unico

Testo principale

Bertoni – Introduzione alla calcolabilità e alla complessità computazionaleVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›

Altri testi di consultazione

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

Versione italiana (stessi autori)

Programmazione e computabilità, Etas Libri, 1986Verificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Hopcroft – Introduction to Automata TheoryVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Papadimitriou – Computational ComplexityVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Hopcroft – Introduction to Automata TheoryVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Matematica (magistrale), tutte le materie e i canali ›

Testi d'esame di Calcolabilità e Complessità Computazionale del prof. Massimiliano Goldwurm, canale unico, corso di laurea in Matematica (magistrale) (Laurea magistrale (LM-40)), Università degli Studi di Milano, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Bertoni – Introduzione alla calcolabilità e alla complessità computazionale; Kfoury – A Programming Approach to Computability; Programmazione e computabilità, Etas Libri, 1986; Hopcroft – Introduction to Automata Theory; Papadimitriou – Computational Complexity.

Altre materie del prof. Goldwurm

Vedi anche: Prof. Massimiliano Goldwurm · Calcolabilità e Complessità Computazionale a Statale di Milano (tutti i canali)