عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 M65 2013eb
QA76
.
9
.
M35
M65
2013eb
کتابخانه
محل استقرار
شابک
شابک
1848003226
شابک
9781848003224
شابک اشتباه
9781848003217
شماره کتابشناسی ملی
شماره
b623771
عنوان و نام پديدآور
عنوان اصلي
Modelling computing systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
mathematics of computer science /
نام نخستين پديدآور
Faron Moller, Georg Struth.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvi, 500 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
Undergraduate topics in computer science
يادداشت کلی
متن يادداشت
Includes index.
یادداشتهای مربوط به مندرجات
متن يادداشت
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
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Modelling computer systems.
شماره استاندارد بين المللي کتاب و موسيقي
9781848003217
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Computer Systems.
موضوع مستند نشده
Mathematics.
موضوع مستند نشده
Computer science-- Mathematics.
رده بندی ديویی
شماره
004
.
0151
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
M35
نشانه اثر
M65
2013eb
سایر رده بندی ها
شماره رده
QA
76
.
9
.
M35
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Moller, Faron,1962-
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Struth, Georg
مبدا اصلی
تاريخ عمليات
20200617082905.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
