Overview
- Provides an elementary introduction to the mathematics and modelling of computing systems
- Explores concepts of games and strategies to provide a paradigm for understanding the nature of computation
- Develops a foundation for computational thinking and problem solving
- Presents the topics in a clear and comprehensive style
- Introduces bisimulation, Hennessy-Milner logic, and the relationship between them, at an introductory level
- Includes supplementary material: sn.pub/extras
Part of the book series: Undergraduate Topics in Computer Science (UTICS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Features: demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation; contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples; describes a modelling approach based on state transition systems.
Similar content being viewed by others
Keywords
Table of contents (16 chapters)
-
Mathematics for Computer Science
-
Modelling Computing Systems
Reviews
“This book by UK academics Moller (Swansea Univ.) and Struth (Univ. of Sheffield) is designed to serve as a textbook for first-year university students in computer science. The volume contains 15 chapters, divided in two parts. … libraries may wish to acquire it for the benefit of advanced undergraduates. Summing Up: Recommended. Only comprehensive academic mathematics and computer science collections.” (B. Borchers, Choice, Vol. 51 (7), March, 2014)
Authors and Affiliations
About the authors
Prof. Faron Moller is a Professor of Computer Science at Swansea University, UK.
Dr. Georg Struth is a Reader in Computer Science at the University of Sheffield, UK.
Bibliographic Information
Book Title: Modelling Computing Systems
Book Subtitle: Mathematics for Computer Science
Authors: Faron Moller, Georg Struth
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-1-84800-322-4
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London Ltd., part of Springer Nature 2013
Softcover ISBN: 978-1-84800-321-7Published: 24 July 2013
eBook ISBN: 978-1-84800-322-4Published: 10 July 2013
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 1
Number of Pages: XVI, 500
Number of Illustrations: 46 b/w illustrations
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Discrete Mathematics in Computer Science, Math Applications in Computer Science