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