فرض کنیم c_f (x)ساکل c(x) باشد. نشان می دهیم که هر ایده ال اول در c(x)/(c_f (x)) اساسی است برای هر ،h?c(x) ثابت می کنیم هر ایده ال اول از c(x)/h اساسی است اگر وتنها اگر مجموعه z(h) از صفر مجموعه های h شامل نقاط منفرد نباشد. ثابت شده است که dimc(x)? dimc(x)/c_f (x) که dimc(x) بعد گلدی c(x) می باشد. و نامساوی ممکن است اکید باشد. همچنین به ویژگیهای جبری فضاهای فشرده با حداکثر نقاط منفرد شمار...

در این پایان نامه فرض بر این است که c یک زیر مجموعه محدب و بسته از فضای باناخ انعکاسی e, } یک خانواده از خود نگاشت ها در c از نوع و (مجموعه نقاط ثابت مشترک ) ناتهی باشند. برخی از نتایج مهم این پایان نامه عبارتند: الف) اگر شامل یک زیر فضای 3-بعدی از e باشد , آن گاه یک انقباض ناگسترده از c است. ب) اگر جابه جایی باشد در این صورت یک انقباض از نوع مانند r از c به روی وجود دارد, که برای هر , داشته...

این مقاله فاقد چکیده می​باشد.

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

پژوهش حاضر، به ارزیابی مجموعة کتابخانه های مرکزی دانشگاه های جامع تحت نظارت وزارت علوم، تحقیقات و فناوری بر مبنای استانداردهای کتابخانه های دانشگاهی می پردازد. هدف از انجام این پژوهش، بررسی وضعیت مجموعة کتابخانه های مرکزی دانشگاه های مورد نظر بر مبنای «استانداردهای کتابخانه های دانشگاهی ایران» است. جامعة پژوهش کلیة کتابخانه های مرکزی دانشگاه های مذکور هستند. جمع آوری داده ها با استفاده از سیاهة...

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

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

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

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