الفئة:المنطق الرياضي
يوجد في ويكيميديا كومنز وسائط متعددة متعلقة بـ المنطق الرياضي .
المنطق الرياضي هو دراسة المنطق الرسمي في الرياضيات. يتناول البحث في المنطق الرياضي عادةً الخصائص الرياضية للأنظمة الرسمية للمنطق مثل قدرتها التعبيرية أو الاستنتاجية.
ينقسم المنطق الرياضي إلى أربعة أقسام:
- نظرية النموذج
- نظرية الإثبات
- نظرية التكرار ، والمعروفة أيضًا باسم نظرية قابلية الحساب
- نظرية المجموعات
إن الانقسامات بين هذه المجالات، إلى جانب الانقسامات بين المنطق الرياضي وبقية علوم الرياضيات، ليست حادة تمامًا، حيث تتداخل العديد من مجالات البحث والأساليب وتعزز بعضها البعض.
الفئات الفرعية
تحتوي هذه الفئة على 34 فئة فرعية من إجمالي 34.
*
- نظرية قابلية الحساب (10 درجة مئوية، 102 درجة مئوية)
- نظرية النموذج (3 ج، 117 ص)
- نظرية الإثبات (6 ج، 95 ص)
- نظرية المجموعات (18 ج، 156 ص)
أ
- المنطق الجبري (1 ج، 23 ص)
- الخوارزميات (59 ج، 137 ص)
- إثبات النظريات آليا (3 ج، 39 ص)
- البديهيات الرياضية (2 ج، 22 ص)
ب
- الجبر البولياني (2 ج، 101 ص)
ج
- الحسابات المنطقية (4 ج، 34 ص)
- المنطق التصنيفي (1 ج، 7 ص)
- المنطق في علوم الكمبيوتر (20 درجة مئوية، 101 درجة مئوية)
- البنائية (الرياضيات) (2 ج، 40 ص)
ف
- الإجبار (رياضيات) (23 ص)
- اللغات الرسمية (13 ج، 201 ص)
- الأنظمة الرسمية (7 ج، 10 ص)
- النظريات الرسمية في الحساب (17 ص)
ح
- التسلسلات المنطقية الرياضية (1 ج، 10 ص)
أنا
- نتائج الاستقلال (21 ص)
ل
- مشاريع صياغة رياضية واسعة النطاق (7 ص)
- التعبيرات المنطقية (1 ج، 21 ص)
- الوضعية المنطقية (1 ج، 20 ص)
- الحقيقة المنطقية (23 ص)
- علماء المنطق الرياضي (4 ج، 120 ص)
م
- مجلات المنطق الرياضي (6 ص)
- المنطق النمطي (6 ج، 51 ص)
ا
- منظمات المنطق الرياضي (5 ص)
ص
- منطق المسند (2 ج، 36 ص)
س
- الكمي (المنطق) (20 ص)
ر
- التكرار (5 ج، 46 ص)
س
- الاستبدال (المنطق) (3 ص)
ت
- نظريات في اساسيات الرياضيات (1 ج، 54 ص)
- نظرية النوع (4 ج، 112 ص)
ص
- مسودات المنطق الرياضي (2 ج، 108 ص)
الصفحات في فئة «المنطق الرياضي»
الصفحات التالية البالغ عددها 200 صفحة تندرج تحت هذه الفئة، من إجمالي 200 صفحة. قد لا تعكس هذه القائمة التغييرات الأخيرة .
أ
ب
ج
د
هـ
ف
ج
ح
أنا
ل
م
ا
ص
ر
- دالة راثجين psi
- تعريف متكرر
- جبر العلاقات
- الجبر البولياني المتبقي
- الشبكة المتبقية
- الرياضيات العكسية
- الرياضيات العكسية: البراهين من الداخل إلى الخارج
- إعادة الكتابة
- رينجشلوس
- نظرية الاتساق المشترك لروبنسون
- خدعة روسير
- قواعد المرور
س
- S2S (الرياضيات)
- نموذج مشبع
- خاصية شرودر-برنشتاين
- النظرية الدلالية للحقيقة
- دلالات المنطق
- دالة شبه قابلة للحساب
- التوقيع (المنطق)
- تبسيط المقدمات المنفصلة
- تقطيع الحقيقة
- نظرية سولير
- حالة خاصة
- قائمة البيانات المستقلة عن ZFC
- التقسيم الطبقي (رياضيات)
- القوة (المنطق الرياضي)
- الحث الهيكلي
- البنيوية (فلسفة الرياضيات)
- البنية (المنطق الرياضي)
- التهجئة
- البنية التحتية (رياضيات)
- وظيفة الخلف
- حساب التراكب
- رقم سريالي
- مسرد الرموز الرياضية
ت
الخامس
Original text
Rate this translation
Your feedback will be used to help improve Google Translate