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

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

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

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

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

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

چکیده ندارد.

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...