Introductory Logic and Sets for Computer Scientists (International Computer Science Series)

4.12 avg rating
( 8 ratings by Goodreads )
 
9780201179576: Introductory Logic and Sets for Computer Scientists (International Computer Science Series)

This text provides a practical, modern approach to teaching logic and set theory, equipping students with the necessary mathematical understanding and skills required for the mathematical specification of software. It covers all the areas of mathematics that are considered essential to computer science including logic, set theory, modern algebra (group theory), graph theory and combinatorics, whilst taking into account the diverse mathematical background of the students taking the course. In line with current undergraduate curricula this book uses logic extensively, together with set theory, in mathematical specification of software. Languages such as Z and VDM are used for this purpose.

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

From the Back Cover:

Introductory Logic and Sets for Computer Scientists covers an area of mathematics of fundamental importance to students of computer science. Set theory serves as a basis for modelling software systems and logic serves as a basis for reasoning about them. Together they provide a powerful tool for achieving abstraction, generality and accuracy in programming.

Introductory Logic and Sets for Computer Scientists provides a gentle introduction to these subjects, making the mathematical concepts accessible and understandable to a wide audience.
The easy-to-follow style meets the needs of today¿s student and is the result of several years of classroom experience.
Features of the book include:

· Attractive and reader-friendly presentation
· Clear and careful explanations
· Overview and statement of objectives in each chapter
· Topics motivated by real-life computer science applications
· Wealth of examples, showing the strong connection between mathematics and computer science
· Graded exercises, with selected answers provided in an appendix
· Highlighted descriptions and definitions of key concepts
· Comprehensive index and references
Introductory Logic and Sets for Computer Scientists is an essential text for all computer science undergraduates and also provides a valuable resource for independent study.
Dr Nimal Nissanke is a lecturer in the Department of Computer Science at the University of Reading.

About the Author:

Dr. Nimal Nissanke is a lecturer in the Department of Computer Science at Reading University.



0201179571AB04062001

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

Top Search Results from the AbeBooks Marketplace

1.

Nissanke, N.
Published by Addison-Wesley (1998)
ISBN 10: 0201179571 ISBN 13: 9780201179576
New Paperback Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Addison-Wesley, 1998. Paperback. Book Condition: New. Never used!. Bookseller Inventory # P110201179571

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 56.37
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

2.

N. Nissanke
Published by Addison-Wesley (1998)
ISBN 10: 0201179571 ISBN 13: 9780201179576
New Paperback First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Addison-Wesley, 1998. Paperback. Book Condition: New. book. Bookseller Inventory # M0201179571

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 99.15
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

N. Nissanke
Published by Addison-Wesley (1998)
ISBN 10: 0201179571 ISBN 13: 9780201179576
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Addison-Wesley, 1998. Paperback. Book Condition: New. 1. Bookseller Inventory # DADAX0201179571

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 140.18
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

4.

N. Nissanke
Published by Addison Wesley (1998)
ISBN 10: 0201179571 ISBN 13: 9780201179576
New Softcover Quantity Available: 1
Print on Demand
Seller:
Rating
[?]

Book Description Addison Wesley, 1998. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # GM9780201179576

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 141.87
Convert Currency

Add to Basket

Shipping: US$ 3.52
From Germany to U.S.A.
Destination, Rates & Speeds

5.

Nissanke, Nimal
Published by Longman Pub Group (1998)
ISBN 10: 0201179571 ISBN 13: 9780201179576
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Longman Pub Group, 1998. Paperback. Book Condition: Brand New. 384 pages. 9.50x7.25x1.00 inches. In Stock. Bookseller Inventory # zk0201179571

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 176.79
Convert Currency

Add to Basket

Shipping: US$ 8.03
From United Kingdom to U.S.A.
Destination, Rates & Speeds