Introductory Logic and Sets for Computer Scientists - Couverture souple

Nissanke, N.

Couverture souple

ISBN 10 : 0201179571 ISBN 13 : 9780201179576

Editeur : Addison Wesley, 1998

Synopsis

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.

A propos du livre

À propos de la quatrième de couverture

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.

Détails de l'édition

• Éditeur: Addison Wesley
• Date d'édition: 1998
• Langue: anglais
• ISBN 10: 0201179571
• ISBN 13: 9780201179576
• Reliure: Broché
• Numéro d'édition: 1
• Nombre de pages: 400
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible