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

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

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

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

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

مطالعه قضایای حدی و قانون اعداد بزرگ در نظریه احتمال به جهت ارتباط جنبه های عملی و تئوری نظریه کلاسیک اهمیت زیادی دارد. فرض کنیم {xn, n?1} دنباله ای از متغیرهای تصادفی با مقادیر حقیقی روی فضای احتمال (?, f, p) و sn???xi آنگاه بر حسب اینکه sn - an/bn در احتمال یا تقریبا همه جا به صفر همگرا باشد قانون ضعیف اعداد بزرگ و قانون قوی اعداد بزرگ را خواهیم داشت {an, n?1} دنباله ای از اعداد حقیقی و {bn, ...

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

مکان یابی رقابتی تسهیلات به استقرار تسهیلات به در نظر گرفتن رقابت در بازار می-پردازد و هر یک از تسهیلات برای به دست آوردن سهم قابل کسب بازار با تسهیلات موجود به رقابت می¬پردازند. سهم قابل کسب از بازار نسبت عکس با فاصله تسهیل از مشتری داشته و با میزان جذابیت تسهیل نسبت مستقیم دارد. جذابیت هر تسهیل به عوامل مختلفی ازجمله کیفیت و قیمت تسهیل بستگی دارد و هر یک از این عوامل دارای وزنی متفاوت برای مش...

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