|
" Modelling computing systems : "
Faron Moller, Georg Struth.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
809755
|
| Doc. No
|
:
|
b623771
|
| Main Entry
|
:
|
Moller, Faron,1962-
|
| Title & Author
|
:
|
Modelling computing systems : : mathematics of computer science /\ Faron Moller, Georg Struth.
|
| Series Statement
|
:
|
Undergraduate topics in computer science
|
| Page. NO
|
:
|
1 online resource (xvi, 500 pages) :: illustrations.
|
| ISBN
|
:
|
9781848003224
|
|
|
:
|
: 1848003226
|
|
|
:
|
9781848003217
|
| Notes
|
:
|
Includes index.
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
This title explores concepts of games and strategies to provide a paradigm for understanding the nature of computation and provides an elementary introduction to the mathematics and modelling of computing systems through exercises and examples, giving readers the opportunities to test their understanding and broaden their knowledge.
|
| Subject
|
:
|
Computer science-- Mathematics.
|
| Subject
|
:
|
Computer science-- Mathematics.
|
| Subject
|
:
|
Computer Systems.
|
| Subject
|
:
|
Mathematics.
|
| Dewey Classification
|
:
|
004.0151
|
| LC Classification
|
:
|
QA76.9.M35M65 2013eb
|
| NLM classification
|
:
|
QA 76.9.M35
|
| Added Entry
|
:
|
Struth, Georg
|
| |