1403/09/01
محمدظاهر کاظمی بانه

محمدظاهر کاظمی بانه

مرتبه علمی: استادیار
ارکید:
تحصیلات: دکترای تخصصی
اسکاپوس: 41762049300
دانشکده: دانشکده علوم پایه
نشانی:
تلفن:

مشخصات پژوهش

عنوان
مبانی علوم ریاضی
نوع پژوهش
کتاب
کلیدواژه‌ها
منطق ریاضی، مجموعه، رابطه، تابع، تناظر مجموعه‌ها، عدد اصلی، عدد ترتیبی، اصل انتخاب، لم زورن
سال 1403
پژوهشگران محمدظاهر کاظمی بانه

چکیده

کتاب مبانی علوم ریاضی مشتمل بر 7 فصل است که در آن مفاهیم بنیادی ریاضی از جمله منطق، مجموعه، رابطه، تابع و اصل انتخاب شرح مبسوط داده شده است. در فصل منطق جدای از اینکه بحث نسبتاً کاملی از ترکیبهای اصلی و فرعی شده است، تطابقی مابین منطق ریاضی و منطق سوری شده و در قالبی به نام "برای مطالعه" بعضی اصطلاحات منطق کلامی با علائم ریاضی بیان شده است. همچنین حالات متفاوت گزاره‌های سوری ترکیبی بیان و اسامی آنها معرفی شده است. روشهای متعدد استدلال منطقی و اثبات نیز با ذکر مثال توضیح داده شده است. در فصل 3 مفهوم رابطه‌ها و تقسیم‌بندی آن با ویژگی‌های مورد نظر شرح و بسط داده شده و در انتها با تبیین مفاهیم مشبکه، جبر هیتینگ و جبر بول، یک نوع هم ارزی بین رابطه‌ها و مفاهیم اصلی گزاره‌ها در مبحث منطق مورد بررسی قرار گرفته است. در فصل 4 سوای توضیح مفصل مفاهیم اساسی توابع از جمله ترکیب، تصویر، تصویر معکوس، یک‌به‌یکی و پوشایی و قضایای مربوط به آنها، قضیه‌ی اساسی تابع و مفهوم تناظر مجموعه‌ها مورد بررسی قرار گرفته است. در فصل 5 مفاهیم تناهی و شمارایی مجموعه‌ها و تتمه‌ی آن در فصل 6 تحت عنوان اعداد اصلی تشریح شده است. در فصل 7 در مبحث اصل انتخاب قریب به 20 معادل در حالات متشابه و غیر متشابه آورده شده و نزدیک به 12 معادل آن ثابت شده است. در آخر این فصل بحث ارزشمندی از اعداد ترتیبی شده که منتج به رابطه‌ی بین اعداد اصلی و اعداد ترتیبی و اثبات یکی دیگر از معادلهای اصل انتخاب شده است.