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

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

در برخی قضایا و در برخی زبان‌ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه‌ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه‌ای از مراتب «وجود» می‌دانند و از این رو از آن به «وجود رابط» تعبیر می‌کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم‌ترین آن‌ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

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

دیوان بین المللی دادگستری در تاریخ ۵ اکتبر ۲۰۱۶ در قضیه دعاوی جزایر مارشال علیه بریتانیا، هند و پاکستان به علّتِ «فقدان اختلاف» میان طرفین دعوا، حکم به عدم صلاحیّت خود صادر کرد. رأی دیوان در قضیه مارشال علیه بریتانیا که با ۸رأی موافق ، ۸رأی مخالف و با رأی قاطع رییس دیوان اتخاذ گردیده ، ماهیتی منحصر به فرد دارد و از تحوّل «سیاست قضایی» دیوان در قبالِ احراز «اختلاف»حکایت می‌کند. چنین می‌نماید که تحول ...

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

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