รายละเอียดของรายวิชา แบบ วช. 04 188 301 - ทฤษฎีการคำนวณ [Theory of Computation]   ปรับปรุงครั้งที่ 1           1. รหัสและชื่อวิชา     188 301 ทฤษฎีการคำนวณ Theory of Computation 3 (3-0-6)   2. จำนวนหน่วยกิต     3 หน่วยกิต(จำนวนชั่วโมงต่อสัปดาห์ บรรยาย 3 ชม. ปฏิบัติการ 0 ชม. ศึกษาด้วยตัวเอง 6 ชม.)   3. สังกัดวิชา     ภาควิชา/สาขาวิชา คอมพิวเตอร์ คณะวิศวกรรมศาสตร์   4. คำอธิบายรายวิชา(Course Description)     ทฤษฎีการคำนวณ พื้นฐาน แบบจำลองของการคำนวณ ออโตมาตาสถานะจำกัด และ ออโตมาตาแบบกดลง นิพจน์ปรกติ แคลคูลัสภาคแสดง ทฤษฎีภาษารูปนัย การสร้างไวยากรณ์ ตัวรู้จำ ความสัมพันธ์ระหว่างเครื่องและไวยากรณ์ ภาวะคำนวณได้ ฟังก์ชันเวียนเกิด เครื่องทัวริง Theory of computation: basics; model of computation: finite state automata and pushdown automata; regular expressions; predicate calculus; formal language theory: grammatical construction, recognizers, relationships between machines and grammars; computability; recursive functions; Turing machines.   5. เงื่อนไขของรายวิชา(Prerequisite)     มี 188110   6. ประเภทวิชา     เป็นวิชาเฉพาะ เป็นวิชาในกลุ่มวิชาชีพสำหรับหลักสูตรวิศวกรรมศาสตรบัณฑิต สาขาวิชาวิศวกรรมคอมพิวเตอร์ คณะวิศวกรรมศาสตร์ เป็น   7. ภาคการศึกษาที่เปิดสอน และปีการศึกษาที่จะเริ่มเปิดสอน     เปิดสอนประจำภาคการศึกษาต้นหรือ1 เริ่มตั้งแต่ปีการศึกษา 2550 เป็นต้นไป   8. อาจารย์ผู้สอน/อาจารย์ที่ปรึกษา     รศ.ดร. วนิดา แก่นอากาศ       เค้าโครงรายวิชา วช.05     หัวข้อ บรรยาย (จำนวน ชม.) ปฏิบัติ (จำนวน ชม.)     6.Recursive Functions 6 0     7.Turing Machines 6 0     4.Formal Language Theory 6 0     1.Theory of Computation 6 0     2.Model of Computation 9 0     3.Regular Expressions 6 0     5.Computability 6 0   รวม 45 0