Kontakt
Ako nakupovať
Doručenie
Nákupný poradca
Taliančina
46 b
Až 30 dní na vrátenie tovaru
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.
Informácie o knihe
Taliančina
Kategórie
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovanéhoAhoj! Som Libroamiko, tvoj knižný radca.
Ako ti môžem pomôcť?