أهداف الورشة:
- الاطلاع الإجمالي على أبرز المسائل المطروحة في المنطق الرياضي والرمزي، وإثاراته النقدية على المنطق الصوري.
- معرفة أسياسيات القواعد المنطقيّة الرياضيّة وتطبيقاتها.
- إرشاد الطالب إلى أبرز المصادر والمراجع في المنطق الرياضي والرمزي.
مراحل الورشة:
- تعريف المنطق الرياضي والرمزي
- أهدافه
- إثاراته النقدية على المنطق الصوري
- أساسيّات قواعده
- تطبيقات