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

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

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

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

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


موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  جزوه برای درس نظریه علوم کامپیوتر matias ۱۲ ۴,۴۲۲ ۱۴ شهریور ۱۳۹۷ ۰۵:۴۸ ب.ظ
آخرین ارسال: hamidfehri
  دکتری علوم کامپیوتر ۹۶ mnsh ۱۲ ۲,۸۰۸ ۱۸ اسفند ۱۳۹۵ ۰۴:۵۱ ب.ظ
آخرین ارسال: hashem1372
  منابع پیشنهادی برای درس نظریه علوم کامپیوتر انرژی مثبت ۲۳ ۱۷,۹۶۴ ۰۸ بهمن ۱۳۹۵ ۰۱:۴۶ ب.ظ
آخرین ارسال: پشت کنکور
  منابع کنکوری دکترا علوم کامپیوتر (دروس جدید) leilast ۱ ۱,۱۴۴ ۰۸ مرداد ۱۳۹۵ ۱۱:۳۳ ق.ظ
آخرین ارسال: leilast
  درخواست کلید نهایی دکتری علوم کامپیوتر ۹۳ yaser.b ۱ ۱,۵۱۸ ۲۲ بهمن ۱۳۹۴ ۰۱:۲۷ ب.ظ
آخرین ارسال: zarisa
  سوالات ازمون دکتری علوم کامپیوتر ۹۳ yaser.b ۸ ۳,۷۷۶ ۲۱ بهمن ۱۳۹۴ ۰۷:۳۵ ب.ظ
آخرین ارسال: zarisa
  بررسی سوالات تخصصی علوم کامپیوتر کنکور دکتری ۹۴ x86 ۱۲ ۴,۰۱۶ ۱۵ اردیبهشت ۱۳۹۴ ۰۵:۱۸ ب.ظ
آخرین ارسال: masihr
  بحث در مورد آزمون دکتری علوم کامپیوتر ۹۲ bobo_6600 ۱۲ ۸,۷۰۰ ۰۲ بهمن ۱۳۹۳ ۰۵:۰۸ ب.ظ
آخرین ارسال: z_cs
  دانلود سوالات ازمون دکتری علوم کامپیوتر ۹۲ bobo_6600 ۱ ۲,۷۲۶ ۰۳ دى ۱۳۹۳ ۰۱:۵۴ ق.ظ
آخرین ارسال: arefeh.hp
  دانلود سوالات ازمون دکتری علوم کامپیوتر ۹۱ delta ۴ ۲,۸۶۹ ۰۳ دى ۱۳۹۳ ۰۱:۵۲ ق.ظ
آخرین ارسال: arefeh.hp

پرش به انجمن:

Can I see some ID?

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

Feeling left out?


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

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

Feeling left out?


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