Mordechai Ben-Ari – Mathematical Logic for Computer Science

Name: Mordechai Ben-Ari – Mathematical Logic for Computer Science
Author: Mordechai Ben-Ari

Libro adottato a Statale di Milano, a.a. 2026/2027 · 1 canale

«Mordechai Ben-Ari – Mathematical Logic for Computer Science» è adottato per Mathematical Logic dal prof. Stefano Aguzzoli (Informatica - magistrale – Statale di Milano).

Mordechai Ben-Ari – Mathematical Logic for Computer ScienceVai su Amazon ›

Come lo indica il docente: Mordechai Ben-Ari: Mathematical Logic for Computer Science, 3rd Edition. Springer, 2012

Chi lo adotta

Mathematical Logic – Prof. Stefano Aguzzoli (canale unico)Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Programma e testi di ogni canale

Mathematical Logic – Prof. Stefano Aguzzoli Canale unico

Corso di laurea: Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica - magistrale ›

Il docente indica 2 testi · da studiare tutti

Michael Huth – Logic in Computer Science Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Mordechai Ben-Ari – Mathematical Logic for Computer Sciencequesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: L'insegnamento fornisce un approfondimento teorico delle tecniche di deduzione automatica nella logica predicativa, ed altre applicazioni all'informatica. La prima parte del corso introduce la logica proposizionale: sintassi, semantica, teorema di compattezza, risoluzione, teorema di completezza refutazionale del principio di risoluzione, Davis-Putnam procedure e DPLL.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Si studia insieme a

Michael Huth – Logic in Computer Science