Items related to Logica per L'informatica: Dalla logica del prim'ordi...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Logica per L'informatica: Dalla logica del prim'ordi...
Stock Image
Logica per L'informatica (Paperback)
Print on DemandSeller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Esiste un linguaggio che gira sotto ogni riga di codice, che determina la solidita di ogni architettura e che separa un semplice programmatore da un vero architetto del software. Quel linguaggio e 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 complessita 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 verita 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9798252171470
Stock Image
Logica per L'informatica: Dalla logica del prim'ordine all'indecidibilitą (Italian Edition)
Print on DemandSeller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # I-9798252171470
Stock Image
Logica per L'informatica
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # L2-9798252171470
Stock Image
Logica per L'informatica
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # L2-9798252171470
Buy New
£ 18.66
£ 4.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logica per L'informatica (Paperback)
Print on DemandSeller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Esiste un linguaggio che gira sotto ogni riga di codice, che determina la solidita di ogni architettura e che separa un semplice programmatore da un vero architetto del software. Quel linguaggio e 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 complessita 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 verita 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9798252171470
Buy New
£ 21.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available