تصنيف:رياضيات الحوسبة

المنطق الرياضي له عدة معانٍ في الاستخدام الشائع. كانت تشير في الأصل إلى المنطق الرمزي أو المنطق الاصطلاحي، ثم أصبحت مرتبطة بدراسة الأسس المنطقية (وحتى الفلسفية) لـ الرياضيات. في الاستخدام المعاصر من قبل علماء المنطق الرياضيين، يشير المصطلح إلى عدة فروع من الرياضيات البحتة التي تتضمن دراستها اهتماماً دقيقاً بالأنظمة البديهية الاصطلاحية وإمكانية التعريف الاصطلاحية.

ينقسم المنطق الرياضي إلى أربعة أجزاء:

• نظرية النماذج
• نظرية البراهين
• [[النظرية التكرارية]، تُعرف أيضاً باسم نظرية الحوسبة
• نظرية المجموعات

الانقسامات بين هذه المجالات، إلى جانب التقسيمات بين المنطق الرياضي وبقية الرياضيات، ليست دقيقة تماماً، حيث تتداخل العديد من مجالات البحث والأساليب وتعزز بعضها البعض.