پایان‌نامه

تمامیت در منطق پیوسته

جاثیه کشاورزیان

دانلود متن کاملرایگان، با حساب کاربری؛ ثبت نام با گوگل چند ثانیه است

چکیده

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

اساتید راهنما و مشاور

سیدمحمد باقری

پایان‌نامه‌های مشابه

  • منطق پیوسته و محاسبات احتمالاتی

    پایان‌نامه۲۰۱۲وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضیداوود عبدی

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

  • قضیه هربراند برای منطق پیوسته

    پایان‌نامه۲۰۱۳وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضیمریم سلیمانی کرانی

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

  • اثباتی از تمامیت برای منطق مرتبه اول پیوسته

    پایان‌نامه۲۰۱۴وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضیالهام حیدرزاده

    هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پ

  • تبیین مفهوم تمامیت در حوزه آثار موزه ای از منظر حفظ فرایند ارتباطی اثر- مخاطب- محیط

    پایان‌نامه۲۰۱۴وزارت علوم، تحقیقات و فناوری - دانشگاه هنر - اصفهان - دانشکده هنرهای تجسمی و کاربردیسمیه بصیری

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

  • بررسی سیاست جنایی تقنینی مرتبط با جرایم والدین علیه تمامیت اخلاقی کودکان

    پایان‌نامه۲۰۱۵دانشگاه آزاد اسلامی واحد کرمانشاه - دانشکده علوم انسانی و پایهروح الله شکربیگی

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

  • جرایم علیه تمامیت داده ها و سامانه های رایانه ای

    پایان‌نامه۲۰۱۱وزارت علوم، تحقیقات و فناوری - دانشگاه تهران - دانشکده حقوق و علوم سیاسینیما نادرخانی

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

اسناد مشابه