کتاب منطق ریاضی اثر دکتر محمد اردشیر، استاد برجستۀ دانشکدۀ ریاضی دانشگاه صنعتی شریف، یکی از منابع مهم و جامع در زمینۀ منطق ریاضی به زبان فارسی است. این کتاب حاصل تجربۀ چندین سالۀ تدریس نویسنده در دورۀ کارشناسی ریاضی دانشگاه صنعتی شریف بوده و به‌عنوان کتاب برگزیدۀ سال ۱۳۸۴ در ایران معرفی شده است.
این کتاب در چهار فصل تنظیم شده است:
منطق گزاره‌ها: در این فصل، مفاهیم پایه‌ای منطق گزاره‌ای، زبان و معناشناسی آن‌ها، نظریۀ برهان و روش‌های اصل موضوعی، استنتاج طبیعی و حساب رشته‌ها مورد بررسی قرار می‌گیرد.
منطق مرتبۀ اول: این بخش به تجزیه و تحلیل منطق مرتبۀ اول پرداخته و مفاهیم مطرح‌شده در فصل قبل را برای این نوع منطق شرح و بسط می‌دهد.
نظریۀ مقدماتی مدل‌ها: در این فصل، قضایای اساسی نظریۀ مدل‌ها و مدل‌های غیراستاندارد آنالیز و حساب معرفی و بررسی می‌شوند.
منطق مرتبۀ دوم و بالاتر: این بخش به معرفی منطق مرتبۀ دوم و بالاتر و معناشناسی آن‌ها در دو دستۀ معناشناسی استاندارد و معناشناسی هنکین می‌پردازد.
کتاب با بهره‌گیری از مثال‌هایی از شاخه‌های مختلف ریاضی و اشاره به جنبه‌هایی از منطق ریاضی که به علوم نظری کامپیوتر مرتبط می‌شود، تلاش کرده است تا مفاهیم را به‌صورت جامع و کاربردی ارائه دهد. همچنین، در انتهای هر فصل تمریناتی برای تثبیت مطالب ارائه شده است.
دربارۀ نویسنده «منطق ریاضی»
دکتر محمد اردشیر بهرستاقی، متولد ۱۳۳۵ در آمل، استاد تمام دانشکدۀ ریاضی دانشگاه صنعتی شریف و پژوهشگر برجستۀ منطق و ریاضیات شهودگرا است. وی تحصیلات کارشناسی خود را در رشتۀ برق در دانشگاه صنعتی شریف به پایان رساند و سپس در سال ۱۳۷۴ دکترای ریاضی را از دانشگاه مارکت در ایالت ویسکانسین آمریکا دریافت کرد. از دیگر آثار او می‌توان به ترجمۀ کتاب فلسفۀ براوئر اشاره کرد که در سال ۱۳۸۷ توسط انتشارات هرمس منتشر شده است.
چرا کتاب «منطق ریاضی» را بخوانیم؟
کتاب منطق ریاضی به‌عنوان یکی از منابع اصلی درسی در دانشگاه‌های ایران، برای دانشجویان رشتۀ ریاضی و علاقه‌مندان به منطق و فلسفۀ ریاضی بسیار مفید است. این کتاب با ساختار منسجم و پوشش جامع مباحث، به درک عمیق‌تری از منطق ریاضی کمک می‌کند. همچنین، تمرینات پایان هر فصل به تقویت مهارت‌های حل مسئله و درک بهتر مفاهیم کمک می‌کند.
برای خرید کتاب منطق ریاضی به راحتی می‌توانید آن را از سایت گاج مارکت تهیه کنید.