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

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

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

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

در این پایان نامه ابتدا توزیع ? - پایدار را معرفی می کنیم، سپس برای مجموع جزئی دنباله ای از متغیرهای تصادفی مستقل و هم توزیع در دامنه ی جذب توزیع ? - پایدار، ]2 و 0) ??، نتایجی را ارائه می دهیم که به طور قریب به یقین برقرارند و قضایای حد مرکزی به طور قریب به یقین برای توزیع های پایدار نامیده می شوند.

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

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

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

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