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

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

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

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

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

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

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

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