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

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

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

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

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

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

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

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

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

یکی از مباحث مهم و تأثیرگذاری که در فلسفۀ اسلامی وجود دارد و امروزه، تحتقابل طرح است، مسئلۀ بدیهیات در حوزة تصورات و « معرفت شناسی » عنوانتصدیقات است . این مسئله با وجود اهمیت فراوان و نقش بی بدیلش در نظاممعرفتی فیلسوفان ما، از زوایای مختلف و به نحو کامل مورد بحث قرار نگرفته استبه گونه ای که به جهت ابهامات نهفته در ملاک تفکیک آنها از ادراکات نظری،گاهی یک قضیۀ نظری به جای یک قضیۀ بدیهی می نش...