تخطي إلى المحتوى
  • الرئيسية
  • من نحن
  • الأسئلة الشائعة
  • سياسة الخصوصية
استفاقة
استفاقة
  • الرئيسية
  • من نحن
  • الأسئلة الشائعة
  • سياسة الخصوصية

منطق رياضي

  • الرئيسية
  • منطق رياضي
رياضيات, منطق رياضي, موسيقى, نظرية المجموعات

بديهية الاختيار (توضيح) (Axiom of Choice – Disambiguation)

أسس الرياضيات, جبر, منطق رياضي, نظرية النماذج

المنطق الجبري التجريدي (Abstract Algebraic Logic)

الذكاء الاصطناعي, رياضيات, علوم الحاسوب, منطق رياضي

الصيغة الذرية (Atomic Formula)

دليل المسافر إلى المجرة, علوم الحاسوب, لغات برمجة, منطق رياضي

أغدا (Agda)

أعداد ترتيبية, رياضيات, منطق رياضي, نظرية المجموعات

الأعداد الترتيبية المعدودة الكبيرة (Large Countable Ordinal)

رياضيات, منطق رياضي, نظرية المجموعات, نظرية رامزي

مبرهنة هالبرن-لاوشلي (Halpern–Läuchli theorem)

1 2 3 التالي ←

Copyright © 2025 استفاقة