ระบบฐานข้อมูลหลักสูตร มหาวิทยาลัยขอนแก่น :: รายละเอียด 237251 ทฤษฎีการคำนวณทางคอมพิวเตอร์

รายละเอียดของรายวิชา แบบ วช. 04

237 251 - ทฤษฎีการคำนวณทางคอมพิวเตอร์ [Theory of Computing for Computer]

ปรับปรุงครั้งที่ 1

1. รหัสและชื่อวิชา

237 251

ทฤษฎีการคำนวณทางคอมพิวเตอร์

Theory of Computing for Computer

3 (3-0-3)

2. จำนวนหน่วยกิต

3 หน่วยกิต(จำนวนชั่วโมงต่อสัปดาห์ บรรยาย 3 ชม. ปฏิบัติการ 0 ชม. ศึกษาด้วยตัวเอง 3 ชม.)

3. สังกัดวิชา

ภาควิชา/สาขาวิชา การมัธยมศึกษา

คณะศึกษาศาสตร์

4. คำอธิบายรายวิชา(Course Description)

คณิตศาสตร์และสัญลักษณ์ที่เกี่ยวข้อง แนวคิดพื้นฐานของภาษา ไวยากรณ์ ออโตมาตา ไฟไนท์ออโตมาตา ภาษาปกติ ไวยากรณ์ปกติ นิพจน์ปกติ วิธีปั้มปิ้งเลมมาสำหรับภาษาปกติ ภาษาไม่พึ่งบริบท ไวยากรณ์ไม่พึ่งบริบท การแปลงไวยากรณ์ ออโตมาตาแบบกดลง เครื่องทัวริ่ง ข้อจำกัดของการคำนวณแบบขั้นตอนวิธี

Mathematical preliminaries, notation, and basic concepts languages, grammar, automata, finite automata; regular languages, regular grammars, regular expressions, pumping lemma for regular languages, context-free languages, context-free grammar, pumping lemma for context-free languages, transforming grammar, pushdown automata, Turing machine, limits of algorithmic computation.

5. เงื่อนไขของรายวิชา(Prerequisite)

ไม่มี

6. ประเภทวิชา

เป็น เป็นวิชาบังคับสำหรับหลักสูตรศึกษาบัณฑิต สาขาคอมพิวเตอร์ศึกษา คณะศึกษาศาสตร์
เป็น

7. ภาคการศึกษาที่เปิดสอน และปีการศึกษาที่จะเริ่มเปิดสอน

เปิดสอนประจำภาคการศึกษาต้นหรือ1และภาคการศึกษาปลายหรือ2 เริ่มตั้งแต่ปีการศึกษา 2548 เป็นต้นไป

8. อาจารย์ผู้สอน/อาจารย์ที่ปรึกษา

อ.ดร. ชาญณรงค์ เฮียงราช



หัวข้อ	บรรยาย (จำนวน ชม.)	ปฏิบัติ (จำนวน ชม.)
1. คณิตศาสตร์และสัญลักษณ์ที่เกี่ยวข้อง	4	0
2. แนวคิดพื้นฐานของภาษา	4	0
3. ไวยกรณ์ ออโตมาตา ไฟโนท์ออโตมาตา	4	0
4. ภาษาปกติ ไวยกรณ์ปกติ นิพจน์ปกติ	4	0
5. วิธีปั้มปิ้งเลมมาสำหรับภาษาปกติ	4	0
6. ภาษาไม่พึ่งบริบท	5	0
7. ไวยกรณ์ไม่พึ่งบริบท	5	0
8. การแปลงไวยกรณ? ออโตมาตาแบบกดลง	5	0
9. เครื่องทัวริ่ง	5	0
10. ข้อจำกัดของการคำนวณแบบขั้นตอนวิธี	5	0
รวม	45	0