در مبحث محاسبه پذیری و توابع Primitive Recursive یا به اختصار PR، ثابت میشه که تمامی توابع PR محاسبه پذیرند، در صورتی که برعکس آن برای تمامی توابع صادق نیست. یعنی حداقل یک تابع وجود دارد که محاسبه پذیر است اما PR نیست. یکی از این توابع، تابع Ackermann است. اثبات PR نبودن این تابع را در فایل زیر نوشته‌ام*.
طبقه بندی موضوعی
-
سیشارپ
(۲۵) -
دات نت
(۲۶) -
WPF
(۶) -
دانش+
(۲) -
منطق
(۲) -
Game Chapter
(۵) -
ACM
(۱) -
علوم کامپیوتر
(۲)
-
نظریه محاسبه
(۱)
بایگانی
- فروردين ۱۳۹۳ (۲)
- اسفند ۱۳۹۲ (۴)
- بهمن ۱۳۹۲ (۱)
- دی ۱۳۹۲ (۲)
- آذر ۱۳۹۲ (۲)
- مهر ۱۳۹۲ (۲)
- شهریور ۱۳۹۲ (۲۵)
آخرین مطالب
- ۹۳/۰۱/۰۵آموزش Async در سیشارپ 5 - بخش سوم
- ۹۳/۰۱/۰۱پازل عیدانه - سال 93
- ۹۲/۱۲/۲۵آموزش Async در سیشارپ 5 - بخش دوم
- ۹۲/۱۲/۲۴آموزش Async در سیشارپ 5 - بخش اول
- ۹۲/۱۲/۲۱آموزش Async در سیشارپ 5 - مقدمه
- ۹۲/۱۲/۱۳تابع Ackermann
- ۹۲/۱۰/۲۰بدون عنوان!
- ۹۲/۱۰/۲۰چند اصطلاح انگلیسی
پیوندها
نمایه ها
