? 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
