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