تعریف پذیری در درجات شمارش

پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان
نویسنده پیام سراجی
استاد راهنما مجتبی آقایی
تعداد صفحات: ۱۵ صفحه ی اول
سال انتشار 1381

چکیده

در این رساله ابتدا نظریه توابع بازگشتی (محاسبه پذیر) و سپس نظریه درجات حل ناپذیری به طورخلاصه معرفی می شوند.در ادامه ثابت می کنیم که هر رابطه شمارش پذیر روی درجات شمارش ، ‏‎c‎‏ ، به طور یکنواخت ، با پارامترهایی در ‏‎c‎‏ ، تعریف پذیر است. در نتیجه ، تئوری مرتبه اول ‏‎c‎‏ ، به طور بازگشتی با حساب مرتبه دوم یکریخت است. با کمک یک صورت کارآمد از لم کدگذاری ، نشان داده می شود که تئوری مرتبه اول درجات شمارش مجموعه ها، تمیز پذیر نیست.

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}

نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان

کلمات کلیدی

درجه شمارش تعریف پذیری ریاضی سیستم کنترل آلارم محیطی مبدل فتوولتائیک

میزبانی شده توسط پلتفرم ابری doprax.com