زمان کنونی: ۱۲ خرداد ۱۳۹۹, ۰۴:۵۱ ق.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

بحث و تبادل نظر(احتمالی!) در مورد درس نظریه علوم کامپیوتر!

ارسال:
۲۰ بهمن ۱۳۹۳, ۰۸:۵۹ ب.ظ (آخرین ویرایش در این ارسال: ۲۰ بهمن ۱۳۹۳ ۰۹:۰۰ ب.ظ، توسط ArmanBM.)
بحث و تبادل نظر(احتمالی!) در مورد درس نظریه علوم کامپیوتر!
سلام رفقا.
برای اینکه اینجا بحث استارت بخوره با یه سوال کوتاه شروع میکنم.
اولین سوال من ایه:
###### (سوال۱)
آیا تابع بازگشتی جزئی همون تابع بازگشتی اولیه هست؟!
Partially recursive ?= primitive recursive

طبق تعریف کتاب دیویس بازگشتی اولیه به تابعی میگویند که با تعداد متناهی عملیات ترکیب و بازگشت روی توابع آغازین بشه به اون رسید!

اما نمیدونم بازگشتی جزئی هم همینه؟!
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ
ارسال:
۲۸ بهمن ۱۳۹۳, ۱۰:۰۳ ق.ظ
بحث و تبادل نظر(احتمالی!) در مورد درس نظریه علوم کامپیوتر!
جواب سوال رو پیدا کردم.
کتاب Davis صفحه ی ۳۰ دقیقا توضیح داده که:
Partially computable functions are also called partial recursive
که یعنی بازگشتی جزئی دقیقا همون محاسبه پذیر جزئی و به هیچ وجه برابر بازگشتی اولیه نیست.
چرا که بازگشتی اولیه ها همیشه محاسبه پذیر هستند. ولی بازگشتی جزئی(محاسبه پذیر جزئی) فقط وقتی محاسبه پذیره که تابع معادلش کامل باشه.
یافتن تمامی ارسال‌های این کاربر
نقل قول این ارسال در یک پاسخ


موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  نظریه زبانها و ماشینها (پیتر لینز) نگارش پنجم sina_r11 ۱۳ ۱۸,۰۴۲ دیروز ۰۲:۲۸ ب.ظ
آخرین ارسال: Z78khosrow_kh
  دانلود آموزش تصویری کلاس درس نظریه اطلاعات و کدینگ دانشگاه فردوسی jazana ۵ ۱,۵۲۳ ۰۷ خرداد ۱۳۹۹ ۰۹:۱۰ ق.ظ
آخرین ارسال: hosein92
  نظریه اطلاعات و سیستم کدینگ hosein92 ۰ ۲۷ ۰۵ خرداد ۱۳۹۹ ۱۱:۲۸ ب.ظ
آخرین ارسال: hosein92
Wink دانلود نظریه زبانهای پیتر لینز ویرایش ۵ + حل armin.sheikh ۵ ۵,۷۳۳ ۰۲ خرداد ۱۳۹۹ ۰۸:۲۶ ب.ظ
آخرین ارسال: gillda
  سوال ۸ دکتری علوم کامپیوتر سال ۹۴ ss311 ۲ ۴۰۸ ۲۶ اردیبهشت ۱۳۹۹ ۱۲:۳۷ ب.ظ
آخرین ارسال: ss311
  سوال ۱۴ علوم کامپیوتر ۹۶ ss311 ۴ ۳۳۷ ۲۶ اردیبهشت ۱۳۹۹ ۱۲:۳۳ ب.ظ
آخرین ارسال: ss311
  جایگشت( ارشد علوم کامپیوتر ۹۸ ) ss311 ۰ ۱۳۳ ۰۳ اسفند ۱۳۹۸ ۱۲:۴۵ ب.ظ
آخرین ارسال: ss311
  رنگ کردن رئوس گراف( ارشد علوم کامپیوتر ۹۸ ) ss311 ۰ ۱۲۱ ۰۳ اسفند ۱۳۹۸ ۱۲:۴۳ ب.ظ
آخرین ارسال: ss311
  سوال ۳ دکتری علوم کامپیوتر ۹۷ ss311 ۲ ۵۱۵ ۰۶ بهمن ۱۳۹۸ ۰۴:۴۵ ب.ظ
آخرین ارسال: ss311
  درخواست ویدئو کلیپ های نظریه زبانها و ماشینها sajaddandy ۱۰ ۷,۶۲۶ ۰۱ بهمن ۱۳۹۸ ۰۷:۳۵ ب.ظ
آخرین ارسال: msedigh

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close