Logica matematica per l'informatica

Recensioni dei lettori

Il libro “Logica matematica per l'informatica” di Mordechai Ben-Ari si distingue per la sua lucida presentazione e le sue applicazioni pratiche in contesti matematici e informatici. Mentre la terza edizione viene elogiata per il miglioramento dell'organizzazione e dei contenuti, alcuni utenti hanno riscontrato problemi con le versioni digitali legati alla lentezza delle prestazioni e alla scarsa resa dei simboli matematici.

⬤ Lucida presentazione della logica proposizionale e del primo ordine.
⬤ Le applicazioni pratiche in informatica migliorano la comprensione della logica matematica.
⬤ La terza edizione ha un'organizzazione e un contenuto migliori rispetto alla seconda edizione.
⬤ Copre efficacemente sia la deduzione naturale di Gentzen sia il calcolo sequenziale.
⬤ Alla fine di ogni capitolo vengono forniti riferimenti per ulteriori approfondimenti.

⬤ Le versioni per e-reader sono segnalate come lente.
⬤ Problemi con la resa dei simboli matematici sui dispositivi Kindle compromettono la comprensibilità.
⬤ Alcuni utenti hanno trovato la seconda edizione eccessivamente computazionale e poco intuitiva per i lettori non informatici.

(basato su 5 recensioni dei lettori)

Titolo originale:

Mathematical Logic for Computer Science

Contenuto del libro:

Mathematical Logic for Computer Science è un testo di matematica con teoremi e prove, ma la scelta degli argomenti è stata guidata dalle esigenze degli studenti di informatica. Il metodo dei tableaux semantici offre un modo elegante di insegnare la logica che è al tempo stesso teoricamente valido e di facile comprensione. L'uso uniforme di tecniche basate sui tableaux facilita l'apprendimento di sistemi logici avanzati sulla base di ciò che lo studente ha appreso dai sistemi elementari.

I sistemi logici presentati sono: logica proposizionale, logica del primo ordine, risoluzione e sua applicazione alla programmazione logica, logica di Hoare per la verifica di programmi sequenziali e logica temporale lineare.

Per la verifica di programmi concorrenti.

La terza edizione è stata interamente riscritta e comprende nuovi capitoli su argomenti centrali dell'informatica moderna: I solutori SAT e il model checking.