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

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

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

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

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


موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  بحث و بررسی پیرامون بیگ بنگ و شکل گیری حیات marvelous ۲ ۴۳ دیروز ۰۱:۲۶ ب.ظ
آخرین ارسال: xiaomi
  درخواست ویدئو کلیپ های نظریه زبانها و ماشینها sajaddandy ۹ ۶,۷۸۶ ۱۵ مهر ۱۳۹۸ ۰۸:۵۰ ق.ظ
آخرین ارسال: manhastam
  سوال در مورد دروس جبرای و چارت ارشد کامپیوتر/هوش دانشگاه تهران imali ۱ ۷۲ ۰۴ مهر ۱۳۹۸ ۰۱:۴۶ ق.ظ
آخرین ارسال: marvelous
  محاسبه تراز معدل موثر از رشته آی تی یا علوم کامپیوتر به مهندسی کامپیوتر یا بالعکس gnulinux ۰ ۹۴ ۲۱ شهریور ۱۳۹۸ ۰۸:۳۷ ق.ظ
آخرین ارسال: gnulinux
Wink قبول شده های (علوم کامپیوتر، مهندسی کامپیوتر و IT ) سال ۹۸ اینجا اعلام کنند gaslakh ۲۵ ۱,۲۸۰ ۱۸ شهریور ۱۳۹۸ ۱۱:۳۰ ق.ظ
آخرین ارسال: mehdi.m2
  علوم کامپیوتر شریف یا نرم افزار تهران؟ ۴L1R3Z4 ۴۲ ۴,۵۸۳ ۲۵ مرداد ۱۳۹۸ ۰۳:۳۳ ب.ظ
آخرین ارسال: ۴L1R3Z4
  علوم کامپیوتر شریف Sinmaz ۰ ۱۹۰ ۱۷ مرداد ۱۳۹۸ ۰۴:۵۳ ب.ظ
آخرین ارسال: Sinmaz
  گرایش های علوم کامپیوتر alisaaa ۳ ۱۸۴ ۱۵ مرداد ۱۳۹۸ ۰۸:۰۷ ب.ظ
آخرین ارسال: RangiRangi
  بحث و بررسی سوالات کنکور ارشد مهندسی کامپیوتر ۹۸ The BesT ۱۷ ۱,۲۱۳ ۱۷ تیر ۱۳۹۸ ۰۸:۰۱ ب.ظ
آخرین ارسال: abolfazl pepco
  حل تشریحی ارشد نظریه زبان ها و ماشین ها ۹۴ تا ۹۷ Sanazzz ۰ ۲۱۹ ۲۰ خرداد ۱۳۹۸ ۰۷:۵۳ ب.ظ
آخرین ارسال: Sanazzz

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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