Fondamenti Logici dell'Informatica – prof. Claudio Sacerdoti Coen

• H.P. Barendregt: The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103).
• Congiuntamente i due testi coprono tutti gli argomenti visti a lezione.
• Il testo copre i soli argomenti relativi a "Logica e Metodi Formali".
• Per quanto riguarda "Modellazione e analisi statica di sistemi distribuiti" il docente fornirà materiale didattico integrativo.

Argomenti del programma: Primo modulo: 1. Richiami di Logica Proposizionale e al Prim'Ordine. Sintassi, Semantica, Correttezza e Completezza, Indecidibilità della Logica al Prim'Ordine 2. Lambda Calcolo non tipato. Sintassi e Semantica Operazionale. Il Lambda Calcolo come linguaggio di programmazione: stategie di valutazione e rappresentazione dei dati; Turing completezza (cenni). 3. Meta-teoria del Lambda Calcolo non tipato. Confluenza. 4.