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.
Dr. Nimal Nissanke is a lecturer in the Department of Computer Science at Reading University.
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 this title" may belong to another edition of this title.
Seller: BooksRun, Philadelphia, PA, U.S.A.
Paperback. Condition: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 0201179571-11-1
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail. Seller Inventory # OTV.0201179571.VG
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
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0201179571I3N10
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Very Good. 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: 4 available
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. 1st. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 336182-6
Quantity: 1 available
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
paperback. Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Seller Inventory # rev1313472811
Quantity: 1 available
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
paperback. Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. A few small stains. Seller Inventory # rev2289077688
Quantity: 1 available
Seller: GoldBooks, Denver, CO, U.S.A.
Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # 41D68_43_0201179571
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0201179571