Sale
نظریه دستگاههای صوری ۲۰۱۶
Theory of Formal Systems 2016
دانلود کتاب نظریه دستگاههای صوری ۲۰۱۶ (Theory of Formal Systems 2016) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی
| نویسنده |
Raymond M. Smullyan |
|---|
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2016 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
156 |
| نوع فایل |
|
| حجم |
6.2 MB |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب نظریه دستگاههای صوری ۲۰۱۶
این کتاب هم به عنوان مقدمهای جامع و خودکفا و هم به عنوان شرحی بر نتایج جدید در حوزهی نظریهی توابع بازگشتی و کاربرد آن در سیستمهای صوری عمل میکند.
فهرست کتاب:
۱. روی جلد
۲. عنوان
۳. حق چاپ
۴. فهرست مطالب
۵. پیشگفتار
۶. فصل اول: دستگاههای صوری ریاضیاتی
۷. فصل دوم: بازنمایی صوری و شمارشپذیری بازگشتی
۸. فصل سوم: تمامناپذیری و تصمیمناپذیری
۹. فصل چهارم: نظریهٔ تابع بازگشتی
۱۰. فصل پنجم: خلاقیت و جداییناپذیری مؤثر
۱۱. متمم
۱۲. مرجع و کتابشناسی مختصر
توضیحات(انگلیسی)
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
Table of Contents
1. Cover
2. Title
3. Copyright
4. TABLE OF CONTENTS
5. PREFACE
6. CHAPTER I: FORMAL MATHEMATICAL SYSTEMS
7. CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY.
8. CHAPTER III: INCOMPLETENESS AND UNDECIDABILITY
9. CHAPTER IV: RECURSIVE FUNCTION THEORY
10. CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY
11. SUTPLEMENT
12. REFERENCE AND BRIEF BIBLIOGRAPHY
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
