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.
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.
Dr. Nimal Nissanke is a lecturer in the Department of Computer Science at Reading University.
"About this title" may belong to another edition of this title.
Book Description Addison-Wesley, 1998. Paperback. Book Condition: New. Never used!. Bookseller Inventory # P110201179571
Book Description Addison-Wesley, 1998. Paperback. Book Condition: New. book. Bookseller Inventory # M0201179571
Book Description Addison-Wesley, 1998. Paperback. Book Condition: New. 1. Bookseller Inventory # DADAX0201179571
Book Description Addison Wesley, 1998. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # GM9780201179576
Book Description Longman Pub Group, 1998. Paperback. Book Condition: Brand New. 384 pages. 9.50x7.25x1.00 inches. In Stock. Bookseller Inventory # zk0201179571