Kfoury – Programmazione e computabilità

Name: Kfoury – Programmazione e computabilità
Author: Kfoury

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

«Kfoury – Programmazione e computabilità» è adottato per Informatica Teorica dal prof. Carlo Mereghetti (Informatica - magistrale – Statale di Milano).

Kfoury – Programmazione e computabilitàVai su Amazon ›

Come lo indica il docente: A.J. Kfoury, R.N. Mall, M.A. Arbib. Programmazione e computabilità. Etas libri, 1986

Chi lo adotta

Informatica Teorica – Prof. Carlo Mereghetti (canale unico)Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Programma e testi di ogni canale

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 · Informatica - magistrale ›

Il docente indica 2 testi · da studiare tutti

Teoria della calcolabilità

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

Teoria della Complessità

Garey – Computers and intractability Vai 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.

Si studia insieme a

Garey – Computers and intractability