LEADER 04725nam 22007455 450 001 9910437576603321 005 20230810133556.0 010 $a1-84800-322-6 024 7 $a10.1007/978-1-84800-322-4 035 $a(CKB)3710000000002547 035 $a(SSID)ssj0000960674 035 $a(PQKBManifestationID)11516488 035 $a(PQKBTitleCode)TC0000960674 035 $a(PQKBWorkID)10949720 035 $a(PQKB)10989793 035 $a(DE-He213)978-1-84800-322-4 035 $a(MiAaPQ)EBC6314812 035 $a(MiAaPQ)EBC1398251 035 $a(Au-PeEL)EBL1398251 035 $a(CaPaEBR)ebr10962577 035 $a(OCoLC)853093465 035 $a(PPN)172421616 035 $a(EXLCZ)993710000000002547 100 $a20130710d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModelling Computing Systems $eMathematics for Computer Science /$fby Faron Moller, Georg Struth 205 $a1st ed. 2013. 210 1$aLondon :$cSpringer London :$cImprint: Springer,$d2013. 215 $a1 online resource (XVI, 500 p. 46 illus.) 225 1 $aUndergraduate Topics in Computer Science,$x2197-1781 300 $aIncludes index. 311 $a1-84800-321-8 327 $aIntroduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems -- Modelling Processes -- Distinguishing Between Processes -- Logical Properties of Processes -- Concurrent Processes -- Temporal Properties. 330 $aWe have all experienced delays and frustrations as a result of the notorious ?computer glitch.? However, the more dependent we become on computational systems in our daily lives, the more we must ensure that they are safe, reliable and user-friendly. This engaging textbook presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. Topics and features: Introduces important concepts from discrete mathematics as the basis of computational thinking, presented in a stimulating and motivating style 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 an approach to the modelling of computing systems based on state transition systems, exploring the languages and techniques for expressing and reasoning about systems specifications and concurrent implementations This clearly written and classroom-tested textbook/reference is essential reading for first-year undergraduate modules on discrete mathematics and systems modelling. 410 0$aUndergraduate Topics in Computer Science,$x2197-1781 606 $aComputer science 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aDiscrete Mathematics in Computer Science 606 $aMathematical Applications in Computer Science 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aMathematical Applications in Computer Science. 676 $a004.0151 700 $aMoller$b Faron$4aut$4http://id.loc.gov/vocabulary/relators/aut$01063670 702 $aStruth$b Georg$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910437576603321 996 $aModelling Computing Systems$92533499 997 $aUNINA