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