This book covers all the traditional topics of discrete mathematics—logic, sets, relations, functions, and graphs—and reflects recent trends in computer science. Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
"synopsis" may belong to another edition of this title.
This book covers all the traditional topics of discrete mathematics—logic, sets, relations, functions, and graphs—and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
"About this title" may belong to another edition of this title.
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Very Good. United States Ed. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 4591907-6
Seller: Better World Books: West, Reno, NV, U.S.A.
Condition: Good. United States Ed. Used book that is in clean, average condition without any missing pages. Seller Inventory # 3985535-6
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0135012066I3N00
Seller: ThriftBooks-Reno, Reno, NV, U.S.A.
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0135012066I5N00
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0135012066I5N00
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0135012066I4N00
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1350grams, ISBN:9780135012062. Seller Inventory # 8659390
Quantity: 1 available
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1400grams, ISBN:9780135012062. Seller Inventory # 9096861
Quantity: 1 available
Seller: Mooney's bookstore, Den Helder, Netherlands
Condition: Very good. Seller Inventory # E-9780135012062-2-2
Quantity: 1 available
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0135012066