قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...

گراف متناظر رده های مزدوجی گروه متناهی g را معرفی می کنیم که به صورت زیر تعریف می شود رأسهای این گراف عبارت اند از رده های مزدوجی غیرمرکزی گروه g و دو رأس c و d توسط یالی به هم وصل می شوند.

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

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

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

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

در این پایان نامه که بر اساس مرجع [11] تنظیم شده است یک معیار جدید برای عملگر‎k‎ ‎-هیپونرمال ‎‎‎از طریق عملگر زیر‎نرمال ضعیف به دست خواهیم آورد. با استفاده ازمعیار به دست آمده، نوع‎ ‎قوی تری‎ از معیار زیرنرمال اسپیکووسکی‎‎‎ ‎‎را ارائه می دهیم و یک اثبات ساده از نتیجه ی اصلی مرجع [18] که یک فاصله ی بین ‎-‎k‎‎هیپونرمال و ‎‎-‎k‎+1‎هیپونرمال برای عملگرهای توپلیتز ‎‎‎‎را شرح می دهد، به دست می آوریم....

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

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