Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Italiaans
48 b
Tot 30 dagen retourrecht
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.
Informatie over het boek
Italiaans
