1204305Theory of Computation
ทฤษฎีการคำนวณ
สังกัดคณะวิทยาการสารสนเทศ, สาขาวิทยาการคอมพิวเตอร์
หน่วยกิต3 (3-0-6)
สถานะรายวิชา:ใช้งาน  ข้อมูลเพิ่มเติมอื่นๆ
เงื่อนไขรายวิชา: 0201103 หรือ
0201103

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.
 
    คำแนะนำ :
นายอภิชัย ชาญศิริรัตนา (diskko@hotmail.com)
นายวรพจน์ วัตถุสินธ์(woraphot.wat@msu.ac.th)
เว็ปไซด์กองทะเบียนและประมวลผล http://regpr.msu.ac.th
MSU-SERVER1-215