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