Mathematical Logic

Section outline

• Select section بطاقة تعريفية

  Collapse Expand

  بطاقة تعريفية

  Collapse all Expand all

  جامعة محمد خيضر-بسكرة

  كلية العلوم الإنسانية والاجتماعية

  شعبة الفلسفة، المستوى: السنة الأولى ماستر فلسفة عامة 
  

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

  طبيعة المقياس: محاضرة، مدة المقياس: ساعة ونصف

  وحدة التعليم: الاستكشافية

  المادة: المنطق الرياضي

  الرصيد01  
  

  المعامل     01
  

  الأستاذ: جمال الدين بن سليمان

  • • Collapse Expand

      الأهداف التعليمية

      أهداف التعليم (وصف ما يفترض قد توصل إليه الطالب من كفاءات ومعارف بعد نجاحه في هذه المادة.)

      ـ معرفة طبيعة التفكير المنطقي الرياضي

      ـ تطوير ملكة الحكم المنطقي لدى الطالب

      ـ التدريب على صياغة الاحكام النقدية

      ـ نقد النصوص الفلسفية باستعمال اللغة الرمزية

      المعارف المسبقة المطلوبة (وصف للمعارف المتحصل عليها الطالب مسبقا من أجل المتابعة في هذا التعليم.

      ـ الاطلاع على المنطق الصوري والتحكم في مفاهيم واستدلالات هذا المنطق
  • • Collapse Expand

      Mind Map

      

      • Select activity Grneral Mind Map

        

        Grneral Mind Map Mindmap
  • • Collapse Expand

      محتوى المادة

      1ـ مدخل الى المنطق الرياض ي (التعريف، النشأة، الخصائص...)

      2ـ الأنساق المنطقية الرياضية

      ـ مفهوم نسق المنطق الرياضي

      ـ نماذج من الأنساق المنطقية

      3ـ الحساب الكلاسيكي للقضايا

      تعريف القضايا 

      القضايا البسيطة والمركبة 
      

      إحصاء الروابط المنطقية

      النفي والنفي المضاعف، القاعدة وجدول الصدق

      الوصل، القاعدة وجدول صدق الوصل

      خصائص الوصل؛ تبديلي، تجميعي، وخاصية تكافؤ القوى

      الفصل، قاعدته وجدول صدقه 
      

      خصائص الفصل؛ تبديلي، تجميعي، وخاصية تكافؤ القوى
      

      قانون ديمورغان 
      

      الشرط، قاعدته وجدول صدقه 

      التشارط، قاعدته وجدول صدقه 
      

      مدى أو طول أو مجال الرابط القضوي 
      

      الحساب الكلاسيكي للقضايا 
      

      التعريف، النشأة والتطور 
      

      الأبجدية 
      

      خطوات التحليل 
      

      أمثلة تطبيقية

      طريقة جداول الصدق المحتصرة

      أمثلة وتطبيقات

      التحليل الشجيري 
      

      أمثلة وتطبيقات
  • Select activity الاطلاع على مجموعة المراجع التالية

    

    الاطلاع على مجموعة المراجع التالية Forum
  • Select activity المنطق وتاريخه من أرسطو حتى راسل

    

    المنطق وتاريخه من أرسطو حتى راسل File
  • Select activity اصول المنطق الرياضي

    

    اصول المنطق الرياضي File
  • Select activity المنطق الرمزي المعاصر

    

    المنطق الرمزي المعاصر File
• Select section مدخل الى المنطق الرياضي

  Collapse Expand

  مدخل الى المنطق الرياضي

  (التعريف، النشأة، الخصائص...)

  • Select activity مدخل للمنطق الرياضي

    

    مدخل للمنطق الرياضي File
• Select section المحاضرة الأولى

  Collapse Expand

  المحاضرة الأولى

  مدخل مفاهيم لاساسيات منطق الرياضي والفرق بينه وبين المنطق الرمزي وكذا فلسفه المنطق الرياضي مع مراعاه تطوره التاريخي ثم بدايه التدرج في تقديم تصورات النسق انطلاقا من القضيه انواع القضايا الروابط قوانين الروابط قواعده وخصائصها.

  • Select activity المحاضرة الأولى

    

    المحاضرة الأولى URL

    حصة تفاعلية

• Select section المحاضرة الثانية

  Collapse Expand

  المحاضرة الثانية

   حصه تفاعليه حول الروابط المنطقيه وعمليه احصائها اي بتقديمها تعريفها وتقديم قواعدها وجداول الصدق لكل رابط

  • Select activity حصة تفاعلية

    

    حصة تفاعلية URL
• Select section المحاضرة الثالثة

  Collapse Expand

  المحاضرة الثالثة

  • Select activity محاضرة حول الروابط المنطقية

    

    محاضرة حول الروابط المنطقية File
• Select section المحاضرة الرابعة

  Collapse Expand

  المحاضرة الرابعة

  • Select activity الحساب الكلاسيكي للقضايا

    

    الحساب الكلاسيكي للقضايا File
• Select section المحاضرة الخامسة

  Collapse Expand

  المحاضرة الخامسة

  • Select activity حصة تفاعلية

    

    حصة تفاعلية URL
• Select section المحاضرة السادسة

  Collapse Expand

  المحاضرة السادسة

  • Select activity تمارين وتطبيقات

    

    تمارين وتطبيقات File
• Select section المحاضرة السابعة

  Collapse Expand

  المحاضرة السابعة

  جداول الصدق المختصرة

  • Select activity حصة تفاعلية

    

    حصة تفاعلية URL
• Select section المحاضرة الثامنة

  Collapse Expand

  المحاضرة الثامنة

  جداول الصدق المختصرة

  • Select activity حصة تفاعلية

    

    حصة تفاعلية URL
• Select section المحاضرة التاسعة

  Collapse Expand

  المحاضرة التاسعة

  التحليل الشجيري