? calcolo

Responsabile didattico: Fabio Alessi

Durata: 16 ore

Periodo didattico: primo semestre

Programma

La teoria della calcolabilità per funzioni di numeri naturali sviluppata usando il λ-calcolo come modello computazionale. Cenni alla semantica del λ-calcolo.

 

SSD: INF/01


Elenco corsi 2009/2010