##### Detailseite wird geladen...

1993, ISBN: 0387941150

ID: 5370DB

1. ed. 24,5x16 cm. XVI, 497 S. graph. Darst. Hardcover with one library label on front cover. Good condition. Texts and monographs in computer science. Inside with the usual library stamps and inscriptions, partially crossed out. Otherwise very clean. Logic is the glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics. The usual topics in discrete math are covered: propositional and predicate calculus; set theory; induction; functions and relations; theories of sequences and intergers; combinatorics; solution of recurrence relations; modern algebra; graph theory. But the treatment is far from usual. Formal logic is employed throughout, rather than being viewed simply as another subject of study.... (Back cover) Versand D: 3,00 EUR Algebra; Computer, Computertechnik; Englische Sprache; Lehrbücher; Logik; Mathematik; Mathematiker, [KW:Modernes Antiquariat. - Math.], [PU:New York, Berlin, Heidelberg [u.a.], Springer-Verlag,1993.]

Buchfreund.de
P.u.P. Hassold OHG, 86424 Dinkelscherben
Shipping costs:Versandkosten innerhalb der BRD (EUR 3.00) Details... |

ISBN: 9780387941158

ID: 1184947

This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "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. The book will be of value not only to beginning students, but also to hardened programmers with many years of experience - in Fortran, Cobol, C, C++, or whatever. 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 A Logical Approach to Discrete Math Gries, David / Schneider, Fred B. / Horning, James J., Springer

Betterworldbooks.com
Shipping costs:zzgl. Versandkosten, plus shipping costs
Details... |

ISBN: 0387941150

ID: 4352653

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area. algorithms,computer science,computers and technology,education and reference,languages and tools,logic,mathematics,programming,programming languages,science and math Programming Languages, Springer

Thriftbooks.com
used Shipping costs:zzgl. Versandkosten, plus shipping costs
Details... |

ISBN: 9780387941158

ID: 978038794115

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area. David Gries, Fred B. Schneider, Books, Computers, General Computing, A Logical Approach to Discrete Math Books>Computers>General Computing, Springer New York

Indigo.ca
new Free shipping on orders above $25 Shipping costs:plus verzendkosten, plus shipping costs
Details... |

ISBN: 9780387941158

ID: 9780387941158

A Logical Approach to Discrete Math Logical-Approach-to-Discrete-Math~~David-Gries Science/Tech>Mathematics>Mathematics Hardcover, Springer New York

Barnesandnoble.com
new Shipping costs:zzgl. Versandkosten, plus shipping costs
Details... |

Author: | |

Title: | |

ISBN: |

** Details of the book - A Logical Approach to Discrete Math (Monographs in Computer Science)**

EAN (ISBN-13): 9780387941158

ISBN (ISBN-10): 0387941150

Hardcover

Publishing year: 1993

Publisher: SPRINGER VERLAG GMBH

497 Pages

Weight: 0,925 kg

Language: eng/Englisch

Book in our database since 14.10.2007 00:53:25

Book found last time on 17.01.2017 17:41:22

ISBN/EAN: 9780387941158

ISBN - alternate spelling:

0-387-94115-0, 978-0-387-94115-8

< to archive...

##### Related books

- "A First Course in Probability Models and Statistical Inference (Springer Texts in Statistics)", from "James H.C. Creighton" (0387941142)
- "A Guide to Maple", from "Kamerich, Ernic" (0387941169)
- "Turbulence in Fluid Flows", from "George R. Sell; Ciprian Foias; Roger Temam" (0387941134)
- "Effects of Land-Use Change on Atmospheric Co2 Concentrations: South and Southeast Asia As a Case Study", from "Herausgeber: Dale, Virginia H." (0387941177)
- "Microstructure and Phase Transition", from "Herausgeber: Kinderlehrer, David Luskin, Mitchell James, Richard" (0387941126)
- "Cheng P. C.: Multidimensional Microscopy", from "Cheng P. C." (9780387941189)