พีชคณิตบูลีนและการประยุกต์ ระบบตรรกศาสตร์และระบบเซต อันดับและการแจงนับ เทคนิคการนับ ความสัมพันธ์เวียนเกิด ความซับซ้อนของขั้นตอนวิธี โครงสร้างเชิงกราฟและการประยุกต์ ออโตมาตาจำกัด