هدف اصلی این پایان نامه، مطالعه ی عمل های حافظ ساختار هندسی یک گروه لی با استفاده از عمل های یک زیرگروه نرمال بسته آن است. فرض کنید g یک گروه لی همبند و n یک زیرگروه بسته از g و m یک خمینه ی هموار باشد که n بر m به طور هموار عمل می کند. فرآیندی به نام "استقرا‎``‎ وجود دارد که از یک عمل n بر مجموعه ی m، یک عمل g بر خمینه ی خارج قسمتی g imes_{n} m ‎نتیجه می شود. در این پایان نامه، با استفاده ا...

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

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پی...

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

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

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

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