دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies (47))
دانلود کتاب نظریه سیستم های رسمی. (AM-47)، جلد 47 (سالنامه مطالعات ریاضی (47))
مشخصات کتاب
Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies (47))
ویرایش:
نویسندگان: Raymond M. Smullyan
سری: Annals of Mathematics Studies (47) (Book 47)
ISBN (شابک) : 069108047X, 9780691080475
ناشر: Princeton University Press
سال نشر: 1961
تعداد صفحات: 157
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies (47)) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه سیستم های رسمی. (AM-47)، جلد 47 (سالنامه مطالعات ریاضی (47)) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه سیستم های رسمی. (AM-47)، جلد 47 (سالنامه مطالعات ریاضی (47))
این کتاب هم به عنوان یک مقدمه کاملا مستقل و هم به عنوان نمایشی از نتایج جدید در زمینه تئوری توابع بازگشتی و کاربرد آن در سیستم های رسمی عمل می کند.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
*Frontmatter, pg. i*TABLE OF CONTENTS, pg. iii*PREFACE, pg. vii*ANNALS OF MATHEMATICS STUDIES, pg. xiv*CHAPTER I: FORMAL MATHEMATICAL SYSTEMS, pg. 1*CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY, pg. 19*CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY, pg. 39*CHAPTER IV: RECURSIVE FUNCTION THEORY, pg. 65*CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY, pg. 93*SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC, pg. 127*REFERENCE AND BRIEF BIBLIOGRAPHY, pg. 141
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Fundamentals of Actuarial Mathematics
دانلود کتاب Non-standard Employment under Globalization: Flexible Work and Social Security in the Newly Industrializing Countries (IDE-JETRO)
دانلود کتاب Cómo aprender el vasco fácilmente
