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

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

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

در این رساله که در هفت فصل تنظیم شده است مطالب مورد بحث و بررسی عبارتند از: -1 استفاده از اپراتورهای td و iid در تعیین وجود جواب معادلات دیفرانسیل با مشتقات جزئی -2 تبدیلات فرم مختلط معادلات دیفرانسیل جزئی -3 معادلات دیفرانسیل جزئی غیرخطی با شرایط مرزی -4 تعمیم مساله با مقدار مرزی هیلبرت (hilbert). یکی از اهداف اصلی آنالیز مختلط کاربردهای استاندارد و سیستماتیک در معادلات دیفرانسیل جزئی است که ت...

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

معادلات برآوردی تعمیم یافته مرتبه اول و دوم و کاربرد آن در تحلیل داده های   طولی ریزنشت       دکتر فرید زایری 1 - سمیه بردی نشین2 - دکتر علیرضا اکبرزاده باغبان3 – دکتر مامک عادل 4 – دکتر سعید عسگری 5   1- استادیار مرکز تحقیقات پروتئومیکس دانشکده پیراپزشکی دانشگاه علوم پزشکی شهید بهشتی   2- دانشجوی کارشناسی ارشد گروه آموزشی آمار زیستی دانشکده پیراپزشکی دانشگاه علوم پزشکی شهید بهشتی   3- استادیار...

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

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

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