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.
"About this title" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Book Description Paperback. Condition: New. Seller Inventory # Abebooks49186
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 2.7. Seller Inventory # Q-0135012066
Book Description Paperback. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0135012066
Book Description Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0135012066
Book Description Paperback. Condition: new. Brand New Copy. Seller Inventory # BBB_new0135012066
Book Description Condition: New. Buy with confidence! Book is in new, never-used condition 2.7. Seller Inventory # bk0135012066xvz189zvxnew
Book Description Condition: New. New! This book is in the same immaculate condition as when it was published 2.7. Seller Inventory # 353-0135012066-new
Book Description Paperback. Condition: Brand New. united states ed edition. 750 pages. 9.75x7.50x1.25 inches. In Stock. Seller Inventory # 0135012066