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

لویناس ریشه های خلأ عظیم اخلاقی عالم تجدد را در سیطرۀ هستی شناسی غربی می جوید و نشان می دهد که آن چگونه همه چیز را یا با منحل کردن در رابطۀ ادراکی سوژه و ابژه تحت یک «کلیت» فراگیر قرار می دهد و یا، در صورت مقاومت، از اساس سرکوب و محو می سازد. نوشته ای که در پی می آید می کوشد تا: 1. نشان دهد که چرا لویناس در جهت عبور از سلطۀ هستی شناسی، بر خلاف فیلسوفانی چون هیدگر، فوکو و اشتراوس، به دفاع از سوب...

ویلیام لین کریگ (william lane craig)، فیلسوف و متأله شهیر امریکایی، به عنوان احیا کنندة نوع خاصی از براهین کیهان شناختی شهرت یافته؛ او این برهان را «برهان کیهان شناسی کلامی» (kalam cosmological argument) نامیده است. رکن اساسی این برهان، آغازمندی یا حدوث زمانی جهان است. کریگ به منظور اثبات این مقدمة اساسیِ برهان خود، به چهار دلیل متوسل شده که دو تای آن ها پیشینی (فلسفی) و دو تای دیگر پسینی (علمی)...

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

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

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

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

جندین روش برای حل مسایل تخصیص فاوی وجود دارد در این جا به ضعف های روش های موجود اشاره میکند روش های ارایه شیه بسیار اسان و کاربردی اند

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

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