در این پایان نامه ‏به بررسی‏ برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...

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

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

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

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

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

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

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

در این پایان نامه، ایدآل های تک جمله ای خالی از مربع در حلقه چندجمله ای های s=k[x1, …, xn] را مورد مطالعه قرار می دهیم. با توجه به نتیجه جالب وفابل توجهی که از بایر و استیلمن به دست آمده است و نیز با توجه به تکنیک قطبی سازی، مساله دسته بندی ایدآل های همگن از حلقه s که دارای تحلیل خطی هستند، هم ارز با مساله دسته بندی ایدآل های تک جمله ای خالی از مربع است که دارای تحلیل خطی می باشند. در هر صورت، ...

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