دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: First Edition
نویسندگان: Ann Yasuhara
سری: Computer science and applied mathematics
ISBN (شابک) : 0127689508, 9780127689500
ناشر: Academic Press
سال نشر: 1971
تعداد صفحات: 360
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب 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.