دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recursive function theory and logic
دانلود کتاب تئوری و منطق توابع بازگشتی
مشخصات کتاب
Recursive function theory and logic
ویرایش: First Edition
نویسندگان: Ann Yasuhara
سری: Computer science and applied mathematics
ISBN (شابک) : 0127689508, 9780127689500
ناشر: Academic Press
سال نشر: 1971
تعداد صفحات: 360
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Recursive function theory and logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری و منطق توابع بازگشتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Content: pt. I. Recursive function theory. Turing machines --
Semi-Thue and Thue systems --
Enumerations and Gödel numbering --
Recursive functions --
Equivalence of recursive and Turing-computable functions --
Inside recursive functions --
Recursively enumerable sets --
Recursive and recursively enumerable relations --
pt. II. Mathematical logic. The propositional calculus as an example --
Introduction to first-order languages and relational systems --
First-order theories without equality --
First-order theories with equality --
Herbrand's theorem --
Decidable and undecidable theories.
