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

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

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

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

کتابخانه مرکزی و مرکز اسناد دانشگاه تهران به عنوان یکی از بزرگ ترین و غنی ترین کتابخانه ذانشگاهی کشور است، در این مقاله سعی شده است در حد امکان ناریخچه، ساختار و نحوه ارانه خدمات بخش فهرست نویسی کنابخانه مرکزی و مرکز اسناد دانشگاه تهران ارائه کردد. در نهایت مروری بر روند فعالبت های فعلی بخش و نحوهء خدمات آن ببان گردبده است.

در یک گروه دلخواه مثل ‎g‎، پیدا کردن رابطه ی بین ‎g‎ و ‎g/z(g)‎ مهم است، زیرا ‎[g:z(g)]‎ و ا‎g‎ ا میزان آبلی بودن گروه ‎g‎ را مشخص می کنند. اولین نتیجه ی به دست آمده در این مسیر، قضیه ی شور بود، که بیان می کند، اگر ‎g/z(g)‎ متناهی باشد، آن گاه ‎ ‎g‎ متناهی می شود. این قضیه سوال های مختلفی را به وجود آورد، از جمله این که آیا عکس این قضیه نیز برقرار است و یا این که تعمیمی برای جملات بالاتر سری ها...

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

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