نتایج جستجو برای: قضیه ناتمامیت گودل

تعداد نتایج: 3154  

اورنگ فرزانه فرج اله عسکری

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده علوم 1373

مطالعه قضایای حدی و قانون اعداد بزرگ در نظریه احتمال به جهت ارتباط جنبه های عملی و تئوری نظریه کلاسیک اهمیت زیادی دارد. فرض کنیم {xn, n?1} دنباله ای از متغیرهای تصادفی با مقادیر حقیقی روی فضای احتمال (?, f, p) و sn???xi آنگاه بر حسب اینکه sn - an/bn در احتمال یا تقریبا همه جا به صفر همگرا باشد قانون ضعیف اعداد بزرگ و قانون قوی اعداد بزرگ را خواهیم داشت {an, n?1} دنباله ای از اعداد حقیقی و {bn, ...

ژورنال: :نشریه دانشکده فنی 2001
غلامرضا شهریار حشمتی بهمن مهری

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی و کامپیوتر 1391

منیفلدهای کیلری، منیفلدهای ریمانی مختلطی هستند که فرم کیلری آن ها بسته است؛ به این معنی که d?=0 . التصاق و انحنای این منیفلدها شکل خاصی دارد. هم چنین اثبات می شود که تنها نمادهای غیر صفر منیفلدهای کیلری، ?_k^ij و ?_k ?^(i ?j ? )=(?_j^ij ) ? است. علاوه بر این، تانسور انحنای این منیفلدها کاملاً توسط نگاشت های r_(ij ?kl ? )=r(?(?/(?z_i )) ,?(?/(?z ?_j )) ,?(?/(?z_k )) ,?(?/(?z ?_l ))) معین می ش...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه مازندران 1390

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه زنجان - دانشکده علوم 1392

هر رویه ریمان یک خمینه ‎1 ‎بعدی مختلط و یا یک ‎2 ‎خمینه حقیقی جهت پذیر است. قضیه یکنواخت سازی بیان می کند که هر رویه ریمان همبند ساده با صفحه مختلط، دیسک واحد باز پوانکاره(صفحه هذلولوی) یا کره ریمان هم ارز همدیس می باشد. بنابراین هر رویه ریمان ایزومتریک با فضای خارج قسمتی به صورت ‎xg‎ می باشد که در آن x فضای صفحه مختلط، دیسک واحد باز پوانکاره یا کره ریمان بوده و g ‎ نیز یک زیرگروه از گروه ایزوم...

ژورنال: :caspian journal of mathematical sciences 0
m. alimohammady dept of math. univ of mazandaran university n. nyamoradi department of mathematics, faculty of sciences razi university, 67149 kermanshah, iran

در این مقالهمسئله با مقادیر مرزی اشتورم-لیوویل، قضیه نقطه ثابت، ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده علوم ریاضی 1388

در این پایان نامه نشان داده می شود اگر گروهی دارای پوشش متناهی از زیر گروه های دوری باشد ، آنگاه این گروه دوری و یا متناهی است و اگر تعویض گرهای آن دارای پوشش متناهی از زیرگروه های دوری باشد، آنگاه زیرگروه مشتق آن دوری و یا متناهی است.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده علوم ریاضی 1393

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده ریاضی 1392

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید