پایان‌نامه

همگرایی قوی در نظریه مدل های متناهی

سیدعلیرضا نیک بخت

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

چکیده

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

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

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

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

  • همگرایی قوی روش عنصر متناهی برای معادله‏ی موج خطی تصادفی با نوفه جمعی

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

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

  • همگرایی قوی روش عنصر متناهی برای معادله ی گرمای خطی تصادفی با نوفه جمعی

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

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

  • بررسی همگرایی روش های تفاضل متناهی برای معادلات دیفرانسیل جزیی تصادفی

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

    در بسیاری از شاخه های علوم کاربردی و مهندسی رفتار یک سیستم را می توان به صورت یک معادله دیفرانسیل جزئی تصادفی مدل بندی نمود. از این رو به منظور توصیف رفتار این چنین سیستمی تعیین جواب تحلیلی آن از اهمیت ویژه ای برخوردار است. نظر به اینکه جواب تحلیلی دسته محدودی از این معادلات را م

  • قضایای همگرای قوی برای خانواده متناهی از نگاشت های m-افزایشی در فضاهای باناخ

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

    هدف در این پایان نامه بررسی یک فرایند تکراری برای پیدا کردن نقاط مشترک خانواده- ای متناهی از نگاشت های m-افزایشی وهمچنین نقاط ثابت خانواده متناهی از نگاشت های شبه انقباضی در فضای باناخ اکیدا"محدب بانرم مشتق پذیر یکنوای گاتو است.درنتیجه فرایند همگرایی قوی برای نقاط ثابت مشترک ازیک

  • قضیه همگرایی قوی روش تکراری براساس ضریب زاویه برای مسائل تعادل آمیخته و نقطه ثابت

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

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

  • s- برآوردگرها و gs- برآوردگرها برای استنباط قوی در مدل های رگرسیون چند متغیره

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

    بیشتر روش های کلاسیک آماری توسعه پیدا کرده اند در حالی که به جنبه قوی بودن آنها پرداخته نشده است. به این معنی که تا چه اندازه این روش ها در برابر اختلالات و نوساناتی که در داده های نمونه وجود دارد (مصل وجود نقاط پرت و ...) مقاوم هستند. این پایان نامه روش های قوی –s برآورد و –gs ب

اسناد مشابه