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

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

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

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

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

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

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

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

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

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