Fondamenti Logici dell'Informatica – Bologna

Alma Mater Studiorum - Università di Bologna · Scienze · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Claudio Sacerdoti Coen Canale unico

Corso di laurea: Informatica · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Informatica · 1º anno · 1º semestre ›

Il docente indica 1 testo

Per il secondo modulo

Peled – Model Checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

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.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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