مباحثی در اثبات ناپذیری و نظریه رمزی تعمیم یافته

پایان نامه

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

چکیده

در این رساله ابتدا قضیه رمزی کانونیک و سپس نسخه ای از قضیه کاناموری مک آلون از جنبه نظریه مدل مورد مطالعه قرار می گیرد. در هر مورد نشانگرهای جدید و نتایج مستقل از حساب مرتبه اول پئانو به دست می آید. سپس به قضیه مجموعه تین و محاسبه مقدار دقیق عدد رمزی متناظر با آن برای برخی گراف های خاص که مسیرها از جمله آن است پرداخته می شود.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

ثبت نام

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

منابع مشابه

مبانی فقهی نظریه تعمیم ادله اثبات دعوا

امروزه در سایه علم و تکنولوژی ادله جدیدی برای اثبات دعاوی و اقناع قاضی پا بهعرصه وجود نهاده که به مراتب قویتر ازشهادت شهود بوده و چنان ظن قوی حاصل م ی کنندکه به آنها ادله قطعی عرفی اطلاق می شود و احتمال خلاف آنها را عرف عقلا ء بسیار کم وتقریبًا منتفی م یداند و با توجه به اینکه عموم فقهاء مبنای اعتبار ادله بویژه شهادت شهود راعقل و عرف عقلا ء قلمداد می کنند، همچنین با امعان نظر به اینکه بینه، فاقد...

متن کامل

مبانی فقهی نظریه تعمیم ادله اثبات دعوا

متن کامل

فاکتوریل تعمیم یافته

تابع فاکتوریل با استفاده از مفهومی به نام p-ترتیب، به زیرمجموعه حلقه اعداد صحیح تعمیم پذیر است. هدف این نوشتار، آگاهی دادن از چگونگی این تعمیم است. در پایان به مفهوم ایدآل فاکتوریل در حوزه های ددکیند اشاره خواهد شد.

متن کامل

مباحثی در تعریف ناپذیری صدق تارسکی

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

15 صفحه اول

مروری بر نظریه اثبات

پس از آن که کانتور نظریه مجموعه ها را معرفی کرد، روش های جدید و غیرمتعارفی در ریاضیات به وجود آمد که واکنش هایی را نسبت به آن برانگیخت. امروزه تقریبا در تمام کتب ریاضی، این روشها به صورت فراگیر مشاهده می شوند و در واقع مشکل بتوان توضیح داد که چرا این مطالب روزی جنجال برانگیز بوده است. هیلبرت از روش های نظریه مجموعه ها به شدت طرفداری می کرد ولی بروز پارادوکس هایی مانند پارادوکس راسل، موجب تشویش ...

متن کامل

قواعد فاینمن در مدل استاندارد تعمیم یافته

We consider the Lorentz violating extension of the standard model introduced by D. Colladay and V. A. Kostelecky. In this framework, we obtain all Feynman rules for the electroweak part of the standard model extension (SME), for the first time. Among the new obtained interactions one finds new vertices for the Higgs boson that is interesting in the phenomenology of the Higgs particle.

متن کامل

منابع من

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

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

{@ msg_add @}

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

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

کلمات کلیدی

حساب پیانو جمله مستقل قضیه رمزی کانونیک

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