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