انتقل إلى المحتوى
Topos Uranos
العربية

المستوى 1 · 28 دروس

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

النحو والاستنتاج والدلالة في حساب القضايا الكلاسيكي.

محتوى الدورة

الوحدة 0تقديم الدورة

  1. 01الخطة الدراسية لدورة المنطق الرياضي 1

الوحدة 1اللغة

  1. 02اللغة: مقدمة
  2. 03ما المنطق الرياضي
  3. 04لغة منطق القضايابحساب
  4. 05الاستقراء على الأعداد الطبيعية وعلى الصيغبحساب
  5. 06صورنة اللغة الطبيعيةبحساب
  6. 07اللغة: الخلاصة والتحدياتبحساب

الوحدة 2الاستنتاج

  1. 08الاستنتاج: مقدمةاشتراكبحساب
  2. 09الأنظمة الاستنتاجية الصوريةاشتراكبحساب
  3. 10أربع تقنيات للاستنتاجاشتراكبحساب
  4. 11تناظرات الروابطاشتراكبحساب
  5. 12تقنيات المنطق الكلاسيكياشتراكبحساب
  6. 13قوانين دي مورغان وقوانين التوزيعاشتراكبحساب
  7. 14الاستنتاج: الخلاصة والتحدياتاشتراكبحساب

الوحدة 3الدلالة

  1. 15الدلالة: مقدمةاشتراكبحساب
  2. 16دلالات منطق القضايااشتراكبحساب
  3. 17النتيجة الدلالية والتكافؤ الدلالياشتراكبحساب
  4. 18قوانين دي مورغان وقوانين التوزيع المعمّمةاشتراكبحساب
  5. 19التمام الوظيفياشتراكبحساب
  6. 20الأشكال الناظميةاشتراكبحساب
  7. 21خوارزمية الشكل الناظمي وتطبيقاتهااشتراكبحساب
  8. 22الدلالة: الخلاصة والتحدياتاشتراكبحساب

الوحدة 4ما وراء النظرية

  1. 23ما وراء النظرية: مقدمةاشتراكبحساب
  2. 24السلامة والتماماشتراكبحساب
  3. 25مبرهنة التراصاشتراكبحساب
  4. 26طريقة الحلّاشتراكبحساب
  5. 27ما وراء النظرية: الخلاصة والتحدياتاشتراكبحساب

الوحدة 5ختام الدورة

  1. 28الحصيلة النهائية لدورة المنطق الرياضي 1اشتراكبحساب