|
Course Description วิธีการพื้นฐานทางคณิตศาสตร์ เช่น วิธีการพิสูจน์ เซตและความสัมพันธ์ เป็นต้นศึกษาเกี่ยวกับเซ็ตแบบเรกูลาร์ ภาษาแบบเรกูลาร์และแบบไม่เรกูลาร์ เครื่องเชิงกำหนด และเชิงไม่กำหนด เครื่องจักรสถานะจำกัด และการคำนวณแบบเรียงลำดับ ออกตอมาตาแบบลดลง เครื่องจักรทัวริง แบบยืนเชิร์ช-ทัวริง การคำนวณได้ และการคำนวณไม่ได้ ตัวอย่างการหยุด ตัวอย่างปัญหาการจัดประเภทอัลกอริธึมเป็นแบบพีหรือเอ็นพี Introduces the mathematical notation and techniques, such as proof techniques, set and relations etc. This course covers Regular sets, Regular and Non-Regular Languages, Deterministic and Non-Deterministic Machine, Finite Automata Machine, Context-Free Languages and Pushdown Automata, Turing Machines, Church-Turing Thesis, Unsolvable Problems and Computable Functions, Halting problems, P and NP family problems. |