دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algorithmic information theory
دانلود کتاب نظریه اطلاعات الگوریتمی
مشخصات کتاب
Algorithmic information theory
ویرایش: 3pr.
نویسندگان: Gregory. J. Chaitin
سری: Cambridge Tracts in Theoretical Computer Science
ISBN (شابک) : 0521343062, 1971972002
ناشر: Cambridge University Press
سال نشر: 1992
تعداد صفحات: 236
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 679 کیلوبایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Algorithmic information theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه اطلاعات الگوریتمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه اطلاعات الگوریتمی
چایتین، مخترع نظریه اطلاعات الگوریتمی، در این کتاب قوی ترین نسخه ممکن از قضیه ناقص بودن گودل را با استفاده از رویکرد تئوری اطلاعات بر اساس اندازه برنامه های کامپیوتری ارائه می دهد. نیمی از کتاب به بررسی احتمال توقف یک کامپیوتر جهانی در صورتی که برنامه آن با پرتاب یک سکه انتخاب شود، مربوط می شود. نیمه دیگر مربوط به رمزگذاری احتمال توقف به عنوان یک معادله جبری در اعداد صحیح است، به اصطلاح معادله دیوفانتین نمایی.
توضیحاتی درمورد کتاب به خارجی
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of a universal computer if its program is chosen by tossing a coin. The other half is concerned with encoding the halting probability as an algebraic equation in integers, a so-called exponential diophantine equation
فهرست مطالب
Cover......Page 1
Foreword......Page 6
Preface......Page 8
Contents......Page 10
1. Introduction......Page 16
Part I - Formalisms for Computation: Register Machines, Exponential Diophantine Equations, & Pure LISP......Page 22
2.1 Introduction......Page 26
2.2 Pascal\'s Triangle Mod 2......Page 29
2.3 LISP Register Machines......Page 33
Personae......Page 48
2.5 An Example of Arithmetization......Page 52
tion......Page 62
tion: Expansion of ) \'s......Page 66
tion: Left-Hand Side......Page 74
tion: Right-Hand Side......Page 78
3.1 Introduction......Page 82
3.2 De nition of LISP......Page 84
3.3 Examples......Page 92
3.4 LISP in LISP I......Page 96
3.5 LISP in LISP II......Page 97
3.6 LISP in LISP III......Page 101
ns......Page 106
4.2 EVAL in Register Machine Language......Page 109
mary Information......Page 126
of Left-Hand Side......Page 132
Right-Hand Side......Page 134
Part II - Program Size, Halting Probabilities, Randomness, & Metamathematics......Page 138
5.1 Complexity via LISP Expressions......Page 142
5.2 Complexity via Binary Programs......Page 148
nary Programs......Page 149
5.4 Omega in LISP......Page 152
6.1 Introduction......Page 160
6.2 De nitions......Page 161
6.3 Basic Identities......Page 165
6.4 Random Strings......Page 177
7.1 Introduction......Page 182
7.2 Random Reals......Page 187
Bounds on Information Content......Page 200
dom Reals: First Approach......Page 203
dom Reals: j Axioms j......Page 205
dom Reals: H(Axioms)......Page 212
9. Conclusion......Page 216
10. Bibliography......Page 218
Appendix A - Implementation Notes......Page 224
Appendix B - The Number of S-expressions of Size N......Page 226
Appendix C Back Cover......Page 236
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Anatomy for Dental Students, 3rd Edition
دانلود کتاب Рідна мова. Тематичний тестовий зошит. 7 клас
