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

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

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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

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

در این پایان نامه وجود نقاط ثابت را در فضاهای متریک ژئودزیک به طور یکنواخت محدب (با توجه ویژه به فضاهای r-tree و cat(0 )) ، فضاهای ابرمحدب و فضاهای باناخ برای نگاشت های تک مقداری و چند مقداری واجد شرایطی که تعمیم مفهوم غیرانبساطی هستند، مطالعه می کنیم.همچنین قضیه های نقطه ثابت را برای ارائه نتایج نقطه ثابت مشترک برای نگاشت های جابجایی و به طور ضعیف جابجایی به کار می بریم.

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

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

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

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