Modelling computing systems. Mathematics for computer science (Q355066)

Computing systems can be very complex systems so that mathematical models are needed to solidly design and implement them, especially when safety-critical or economically-critical applications are addressed. Consequently, a modern education in computer science has to provide basics of the mathematical background. This book contains essential mathematics and modelling techniques for computing systems for which a presentation style suitable for first year undergraduate students has been chosen. The first part is subtitled ``Mathematics for computer science'' and introduces concepts from discrete mathematics, including propositional logic, set theory, Boolean algebras and circuits, predicate logic, proof strategies, functions, relations, inductive and recursive definitions, proofs by induction as well as games and strategies. The second part on ``Modelling computing systems'' develops a modelling approach based on state transition systems and includes sections on modelling processes, logical properties of processes, concurrent processes and temporal properties. The book contains more than 200 exercises throughout the text and provides complete solutions at the back of the book on more than 80 pages.