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

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

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

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

چکیده ندارد.

چکیده ندارد.

این پایان نامه با کاربرد داده های نادقیق در تحلیل پوششی داده ها‎ (dea) سروکار دارد. داده های نادقیق بدین معنی است که بعضی داده ها فقط در دامنه ای که مقادیر موردنظر درون کران های تعیین شده قرار دارند مشخص شده اند در حالی که داده های دیگر فقط برحسب رابطه های ترتیبی مشخص شده اند. تحلیل پوششی داده های نادقیق (idea) اندازه گیری کارایی نسبی واحدهای تصمیم گیرنده برای داده های ورودی و یا خروجی که نادقی...

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

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

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