Informatica Teorica – prof. Carlo Mereghetti

Informatica - magistrale · Università degli Studi di Milano · esame facoltativo · 6 CFU · canale unico

Testi d'esame di Informatica Teorica del prof. Carlo Mereghetti, canale unico, corso di laurea in Informatica - magistrale (Laurea magistrale (LM-18)), Università degli Studi di Milano, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Kfoury – Programmazione e computabilità; Garey – Computers and intractability.

Informatica Teorica – Prof. Carlo Mereghetti Canale unico

Corso di laurea: Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo

Il docente indica 2 testi · da studiare tutti

Teoria della calcolabilità

Kfoury – Programmazione e computabilità Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Teoria della Complessità

Garey – Computers and intractability Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Dispense e lucidi reperibili al sito dell'insegnamento (vedi sotto)

Argomenti del programma: Teoria della calcolabilità · Prerequisiti matematici · Funzione coppia · Linguaggi di programmazione RAM e while · Sintassi e semantica operazionale · Compilatori · Aritmetizzazione di programmi · Interprete e funzione universale · Eliminazione del "goto" · Funzioni ricorsive parziali · Tesi di Church · Esistenza di problemi non decidibili · Passaggio automatico di parametri · Sistemi di programmazione accettabili ·…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Informatica - magistrale, tutte le materie e i canali ›

Altre materie del prof. Mereghetti

Informatica · Fisica · 1º anno · 1º semestre · 6 CFU
Informatica · Fisica · 1º anno · 1º semestre · 6 CFU
Informazione e Calcolo Quantistico · Informatica · esame facoltativo · 6 CFU

Altri esami del ?º anno – Informatica - magistrale

Algorithms For Massive Datasets · annuale · Dario Malchiodi
Algoritmi Paralleli e Distribuiti · annuale · Beatrice Santa Palano
Algoritmi e Complessita' · annuale · Paolo Boldi
Artificial Intelligence · annuale · Angelo Genovese
Artificial Intelligence For Time Series Analysis · annuale · Massimo Walter Rivolta
Artificial Intelligence For Video Games · annuale · Dario Maggiorini, Davide Gadia
Autonomous Robots And Agents · annuale · Nicola Basilico
Business Information Systems · annuale · Paolo Ceravolo
Cloud Computing Technologies · annuale · Marco Anisetti, Claudio Agostino Ardagna
Didattica dell'Informatica · annuale · Violetta Lonati, Anna Chiara Giovanna Morpurgo
Distributed And Pervasive Systems · annuale · Claudio Bettini
Geometria Computazionale · annuale · Alberto Alzati
Knowledge Representation And Reasoning · annuale · Marco Calautti
Logistica · annuale · Marco Trubian
Mathematical Logic · annuale · Stefano Aguzzoli
Methods For Image Processing · annuale · Stefano Ferrari
Metodi Formali · annuale · Alberto Davide Adolfo Momigliano
Metodi Probabilistici per L'Informatica · annuale · Massimiliano Goldwurm
Natural Language Processing · annuale · Alfio Ferrara
Ottimizzazione Discreta · annuale · Giovanni Righini
Ottimizzazione Su Grafo · annuale · Giovanni Righini
Procedural And Spatial Sound · annuale · Federico Avanzini
Programmazione Avanzata · annuale · Walter Cazzola
Real-Time Graphics Programming · annuale · Davide Gadia
Reti Wireless e Mobili · annuale · Christian Quadri
Scientific Visualization · annuale · Elena Casiraghi
Sicurezza delle Architetture Data Intensive · annuale · Ernesto Damiani
Simulation · annuale · Alberto Ceselli
Sistemi Intelligenti Avanzati · annuale · Alberto Borghese Nunzio
Sistemi Multimediali e Interaction Design · annuale · Stefano Valtolina

Vedi anche: Prof. Carlo Mereghetti · Informatica Teorica a Statale di Milano (tutti i canali)