پديد آورنده :
سراجي، پيام
عنوان :
تعريف پذيري در درجات شمارش
مقطع تحصيلي :
كارشناسي ارشد
محل تحصيل :
اصفهان: دانشگاه صنعتي اصفهان، دانشكده رياضي
صفحه شمار :
چهار، 41 ،[I]ص.
استاد راهنما :
مجتبي آقايي
استاد مشاور :
محمود بيناي مطلق
توصيفگر ها :
درجات حل ناپذيري/ماشين تورينگ /لم كد گذاري/
استاد داور :
محمد اردشير، قهرمان طاهريان
تاريخ ورود اطلاعات :
1396/08/10
چكيده فارسي :
در اين رساله ابتدا نظريه توابع بازگشتي (محاسبه پذير)و سپس نظريه درجات حل ناپذيري به طور خلاصه معرفي مي شوند. در ادامه ثابت مي كنيم كه هر رابطه شمارش پذير روي درجات شمارش ، C، به طور يكنواخت ، با پارامترهايي در C،تعريف پذير است . در نتيجه ، تئوري مرتبه اول C، به طور بازگشتي با حساب مرتبه دوم يكريخت است . با كمك يك صورت كارآمد از لم گذاري، نشان مي دهيم كه تئوري مرتبه اول درجات شمارش مجموعه هاي ، تميز پذير نيست
استاد راهنما :
مجتبي آقايي
استاد مشاور :
محمود بيناي مطلق
استاد داور :
محمد اردشير، قهرمان طاهريان
