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

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

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

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

فضاهای متری مخروط، تعمیمی از فضاهای متری هستند. در واقع چون مجموعه ی اعداد حقیقی (r) یک فضای باناخ حقیقی است، لذا فضاهای متری حالتی خاص از فضاهای متری مخروط می باشند. تعریف فضاهای متری مخروطبرای نخستین بار در سال 2007 توسط هوانگ و ژانگ ارائه شد. این دو محقق، قضایایی راجع به نقطه ثابت نگاشت های صادق در شرایط انقباضی مختلف را به این فضاهای تازه تعریف، تعمیم بخشیدند. پس از آن، نویسندگان بسیاری با...

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

چکیده ندارد.

در این پایاننامه، مفهوم نگاشتهایg ?ی نوا را معرف کرده و بعض از قضایای نقطه ثابت براینگاشتهایg ?صعودی چند مقداری و تک مقداری را در فضاهای متری مرتب جزئ ثابت می کنیم. نهایتاً، قضایا و نتایج ارائه شده توسط کودهاری و متیو را تعمیم می دهیم

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

معرفت‌شناسی ذاتیِ شهید صدر;، پس از طرح مراحل دلیل استقرا و یقین‌آوری آن، به ترسیم نظام مبناگروی خود بر اساس آن پرداخته است. در باب گزاره‌ نظری، درجه احتمالی با ملاک صدقِ «قناعت استنباطی» و درجه‌ تصدیق یقینی در این گزاره‌ها نیز با ملاک صدق «هماهنگی با سایر یقین‌ها» مورد نقد است. در گزاره‌های بدیهی، با عبور از یقینی‏بودن وجدانیات به نحو پیشین و ناکارآمدی راه استقرا در آن، گزاره اولی و امکان اجرای د...