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

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

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

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

مقدمه: بازگشت زایمان از رویکرد طبی به روند فیزیولوژیک، با توجه بیشتر به جنبه های احساسی و انسانی زنان و عدم مداخلات بی مورد می تواند باعث خشنودسازی روند زایمان برای مادران شود. مطالعه حاضر با هدف مقایسه میزان رضایت مندی مادران در زایمان به روش فیزیولوژیک با روش مرسوم انجام شد. روش‌کار: این مطالعه توصیفی - مقایسه ای در سال 1391 بر روی 340 زن در دو گروه زایمان مرسوم و فیزیولوژیک، در بیمارستان آی...

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

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

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

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