الرياضيات المتقطعة لعلوم الحاسوب - المنطق ونظرية المجموعات

يُعنى هذا المساق بتقديم المفاهيم الأساسية في الرياضيات المتقطعة التي تشكل اللغة الرياضية الطبيعية للحوسبة. يبدأ بتعريف المنطق الاقتراحي والمنطق الكمي، مع تطوير القدرة على تحويل العبارات الطبيعية إلى تعبيرات دقيقة رسمية. يشمل المساق العمليات المنطقية، التكافؤ، المقاييس الكمية، وقواعد الاستنتاج لبناء وتحليل الأدلة الصارمة. يغطّي المساق أيضًا نظرية المجموعات والدوال التي تُستخدم لنمذجة البيانات وتجريدها في علوم الحاسوب، حيث يتناول العمليات على المجموعات، العلاقات، الدوال، والحجم، وعلاقتها الوثيقة بالاستدلال المنطقي.

• تطبيق تقنيات العد لحساب الإمكانيات في الخوارزميات وهياكل البيانات
• استخدام قواعد الاستنتاج وتقنيات البرهان للتحقق من صحة العبارات
• استخدام المجموعات، العلاقات، والدوال لتمثيل وتحليل التركيبات الحاسوبية

• مهارات أساسية في استخدام الحاسوب والإنترنت
• القدرة على قراءة تعليمات الدورة باللغة الإنجليزية وإتمام الأنشطة العملية القصيرة