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

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

فرض کنید ‎$s‎‎$‎ یک جبر مدرج استاندارد‎‎‎‎ نوتری روی حلقه جابه جایی ‎$‎‎‎r‎$‎ و ‎$m$‎ یک ‎$s$-‎مدول مدرج متناهی مولد باشد. هدف اصلی ما در این تحقیق‏، به دست آوردن یک اثبات ساده با تکنیکی جدید از نتیجه به طور مجانبی یکنواخت برادمن در cite{‎brodman-‎sta}‎ برای مولفه های مدرج کوهمولوژی موضعی روی حلقه های نوتری با بُعد حداکثر ‎?‎ است. این اثبات نتایج قبلی را نیز تعمیم می دهد. همچنین‏، در این تحقیق ن...

در این پایان نامه ابتدا با معرفی w-فاصله و t-فاصله توسیع هایی را برای قضیه نقطه ثابت کریستی-کرک و اصل تغییرات اکلند و قضیه مینیمم سازی تاکاهاشی بیان نموده و همچنین تعاریفی از اپسیلون-شرط تعمیم یافته تاکاهاشی و هامل و مینیمم شارپ ضعیف و خطای کران تعمیم یافته به همراه یک سری از قضایای مربوطه ارائه می کنیم. در پایان یک معادل سازی کلی بین تعمیم های ذکر شده را اثبات کرده و نیز ارتباط میان این توسیع ...

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

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

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

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

در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.

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