خيارات التسجيل

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

لا يمكن للضيوف الوصول إلى هذا المقرر الدراسي. يرجى تسجيل الدخول.