قالب:منطق رياضي

من ويكيبيديا، الموسوعة الحرة

اذهب إلى التنقل اذهب إلى البحث

ع ن ت المنطق رياضي

عام	لغة شكلية تشكيل قاعدة نظام شكلي نظام شكلي برهان فلسفي دلالة الصورية (منطق) صيغة التشكيلية مجموعة (رياضيات) صنف (نظرية المجموعات) منطق كلاسيكي بديهية استنتاج طبيعي قاعدة الإستدلال علاقات مبرهنة استتباع منطقي نظام بديهي نظرية النمط رمز (شكلي) تركيب (منطق) نظرية (منطق رياضي)

منطق تقليدي	قضية استدلال حجة منطقية صحة تفكير منطقي قياس (منطق) تعارض تربيعي مخطط فن

حساب القضايا - جبر بولياني	دالة بوليانية حساب القضايا قضية (منطق) رابطة منطقية جدول الحقيقة

منطق تحول	منطق الرتبة الأولى الكم (منطق) محمول (منطق) منطق الرتبة الثانية Monadic predicate calculus

نظرية المجموعات المبسطة	مجموعة (رياضيات) مجموعة خالية تعداد الماصدقية مجموعة منتهية مجموعة غير منتهية مجموعة جزئية مجموعة قوة مجموعة قابلة للعد مجموعة غير قابلة للعد مجموعة تكرارية مجال دالة مدى(رياضيات) تطبيق (رياضيات) دالة عملية ثنائية زوج مرتب

نظرية المجموعات	أسس الرياضيات Zermelo–Fraenkel set theory بديهية الاختيار نظرية المجموعات العامة Kripke–Platek set theory Von Neumann–Bernays–Gödel set theory نظرية مجموعة مورس-كيلي Tarski–Grothendieck set theory

نظرية النموذج	البنية (منطق رياضي) تأويل (منطق) Non-standard model نظرية نموذج تناهي قيمة الحقيقة صحة

نظرية البرهان	برهان فلسفي نظام شكلي نظام شكلي مبرهنة استتباع منطقي علاقات متناهية تركيب (منطق)

نظرية الحاسوبية	استدعاء ذاتي مدى(رياضيات) مجموعة مرقمة بشكل تراجعي مشكل القرار أطروحة تشرش-تورينغ دوال حسابية Primitive recursive function

مجلوبة من "https://ar.wikipedia.org/w/index.php?title=قالب:منطق_رياضي&oldid=41001710"

تصنيفات:

تصنيف مخفي:

صناديق تصفح ذات خلفيات ملونة