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

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

کانت– و لم تزل– فکرة المقارنة بین الجناس فی اللغتین: الفارسیة و العربیة قد شغلت بال المهتمّین باللغتین عبر سنین و اعوام، فحالفنا الحظّ فی هذا المقال فی ان نسلّط الضوء علی بعض الخلافات الکامنة فی تقسیم الجناس عامة و تفصیل الجناس المرکب خاصة، وفی هذا السیاق تطرّقنا اولاً الی تعریف الجناس، و ما اولاه له الادباء من اهمّیة و اهتمام، و الدور الذی یلعبه فی إثراء مادة الأدب شکلاً و مضمونا، و لفظا و مفهوما، کم...

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

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

فرض کنید a یک -c*جبر باشد. تور {u a}در a+ با خاصیت u <-1 یک تقریب یکانی برای a نامیده می شود هرگاه برای < داشته باشیم <- و همچنین برای هر x در lim x(1-u ) 0a، که در این صورت lim (1-u )x 0 نیز برقرار است . می دانیم که در هر -c*جبر a پایا نامیده می شود هرگاه a و a k یکریخت باند، که kجبر عملگرهای فشرده روی فضای هیلبرت تفکیک پذیر می باشد. در این پایان نامه ما ثابن خواهیم کرد که یک -c*جبر یکانی a پا...

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

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