در این پایان نامه نگاهی گذرا به اثبات اولیه قضیه پیتره که به زبان نظریه بافه هااست خواهیم داشت.همچنین به تحلیل اثبات دیگری از این قضیه که توسط هلگاسون اراُه شده است می پردازیم.

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

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

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

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

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

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

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

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

نویسنده محترم مقاله « قضیه معدوله و محصله » ( مقالات و بررسیها ، 61 ، ص 81-103 ) « درصدد اثبات این مدعا است که در کتب منطقی – از ترجمه کتاب ارسطو گرفته تا کتب منطقی اخیر در سه مورد [ تقسیم قضیه به معدوله و محصله ، تقسیم لفظ به معدول و محصل و گفتگو درباره ملکه و عدم ] ، در هر سه مورد اشتباه رخ داده است (ص 81 ). نوشتار حاضر ابتدا با تفکیک شناخت امر واقع از تبیین آن ، خطای « اخذ مالیس بعلة علة » ...