เพื่อให้นักศึกษามีความรู้ ความเข้าใจเกี่ยวกับหลักการเกี่ยวกับฟังก์ชัน ความสัมพันธ์และเซต ลอจิกพื้นฐาน เทคนิคการพิสูจน์ การคำนวณพื้นฐาน กราฟ ต้นไม้ ความน่าจะเป็นอย่างไม่ต่อเนื่อง ความสัมพันธ์แบบเวียนเกิด ทฤษฎีกราฟ ต้นไม้ และการแยกจำพวก (Tree and Sorting) ข่ายงาน (Networks) พีชคณิตแบบบลู (George Boolean) และวงจรเชิงวิธีจัดหมู่ ออโตเมตา (Automata) ระบบเชิงพีชคณิต (Algebraic Systems) โพเชตและแลตทิช (Poset and Lattice)