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

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

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

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

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

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

در این پایان نامه ابتدا لیگاند بزرگ باز حلقه باز شیف بالقوه 10 دندانه n6o4 تحت واکنش تراکمی و با استفاده از سالیسیل آلدهید و لیگاند شش دندانه (n6) سنتز گردید سپس توسط اثر تمپلیت یون های فلزات واسطه (mn2+ ،ni2+، zn2+ و cd2+) کمپلکس های باز شیف- فلز تهیه شدند. لیگاند و کمپلکس های تهیه شده، با استفاده از تکنیک های ft-ir، 1h nmr،13c nmr،dept وmass مورد شناسایی قرار گرفته اند.

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

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