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

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

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

فرض کنید i یک ایده آل منومیال از حلقه چند جمله ای ] x ,..., x [ k=r باشدو) i ( d ماکزیمم درجه مو لدهای مینیمال i باشد.دراین مقاله ما ضمن تعیین نقطه ایستایی ) / r ( ass ,سعی در یافتن کران های بالایی برای چنین نقاطی هستیم.

چکیده ندارد.

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق دانان سینوی و مبتنی بر کاربر...

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

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