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

گسترش‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎ نظریه ی تابع گاما به اثر جان والیس برمی گردد. او تابع فاکتوریل را برای ‎‎$‎‎ ‎n+‎frac{1}{2}‎ ‎$‎‎ ‏به دست آورد. تقریباً پس از گذشت ‎‎$‎‎ 70‎ ‎$‎ ‎‏سال اویلر تابع گاما را به عنوان تعمیمی از تابع فاکتوریل که برای اعداد صحیح مثبت تعریف شده است‏، تعریف نمود. ‎‎ ‎‏اهمیت ...

بررسی های ژئوتکنیکی در انتخاب سایت مناسب برای پروژه های مهندسی بسیار حائز اهمیت است و بخش عمده ای از هزینه انجام پروژه را شامل می گردد. تصمیم گیری درست همواره می تواند بخش عمده ای از هزینه های غیرضروری را در پروژه های بزرگ کاهش دهد. هدف از انجام این پایان نامه ارائه روند جدیدی است براساس روش ریاضی نظریه مجموعه مبنا (theory set rough) که توسط یک ریاضیدان مشهور به نام (pawlak(1991 معرفی گردیده اس...

توپولوژی ناجابجایی شاخه ای از ریاضیات است که در قرن گذشته بوجود آمده است. پژوهش در این شاخه منجربه کاربردهای فراوانی در شاخه های مختلف ریاضی و ریاضی فیزیک شده است. منشأ این شاخه را می توان قضیه ای دانست که ایزرائیل گلفاند(1913-2009) ریاضیدان برجسته ی هم عصر ما بیان کرد. طبق این قضیه، رابطه ای دوگانی بین رسته ی فضاهای توپولوژیک فشرده و هاسدورف و رسته ی *c- جبرهای جابجایی و یکدار برقرار است یعنی ...

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

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

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

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

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

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