جستجو، بررسی، انتخاب

گفتگوی آزاد :: بعد از تایپ متن دکمه Enter را بزنید.
 

ریاضی - منطق ریاضی

9
منطق ریاضی (Mathematical logic) شاخه‌ای از ریاضیات است که به ارتباط ریاضی و منطق می پردازد.
نام‌های دیگر آن عبارتند از منطق جدید، منطق صوری، منطق نمادی، منطق نمادین، منطق علامتی، منطق کلاسیک ریشه‌های پیدایش این منطق به کارهای جوزپه پئانو ریاضیدان ایتالیایی و قبل از او لایب نیتز و لامبرت می‌رسد.در اواخر قرن نوزدهم میلادی، با کارهای آگوستوس دی مورگان، جرج بول، گوتلوب فرگه، برتراند راسل، داوید هیلبرت و دیگران این علم به پیشرفت قابل ملاحظه‌ای دست یافت . منطق امروز در ریاضیات، شکل کامل تری از منطق در فلسفه است که اساس خود را با نظریهٔ مجموعه‌ها به اشتراک دارد.



دانلود فایل  (931.5 کیلوبایت)


سمکو فیض اله زاده  |  1393/04/04  |  9 دانلود  |  1087 بازدید

شما هم می توانید نظرات و ایده های خود را در این بخش درج نمایید

پر بازدیدترین برچسب ها