1978

1984پ

2081

كارشناسي ارشد

رياضي محض

اصفهان: دانشگاه صنعتي اصفهان، دانشكده رياضي

1381

چهار، 41 ،[I]ص.

1396/08/10

كتابنامه

علوم رياضي

رياضي

ID2081

در اين رساله ابتدا نظريه توابع بازگشتي (محاسبه پذير)و سپس نظريه درجات حل ناپذيري به طور خلاصه معرفي مي شوند. در ادامه ثابت مي كنيم كه هر رابطه شمارش پذير روي درجات شمارش ، C، به طور يكنواخت ، با پارامترهايي در C،تعريف پذير است . در نتيجه ، تئوري مرتبه اول C، به طور بازگشتي با حساب مرتبه دوم يكريخت است . با كمك يك صورت كارآمد از لم گذاري، نشان مي دهيم كه تئوري مرتبه اول درجات شمارش مجموعه هاي ، تميز پذير نيست

مجتبي آقايي

محمود بيناي مطلق

محمد اردشير، قهرمان طاهريان