Libri UniversitariApri il catalogo

Programmazione e computabilità, Etas Libri, 1986

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

«Programmazione e computabilità, Etas Libri, 1986» è adottato per Calcolabilità e Complessità Computazionale dal prof. Massimiliano Goldwurm (Matematica (magistrale) – Statale di Milano).

Programmazione e computabilità, Etas Libri, 1986Vai su Amazon ›

Come lo indica il docente: Programmazione e computabilità, Etas Libri, 1986

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à computazionaleVai 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, 1986questo libroVai 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