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

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

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

مبحث فرم در موسیقی را می توان هم از نظر خُرد ساختاری و هم از نظر کلان ساختاری بررسی کرد. از نظر کلا نساختاری، در فرهنگ های موسیقاییِ مختلف، فرم های معینی وجود دارد که از پیوستن چند قطعة مشخص تشکیل م یشوند. این فرم های ترکیبی در ادبیات قوم موسیق یشناسی معمولاً «سوئیت » یا «سیکل » نامیده می شوند، اما در مورد موسیقی ایرانی و به تأسی از رسالات قدیمیِ این نوع موسیقی، می توان آن را نوبت نامید. فرم نو...

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

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

در نوشتن این رساله فرض شده است که خواننده با مفاهیم رسته و تابعگون آشناست . بقیه مفاهیم مورد نیاز و همچنین رسته ها و تابعگون های خاصی که مورد استفاده قرار گرفته اند در سه فصل اول معرفی شده اند. در فصل صفر مفاهیم و قضایای مورد نیاز از 15 فصل اول از [8] با ذکر برهانها آورده شده است . فصل 1 به معرفی مفاهیم پالایه، رسته cc و خواص آن، رسته lcc، رسته clcc و قضایایی پیرامون آنها می پردازد. معمولا برها...

دستگاه اعدادمختلط را در نظر می گیریم. آنالیز مختلط رفتار توابع روی c مورد بررسی قرار می دهد. فضای هیلبرت h را در نظر می گیریم. ابتدا توجه کنیم که فضای عملگرهای کراندار و خطی روی h که با نماد (b(h نمایش داده می شود، در حالت یک بعدی دقیقا همان c می باشد. از طرفی (b(h برخی از ویژگی های اساسی c را داراست به طور مثال: مفهوم مزدوج در c به مفهوم الحاق یک عملگر در (b(h تعمیم می یابد. با تکیه بر این...

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

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