این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

دراین پایان نامه قصد داریم نشان دهیم اگر تابع f در l_p ([0,1]) باشد و f_p بهترین تقریب f توسط توابع نانزولی در l_p ([0,1]) باشد، آنگاه f_*=(lim)?(p??)??f_p ? موجود است که تابع f_* بهترین تقریب f توسط توابع نانرولی در c([0,1])است و یک فرمول دقیق برای f_*ارائه می دهیم. هم چنین الگوریتم رِمِز را بیان نموده و چند جمله ای تقریب به دست آمده از این الگوریتم را با چند جمله ای تقریب چبیشف مقایسه می کنیم.

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

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

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

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

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

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

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

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