چه کسانی این کتاب را می‌خوانند

دانشجوعلاقه‌مند یادگیری
کتابخوان حرفه‌ایلذت مطالعه
نویسندهالهام‌گیری

نظریه تابع بازگشتی و منطق (علوم کامپیوتر و ریاضیات کاربردی)

Recursive Function Theory and Logic (Computer science and applied mathematics)

Ann Yasuhara

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف
  • تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری
پرداخت امن
ضمانت فایل
پشتیبانی

مشخصات کتاب

نویسنده
Ann Yasuhara
سال انتشار
۱۹۷۱
فرمت
DJVU
زبان
انگلیسی
تعداد صفحات
۵ صفحه
حجم فایل
۳٫۷ مگابایت
شابک
9780127689500، 0127689508

دربارهٔ کتاب

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.

کتاب‌های مشابه

راهنمای منطق محاسباتی: پیشینۀ یادداشت‌ها و گزارش‌ها در علوم کامپیوتر و ریاضیات کاربردی

راهنمای منطق محاسباتی: پیشینۀ یادداشت‌ها و گزارش‌ها در علوم کامپیوتر و ریاضیات کاربردی

۴۹٬۰۰۰ تومان

الگوریتم‌های ترکیبی برای کامپیوترها و ماشین‌حساب‌ها (علوم کامپیوتر و ریاضیات کاربردی)

الگوریتم‌های ترکیبی برای کامپیوترها و ماشین‌حساب‌ها (علوم کامپیوتر و ریاضیات کاربردی)

۴۹٬۰۰۰ تومان

آسیپتوتیک‌ها و توابع ویژه (علوم کامپیوتر و ریاضیات کاربردی)

آسیپتوتیک‌ها و توابع ویژه (علوم کامپیوتر و ریاضیات کاربردی)

۴۹٬۰۰۰ تومان

پولینوم‌های ماتریسی (علوم کامپیوتر و ریاضیات کاربردی)

پولینوم‌های ماتریسی (علوم کامپیوتر و ریاضیات کاربردی)

۴۹٬۰۰۰ تومان

منطق‌گرایی تجدید شده: بنیادهای منطقی برای ریاضیات و علوم کامپیوتر، یادداشت‌های سخنرانی در منطق ۲۳

منطق‌گرایی تجدید شده: بنیادهای منطقی برای ریاضیات و علوم کامپیوتر، یادداشت‌های سخنرانی در منطق ۲۳

۴۹٬۰۰۰ تومان

ساختارهای گسسته برای علوم کامپیوتر: شمارش، بازگشت و احتمال

ساختارهای گسسته برای علوم کامپیوتر: شمارش، بازگشت و احتمال

۴۹٬۰۰۰ تومان

ریاضیات گسسته برای علوم کامپیوتر: برخی یادداشت‌ها

ریاضیات گسسته برای علوم کامپیوتر: برخی یادداشت‌ها

۴۹٬۰۰۰ تومان

پیچیدگی توابع بولی (وایلی توبنر در نظریه کاربردی در علوم کامپیوتر)

پیچیدگی توابع بولی (وایلی توبنر در نظریه کاربردی در علوم کامپیوتر)

۴۹٬۰۰۰ تومان

الگوریتم‌ها: رویکرد برنامه‌نویسی تابعی (سری علوم کامپیوتر بین‌المللی)

الگوریتم‌ها: رویکرد برنامه‌نویسی تابعی (سری علوم کامپیوتر بین‌المللی)

۴۹٬۰۰۰ تومان

آزمایش‌های ریاضی بر روی کامپیوتر، جلد ۱۰۵ (ریاضیات خالص و کاربردی)

آزمایش‌های ریاضی بر روی کامپیوتر، جلد ۱۰۵ (ریاضیات خالص و کاربردی)

۴۹٬۰۰۰ تومان

منطق در علوم کامپیوتر: مطالعه‌ای بر گسترش منطق‌های زمانی و استراتژیک (مطالعات آتلانتیس در محاسبات (۳))

منطق در علوم کامپیوتر: مطالعه‌ای بر گسترش منطق‌های زمانی و استراتژیک (مطالعات آتلانتیس در محاسبات (۳))

۴۹٬۰۰۰ تومان

ریاضیات عددی: نظریه و کاربردهای کامپیوتری

ریاضیات عددی: نظریه و کاربردهای کامپیوتری

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان