فرض کنید g گرافی n رأسی باشد. مقادیر ویژ? لاپلاسین بدون علامت و لاپلاسین g که به صورت نزولی مرتب شده اند را به ترتیب با q_1 (g)???q_n (g)?0 و ?_1 (g)????_(n-1) (g)??_n (g)=0, نمایش می¬دهیم. حدسی در مورد مقادیر ویژ? لاپلاسین گراف¬ها بیان می کند که ?_1 (g)-?_(n-1) (g)?n-1 یا به طورمعادل ?_1 (g)+?_1 (¯g)?2n-1 که در آن ¯g گراف مکمل g است. در این رساله، این حدس را برای گراف¬های دوبخشی ثابت می¬کن...

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

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

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

هدف: هدف این پژوهش، تعیین ملاک‌ها و شاخصه‌های کرسی آزاد اندیشی بر اساس آیات قرآن بوده است. روش: برای پاسخ به این سؤال که آیا می‌توان مبانی‌ای را برای کرسی‌های آزاد اندیشی بر اساس قرآن یافت و آیا این کتاب عزیز می‌تواند ملاکهایی را در این رابطه ارائه دهد یا نه؛ نخست، تعریفی روشن از کرسی آزاداندیشی بیان شده تا هم بتوان تمایز آن را از کرسی مناظره فهمید و هم مصادیقی را از قرآن که نزدیک به شرایط ذکر ...

یکی از کاربردهای اساسی قضایای ناتمامیت گودل در فلسفه، نقش آن‌ها در استدلال‌هایی است که بین ذهن انسان از یک طرف و یک الگوریتم (ماشین) یا نظام صوری متناهی از طرف دیگر مقایسه به عمل می‌آورند. دو استدلال متمایز در این زمینه مطرح گشته است. در هر دو استدلال درک صدق جملة گودل توسط انسان، به عنوان ملاکی برای تفوق بر هر ماشینی قلمداد شده است. اما ایرادهایی چند بر هر دو استدلال وارد است. در این مقاله با ...

برخی از تصمیم‌ها و اظهارنظرهای دیوان بین‌المللی دادگستری این پرسش را ایجاد کرده است که آیا دیوان می‌تواند با اعلام خلأ حقوقی به دلایلی همچون عدم تدقیق، کفایت یا فقدان حقوق قابل‌اجرا از اتخاذ تصمیم امتناع کند؟ برخی صاحب‌نظران با اشاره به اظهارنظر دیوان در بند 105(2)(ث) نظریه مشورتی قانونی بودن تهدید یا توسل به سلاح‌های هسته‌ای (1996) به این پرسش پاسخ مثبت می دهند. با توجه به وظیفه خطیر دیوان در ...

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

زمانی که ? مشتق معمولی است (?=?id?_r )، قضایای فوق شناخته شده هستند (مراجع [8]، [9]). هم چنین در مرجع [8] نشان داده شده است که قضایای مشابه برای عمل خودریختی های جبری تحت برخی فرضیات اضافی روی مشخصه ی r، صدق می کنند. توجه کنید که ?id?_r-? یک ?-مشتق 1-مورب از r برای هر خودریختی ? از r می باشد. به این ترتیب قضایای 7.2.2 و 5.1.4 برای پایاهایی از عمل خودریختی های جبری نیز به کار می روند و هیچ پیش ...

قضایای نقطه ی ثابت دوتایی