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

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

در این مقاله ما کنش گرانش تا توانهای دوم اسکالر ریچی و اسکالرهای ساخته شده از تانسور انحنا و تانسور ریچی را که در واقع کنش گرانش با مشتقات بالاتر تا مرتبه دو می باشد مورد بررسی قرار می دهیم. با استفاده از اتحاد باخ - لانچوز مربوط به تانسور وایل در چهار بعد نشان می دهیم که جوابهای معادلات اینشتین با ثابت کیهان شناسی در خلا که به متریکهای اینشتین مشهور می باشند, معادلات میدان گرانش مشتقات بالاتر ...

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

هدف: این پژوهش با هدف فهم و سنجش پتانسیلهای فلسفۀ چگونگی اسلامی در مسیر کاربردی شدن انجام شده است. روش: این پژوهش کیفی با روش اسنادی انجام شده و طرح پژوهش از نوع حدوثی و پیدایشی است. یافته‌ها:<...

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

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