الموضوعات التي يناولها هذا المساق هي: نظرية المجموعات والبيانات والاستقراء الرياضي، والمنطق بالاسناد و الاقتراح ، الجبر البولي، والعلاقات، الوظائف، وطرق العد، نظرية المخططات والعلاقات و التكرار وبأمثلة تنطبق على علوم الحاسب الآلي.