Libri UniversitariApri il catalogo

Peled – Model Checking

Libro adottato a Bologna, a.a. 2026/2027 · 1 canale

«Peled – Model Checking» è adottato per Fondamenti Logici dell'Informatica dal prof. Claudio Sacerdoti Coen (Informatica – Bologna).

Peled – Model CheckingCerca su Amazon ›

Come lo indica il docente: E. Clarke and O. Grumberg and D. Peled. Model Checking . MIT Press, 1999

Titolo
Model checking
Autori
Edmund M. <1945- > Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled Clarke
Editore
The MIT press, 1999
ISBN
9780262032704

Chi lo adotta

Programma e testi di ogni canale

Fondamenti Logici dell'Informatica – 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 ›

Per il secondo modulo

Peled – Model Checkingquesto libroCerca 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.