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

تجزیه همیلتونی گراف?های کیلی مبحثی است که در سالهای اخیر موضوع بسیاری از تحقیقات بوده است. در این زمینه آسپک حدسی دارد که بیان می کند هر گراف کیلی همبند ‎2k‎ -منظم روی گروه های آبلی دارای یک تجزیه همیلتونی است. در این پایان نامه هر گراف مدور همبند 4-منظم را به دو دور همیلتونی تجزیه می کنیم. در ادامه با کمک تجزیه همیلتونی گراف های مدور همبند 4-منظمی که حاوی‎w‎ ‎-مسیر هستند‏ برای گراف های مدور 6-...

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

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

گراف ناجابه جایی گروهها و گراف کیلی از معروفترین گرافهای منسوب به یک گروه هستند. در سال 1975 اردوش برای گروه دلخواه g گرافی موسوم به گراف ناجابه جایی تعریف کرد که رئوس آن عناصر غیر مرکزی gبوده و دوراس متمایز xوy مجاورند هرگاه با یکدیگر جابه جا نشوند. گراف کیلی نیز همانطور که از نامش پیداست منسوب به کیلی بوده و برای گروه دلخواه gو زیر مجموعه sاز آن که نسبت به معکوس بسته بوده و فاقد عنصر همانی...

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

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

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