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

ต้นไม้ แบะการแยกจำพวก (Tree and Sorting) ข่ายงาน(Network) พีชคณิตแบบบูล(George Boolean) และวงจรเชิงวิธีจัดหมู่ ออโตมาตา(Automata) ระบบเชิงพีชคณิต(Algebaiz Systems)

โพเซตและแลตทิซ(Poset and Lattice)