Articoli correlati a Logica per L'informatica: Dalla logica del prim'ordi...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logica per L'informatica: Dalla logica del prim'ordi...
Foto dell'editore
Logica per L'informatica (Paperback)
Print on DemandDa: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9798252171470
Compra nuovo
EUR 22,63
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logica per L'informatica: Dalla logica del prim'ordine all'indecidibilità (Italian Edition)
Print on DemandDa: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand. Codice articolo I-9798252171470
Compra nuovo
EUR 22,64
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logica per L'informatica
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo L2-9798252171470
Compra nuovo
EUR 22,32
Spedizione EUR 4,83
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logica per L'informatica (Paperback)
Print on DemandDa: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9798252171470
Compra nuovo
EUR 26,31
Spedizione EUR 42,97
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logica per L'informatica
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo L2-9798252171470
Compra nuovo
EUR 2.409,72
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili