|
|
|
1204305 | Theory of Computation |
| ทฤษฎีการคำนวณ |
| สังกัด | คณะวิทยาการสารสนเทศ, สาขาวิทยาการคอมพิวเตอร์ |
| หน่วยกิต | 3 (3-0-6) |
| สถานะรายวิชา: | ใช้งาน ข้อมูลเพิ่มเติมอื่นๆ | | เงื่อนไขรายวิชา: | 0201103 หรือ 0201103 |
|
![](images/common/line/horz_1.gif)
| 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. |
|