Verkauf durch Sack Fachmedien

Struth / Moller

Modelling Computing Systems

Mathematics for Computer Science

Medium: Buch
ISBN: 978-1-84800-321-7
Verlag: Springer
Erscheinungstermin: 24.07.2013
Lieferfrist: bis zu 10 Tage

This engaging text 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. 
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.


Produkteigenschaften


  • Artikelnummer: 9781848003217
  • Medium: Buch
  • ISBN: 978-1-84800-321-7
  • Verlag: Springer
  • Erscheinungstermin: 24.07.2013
  • Sprache(n): Englisch
  • Auflage: 2013
  • Serie: Undergraduate Topics in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 7723 g
  • Seiten: 500
  • Format (B x H x T): 155 x 235 x 28 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

Introduction.- 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.