یکی از مباحث مهم معرفت‌شناسی، بحث استقراء، انشاء حکم کلی از مشاهده مصادیق جزئی و ارائه شواهد و قرائن خوب برای تأیید آن است. مسأله این است که برای تأیید یک حکم کلی به چه تعداد و با چه کیفیتی از شواهد و قرائن نیاز است؟ همه ما قضیهG1 «هر حکم کلی،‌ بوسیله مصادیقش تأیید می‌شود» را قبول داریم. ولی دو پارادوکس تأیید، با عنوان پارادوکس کلاغ‌ها و سآبی نشان می‌دهند که قبول این قضیه در برخی موارد، ما را د...

تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می‌دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

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

در بررسی زیر پس از ذکر قضیه ی همیلتن – کیلی و یاداوری روش معمولی محاسبه ی تابع اکسپنانسیل (نمائی) ماتریسی ، ابتدا ثابت می کنیم که هر چند جمله ای درجه n ام که بیش از n ریشه داشته باشد متحد با صفر است . سپس با استفاده از آن ثابت می کنیم که حاصل جمع n چند جمله ای لاگرانژ از درجه n-1 که با ضرایب خاصی تعریف شده باشند برابر 1 است و این نتیجه را همراه با قضیه همیلتن – کیلی برای اثبات یک روش محاسبه تاب...

مسأل? اندیس برای عملگرهای بیضوی در سال ‎1959 (1960)‎، بوسیل? گلفند‎‎ ‎طرح شده بود. او این مسأل? کلی را مطرح کرد که اندیس آنالیزیِ یک عملگر دیفرانسیل بیضوی، چگونه با داده های توپولوژیک مسأله ارتباط دارد؟‎‎ در فصل چهار این پایان نامه می بینیم که اندیس آنالیزی، برای عملگرهای فردهولم قابل تعریف است. در سال ‎1960‎ یک ریاضیدان روسی به نام والتر‎‎ ‎ فهمید که برای عملگرهای بیضوی نیز می توان اندیس آ...

هدف از قضیه بیز (bayes theorm) در فرم فازی است . بدین جهت ابتدا به بیان مطالبی در رابطه با منطق دو ارزشی می پردازیم سپس منطق دو ارزش را جبری نموده و با بسط مطلب ، روی منطق های چند ارزشی، جبرهای چند ارزشی (در فصل 2 بطور کامل به جبرهای چند ارزشی پرداخته شده است ) را مطرح می کنیم. آنگاه بحث را روی مجموعه هایی با کرانهای نادقیق (مجموعه فازی) تعمیم می دهیم. در این تعمیم از -t نرمها بعنوان رابط استفا...

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

قضیه کلاینیکه شیروکف و تعمیمهای آن خاصیتی از برد نگاشت هایی موسوم به اشتقاق را بیان می کنند که با پیوستگی این نگاشت ها درارتباط است. دراین رساله نشان می دهیم که برای اشتقاق دلخواه dاگر داشته باشیم d^2a=0 آنگاه daشبه پوچ توان است. همچنین برای اشتقاق پیوسته dاگر داشته باشیم ada=da.aآنگاه daشبه پوچ توان است. و در پایان یک حالت موضعی از این قضیه اثبات می شود.

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

در این تحقیق مساله مقدار مرزی استورم-لیوویل متقارن l=l(q(x),a,b) شامل یک معادله دیفرانسیل مرتبه دوم از نوع استورم-لیوویل روی یک بازه متناهی به همراه شرایط مرزی تفکیک ناپذیر‎‎ را در نظر می گیریم که در آن ‎ پارامتر طیفی‏، a‎‎‎، ‎‎b‎‎ و ‎‎‎q(x)‎ ‎ حقیقی مقدار و تابع پتانسیل‎q(x)‎ ‎ در بازه متناهی ‎ متقارن مرکزی می باشد‏. در ابتدا در حالتی که تابع وزن برابر یک است‎ به معرفی یک مجموعه از جوابهای اسا...