Discrete Mathematics

المنطق الرياضي (Mathematical Logic): التعامل مع العبارات المنطقية، جداول الصواب والخطأ (Truth Tables)، وقوانين المنطق التي تمثل حجر الأساس في كتابة الجمل الشرطية (If-statements) في البرمجة.

نظرية المجموعات (Set Theory): العمليات الرياضية على المجموعات وتقاطعها واتحادها، وهي المفاهيم التي تبنى عليها قواعد البيانات (Databases) وأنظمة استرجاع المعلومات.

العلاقات والاقترانات (Relations and Functions): دراسة خصائص العلاقات وأنواع الدوال وتطبيقاتها المباشرة في ربط البيانات وتحليلها.

طرق البرهان الرياضي (Methods of Proof): تعلم كيفية التفكير المنطقي لإثبات صحة النظريات، وخاصة تقنية الاستقراء الرياضي (Mathematical Induction) المستخدمة لإثبات صحة عمل الخوارزميات.

أساسيات العد (Counting & Combinatorics): مبدأ العد الأساسي، التباديل (Permutations)، والتوافيق (Combinations)، وهي أدوات حاسمة لمعرفة عدد الاحتمالات الممكنة وحساب كفاءة الأكواد البرمجية.

نظرية المخططات والأشجار (Graph Theory & Trees): تمثيل الشبكات، مسارات الخرائط، وتخزين المعلومات، وهي العصب الرئيسي لفهم شبكات الحاسوب وهياكل البيانات.