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

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

در این پایان نامه، گردایه های مهتری از ماتریس های صحیح و چند وجهی مهتری را معرفی می کنیم. ‏به این منظور ‏این پایان نامه را به چهار فصل تقسیم می نماییم: در فصل اول، تعاریف و قضایایی که در فصل های بعد مورد نیاز می باشد، مرور می کنیم. در پایان فصل‏ اول یک چندوجهی ‎m(v) ‎، وابسته به مهتری را معرفی می کنیم. در فصل دوم به معرفی یکی از گردایه های مهتری از ماتریس های صحیح، یعنی گردایه ی a (b|s)‎ ، خواص...

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

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

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

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

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

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

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