Logica per L'informatica. Dalla logica del prim'ordine all'indecidibilità (en Italiano) - Davide Brunori

Esiste un linguaggio che gira sotto ogni riga di codice, che determina la solidità di ogni architettura e che separa un semplice programmatore da un vero architetto del software. Quel linguaggio è la Logica Computazionale.

Dimentica il codice che funziona "per caso" e i bug inspiegabili: con decine di esercizi ed esempi pratici, questo libro smonta la complessità dei sistemi formali, traducendo concetti come tautologia, quantificatori e risoluzione in strumenti concreti per ragionare sul tuo codice.

Dalla costruzione della tua prima tabella di verità alla dimostrazione automatica di teoremi, passando per la logica dei predicati per modellare sistemi complessi, imparerai a usare la logica come il linguaggio universale per descrivere e verificare il comportamento del software.