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.
Shipping:
FREE
Within U.S.A.
Seller: SecondSale, Montgomery, IL, U.S.A.
Condition: Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00075724372
Quantity: 1 available
Seller: Wonder Book, Frederick, MD, U.S.A.
Condition: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Seller Inventory # N05A-04771
Quantity: 1 available
Seller: Red's Corner LLC, Tucker, GA, U.S.A.
Condition: LikeNew. All orders ship by next business day! This is a used paperback book with wear due to handling. Pages have no markings. For USED books, we cannot guarantee supplemental materials such as CDs, DVDs, access codes and other materials. We are a small company and very thankful for your business! Seller Inventory # 4CNO3H0026K8
Quantity: 1 available
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 1.32. Seller Inventory # G0201179571I3N00
Quantity: 1 available
Seller: HPB-Red, Dallas, TX, U.S.A.
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_425118646
Quantity: 1 available
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. 1st. Used book that is in clean, average condition without any missing pages. Seller Inventory # 4283647-6
Quantity: 1 available
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Very Good. 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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR002769412
Quantity: 3 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 soft covers. 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,650grams, ISBN:9780201179576. Seller Inventory # 9993298
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 soft covers. 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,800grams, ISBN:9780201179576. Seller Inventory # 8242187
Quantity: 1 available
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0201179571
Quantity: 1 available