Skip to main content
main-content

Über dieses Buch

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.

Inhaltsverzeichnis

Frontmatter

2013 | OriginalPaper | Buchkapitel

Chapter 0. Introduction

Faron Moller, Georg Struth

Mathematics for Computer Science

Frontmatter

2013 | OriginalPaper | Buchkapitel

Chapter 1. Propositional Logic

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 2. Sets

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 3. Boolean Algebras and Circuits

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 4. Predicate Logic

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 5. Proof Strategies

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 6. Functions

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 7. Relations

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 8. Inductive and Recursive Definitions

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 9. Proofs by Induction

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 10. Games and Strategies

Faron Moller, Georg Struth

Modelling Computing Systems

Frontmatter

2013 | OriginalPaper | Buchkapitel

Chapter 11. Modelling Processes

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 12. Distinguishing Between Processes

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 13. Logical Properties of Processes

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 14. Concurrent Processes

Faron Moller, Georg Struth

2013 | OriginalPaper | Buchkapitel

Chapter 15. Temporal Properties

Faron Moller, Georg Struth

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise