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

هدف اصلی این پایان نامه رده بندی p-گروههای متناهی با توجه به خواص زیرگروههای آنها است. ابتدا p-گروههای متناهی دومولدی مانند g را که همه زیرگروههای ماکسیمال ناآبلی آنها نیز دومولدی باشند را مورد بررسی قرار می دهیم. در حالتی کهg،p=2 گروهی فرادوری و یا ناآبلی مینیمال است و در حالت p>2 نیز نتایجی در مورد g بیان می کنیم. سپس 2-گروههای ناآبلی را مورد بررسی قرار می دهیم به طوریکه همه زیرگروههای ناآب...

روش باقیمانده ی مینیمال (minres) برای کلاس خاصی از سیستم های خطی با ماتریس ضرایب نرمال که طیف آنها متعلق به منحنی جبری از درجه ی پایین k می باشد ساخته شده است. تفاوت این روش با روش شناخته شده ی gmres در زیر فضاهایی است که جواب تقریبی به آن تعلق دارد. در این مقاله حالت k=2,3 را بررسی می کنیم. نتایج عددی اری?ه شده برتری روش minres را نسبت به روش gmres نشان می دهد.

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

در سال 1960 آقای الیس در مقاله ای تحت عنوان "نیم گروه وابسته به یک تبدیلی" نیم گروه پوشنده e(x) وابسته به گروه تبدیلی (x,g,) را تعریف کرد و به بررسی خواص جبری و توپولوژی آن پرداخته و در قضیه ای نشان داد که گروه تبدیلی (x,g,) نزدیک شونده است و اگر و فقط اگر e(x) تنها دارای یک ایده آل راست مینیمال باشد. ما فصل اول این رساله را که کار مشترکی از آقای دکتر مسعود صباغیان و کایزینگ تسو و تا - سون - وو...