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... |
Gries, David / Schneider, Fred B. / Horning, James J.:
A Logical Approach to Discrete Math - used bookISBN: 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: | A Logical Approach to Discrete Math (Monographs in Computer Science) |
ISBN: | 0387941150 |
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 16.11.2016 13:35:47
ISBN/EAN: 0387941150
ISBN - alternate spelling:
0-387-94115-0, 978-0-387-94115-8
< to archive...
Nearby 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)