Items related to Mathematical Logic for Computer Science: 2nd edition

Mathematical Logic for Computer Science: 2nd edition - Softcover

 
9781852333195: Mathematical Logic for Computer Science: 2nd edition

Synopsis

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.

"synopsis" may belong to another edition of this title.

About the Author

Mordechai Ben-Ari is Associate Professor at the Department of Science Teaching of the Weizmann Institute of Science. He has published textbooks on concurrent programming and programming languages.

From the Back Cover

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.

"About this title" may belong to another edition of this title.

Buy Used

Condition: Very Good
Used book that is in excellent...
View this item

£ 7.02 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 32.46 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9788181283443: Mathematical Logic for Computer Scienceience

Featured Edition

ISBN 10:  8181283449 ISBN 13:  9788181283443
Publisher: Springer, 2005
Softcover

Search results for Mathematical Logic for Computer Science: 2nd edition

Stock Image

Ben-Ari, Mordechai
Published by Springer, 2001
ISBN 10: 1852333197 ISBN 13: 9781852333195
Used Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 52928949-6

Contact seller

Buy Used

£ 10.25
Convert currency
Shipping: £ 7.02
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ben-Ari, M.
Published by Springer, 2001
ISBN 10: 1852333197 ISBN 13: 9781852333195
Used Softcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9781852333195. Seller Inventory # 9537928

Contact seller

Buy Used

£ 13.60
Convert currency
Shipping: £ 4.48
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Mordechai Ben-Ari
Published by Springer, 2003
ISBN 10: 1852333197 ISBN 13: 9781852333195
Used Softcover

Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.1852333197.G

Contact seller

Buy Used

£ 7.59
Convert currency
Shipping: £ 73.78
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

MORDECHAI,BEN-ARI
Published by SPRINGER, 2003
ISBN 10: 1852333197 ISBN 13: 9781852333195
Used Softcover

Seller: OM Books, Sevilla, SE, Spain

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Usado - bueno. Seller Inventory # 9781852333195

Contact seller

Buy Used

£ 153.87
Convert currency
Shipping: £ 15.11
From Spain to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Ben-Ari, Mordechai
Published by Springer, 2003
ISBN 10: 1852333197 ISBN 13: 9781852333195
New paperback

Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-1852333197

Contact seller

Buy New

£ 180.42
Convert currency
Shipping: £ 32.46
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Mordechai Ben-Ari
Published by SPRINGER VERLAG GmbH, 2003
ISBN 10: 1852333197 ISBN 13: 9781852333195
Used Softcover

Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-J-024-01262

Contact seller

Buy Used

£ 215.63
Convert currency
Shipping: £ 2.74
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket