المقياس: المنطق الرمزي، ليسانس السداسي - 4
تنبيه وتوضيح هام جداً: محتوى الدروس من رقم 03 إلى رقم 50 سيعرض من خلال الصور المرفقة والمنسوخة من سند بيداغوجي)أي من كتاب غير منشور في المنطق الرياضي( من تأليف أستاذ المقياس.
الدرس 03 : القضايا المركَّبة وقواعد دوال الصدق من الصفحة 13 إلى الصفحة 19
الدرس 04 : قاعدة استبدال دالة بأخرى، قاعدة التنقيط المنطقي وشجرة الصيغة ، قاعدة التمييز بين الصيغ التكرارية ، المتناقضة والعارضة من الصفحة 20 إلى الصفحة 23
الدرس 05 : تابع عرض وشرح القواعد الثلاث السابقة من الصفحة 23 إلى الصفحة 82 مع قائمة من الصيغ التكرارية في الأخير.
ونظراً لطول الدرس 03 وأهميته القصوى بالنسبة لنظرية حساب القضايا، ومن ورائها كافة النظريات الأخرى للمنطق الرياضي؛ فإننا سنكتفي في هذه المرة بإرسال هذا الدرس وتأجيل إرسال الدرسين الموالي ين لاحقا.ً وهذا، من أجل إعطاء المهلة الكافية لطلبتنا الأعزاء لفهمه واستيعابه.
وبعد إرسال الدروس الثلاثة )الثالث، الرابع، الخامس(؛ سنكلفهم بحل تمارين حول كل المفاهيم الأولية والقواعد الأساسية التي تتضمنها هذه الدروس. وهذا، مع ضرورة إعطاء الدرس ال 01 الأهمية التي يستحقها؛ حيث يق دم لوحة عامة عن التعريف بالمنطق الرياضي وبعوامل نشأته .
ومهما يكن، فالطلبة الأعزاء مدعوون للاتصال بنا، عبر البريد الإلكتروني الوارد أدناه أو في أوقات تواجدنا في الجامعة لطرح انشغالاتهم وللاستفسارعن أي ة مسألة من مسائل المنطق الرياضي مع تمنياتنا لهم بالتوفيق والنجاح.
أستاذ المقياس: أ.د/ عبد القادر عدالة
abdelkader.adala@univ-mascara.dz
- Teacher: adala abdelkader