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

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

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

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

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


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

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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