Hardcover book. The exterior can have some minor wear. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library.

Codice articolo 53DTTR000R3N

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)

Editore

Springer

Data di pubblicazione

1993

Lingua

Inglese

ISBN 10

0387941150

ISBN 13

9780387941158

Rilegatura

Rilegato

Condizione

Good

Cataloghi dei venditori

Descrizione articolo

Riassunto

This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo� sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math� ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con� tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.

Recensione

"This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly... If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed." - Peter G. Neumann

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We sell books and AV items withdrawn from the Johnson County (Kansas) Library's collection as well as like items donated to us by the public.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Friends of Johnson County Library
8279 Melrose Dr, Lenexa, KS, 66214, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Payment must be received prior to shipment of item purchased. Returns must be
authorized by Friends of the Johnson County Library. All payments must be made
in US dollars. Shipment will be made via US Mail within 2 days of purchase.
Advise us if priority shipment required. That can be provided at additional
cost.

Friends of the Johnson County Library
8700 Shawnee Mission parkway
Merriam, KS 66202 USA
jocolibfriends@yahoo.com
(913) 492-4777
Matthew B Delaney - authorized representative

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact
you to let you know additional shipping reimbursement is required.

Tariffe di spedizione da U.S.A. a Italia

Tariffe di spedizione da U.S.A. a Italia
Quantit� dell?ordine	Da 21 a 36 giorni lavorativi	Da 5 a 8 giorni lavorativi
Primo articolo	EUR 37.95	EUR 37.95

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.