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

قانونگذار قانون مجازات اسلامی سال 1370 برابر ماده 231 اقرار و شهادت (بینه) را از راه­های ثبوت قتل در دادگاه به حساب آورده و مواد 232 الی 236 را به احکام اقرار و مادتین 237 و 238 را به احکام شهادت اختصاص داده است. در فرضی که بر ارتکاب قتل از سوی «الف» با گواهان حائز شرایط اقامه بینه می­شود و در عین حال فرد دیگری با شرایطی که مقنن در جهت پذیرش اقرار لازم می­داند، اقرار می­کند که قاتل نه مشهود عل...

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

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

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

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

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

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

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