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