เซต วิธีการนับ ความสัมพันธ์และฟังก์ชัน ตรรกศาสตร์ วิธีการพิสูจน์และอุปนัยวิธีทางคณิตศาสตร์ ความน่าจะเป็นแบบไม่ต่อเนื่อง ความสัมพันธ์เวียนเกิด ฟังก์ชันก่อกำเนิด ทฤษฎีจำนวน อัลกอริทึม กราฟและต้นไม้ การโมเดลเชิงคำนวณ เน้นการประยุกต์ใช้ในสาขาวิทยาการคอมพิวเตอร์