Formal Methods and Computability

วิธีฟอร์มอลและภาวะคำนวณได้

4(4-0-8)

วิชาบังคับก่อน : ไม่มี

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

ผลลัพธ์การเรียนรู้ที่คาดหวังระดับรายวิชา

ผู้เรียนจะได้เรียนรู้หลักการของออโตเมตาและทฤษฎีการคำนวณเบื้องต้น สามารถออกแบบออโตเมตาได้ แยกแยะความหมายของปัญหาการตัดสินใจที่มีคำตอบและไม่มีคำตอบได้อย่างถูกต้อง

 

Formal Methods and Computability

4(4-0-8)

Prerequisite : none

Formal languages and automata, classes of formal languages, solvable and unsolvable problems, computing problems, basic computability theory, computing algorithms, distributed algorithms

Course Learning Outcomes (CLOs)

Students can explain the concepts of automata and basic theory of computation. Students can design correctly the automata and can differentiate between solvable and unsolvable problems.