عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 M65 2013eb
QA76
.
9
.
M35
M65
2013eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1848003226
(Number (ISBN
9781848003224
Erroneous ISBN
9781848003217
NATIONAL BIBLIOGRAPHY NUMBER
Number
b623771
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Modelling computing systems :
General Material Designation
[Book]
Other Title Information
mathematics of computer science /
First Statement of Responsibility
Faron Moller, Georg Struth.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 500 pages) :
Other Physical Details
illustrations.
SERIES
Series Title
Undergraduate topics in computer science
GENERAL NOTES
Text of Note
Includes index.
CONTENTS NOTE
Text of Note
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.
0
SUMMARY OR ABSTRACT
Text of Note
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.
OTHER EDITION IN ANOTHER MEDIUM
Title
Modelling computer systems.
International Standard Book Number
9781848003217
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics.
Computer Systems.
Mathematics.
Computer science-- Mathematics.
DEWEY DECIMAL CLASSIFICATION
Number
004
.
0151
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
M65
2013eb
OTHER CLASS NUMBERS
Class number
QA
76
.
9
.
M35
PERSONAL NAME - PRIMARY RESPONSIBILITY
Moller, Faron,1962-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Struth, Georg
ORIGINATING SOURCE
Date of Transaction
20200617082905.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
