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

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

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

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

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

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

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

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

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