يشتمل المقرر على نظامين:
- Proposition Logic المنطق الاقتراحي
(statements, connective, conditional, negation)
- Predicate Logic المنطق الإسنادي
(quantifier, occurrence, and free variables)
يبدأ المقرر باستعراض المفاهيم الأساسية لنظرية المجموعة والدوال والعلاقات. سيتم التركيز على أنواع الإثبات (المباشر، العكسي، التناقض، بالمثال المضاد والوجودي). بالإضافة إلى ذلك، يغطي المقرر تقنيات الإثبات الأخرى المفيدة في علوم الحاسب مثل الحث الرياضي.
Course ID: MATH 401
الساعات المعتمدة | نظري | عملي | مختبرات | محاضرة | ستوديو | ساعات الاتصال | المتطلبات السابقة | 3 | 3 | 3 | MATH 301 |
---|