คณิตศาสตร์เต็มหน่วยและทฤษฎีการคำนวน (Discrete Mathematics and Theory of Computation)
เซต ลำดับ และฟังก์ชั่น ตรรกศาสตร์ วิธีการพิสูจน์และอุปนัยทางคณิตศาสตร์ นิยามและขั้นตอนวิธีแบบเรียกซ้ำ วิธีการนับและความสัมพันธ์แบบปรากฏซ้ำ ออโตมาตาจำกัดและไวยากรณ์แบบปรกติ ออโตมาตาแบบกดลงและไวยากรณ์ไม่พึ่งบริบท เครื่องจักรทัวริงและการคำนวณได้ ปัญาที่ตัดสินไม่ได้