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

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

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

در فضای نا جا به جا گر برهمکنش موضعی به برهمکنشی غیر موضعی تغییر شکل می یابد. فرمولبندی نظریه میدان کوانتومی امکان بررسی تاثیر یک چنین تغییری را بر روی انرژی یک سیستم فیزیکی به دست می دهد. در این مقاله با به کارگیری فرمولبندی نظریه میدان, جا به جایی انرژی مرتبه اول برای تجمعی از ذرات فرمیونی غیر نسبیتی با برهمکنش موضعی تا تقریب مرتبه دوم از پارامتر نا جا به جایی محاسبه شده است. نتیجه به دست آمد...

اندازه گیریهای پراش نوترون (با طول موج ‏‎0/7 a‎‏) در محدوده وسیعی از دما روی ماده سیکلوهگزان که شامل فازهای ‏‎liquid crystal‎‏، ‏‎‏‎palstic crystal‎‏‎‏ و ‏‎brittle‎‏ می باشد، در این پایان نامه ارائه میشود. تحلیل داده ها نشان می دهد که ساختار در رفتار مولکول به سابقه و وضعییت قبلی آن مربوط است. در فصل اول به بررسی تئوری پراکندگی و در فصل دوم به بررسی پراکندگی مغناطیسی می پردازیم. در فصل سوم به ت...

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

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

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

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