COMP4003
Theory of Computation 计算理论
Computer Science and Technology, Data Science · DST · Major Elective Courses · 3 Units
Course Descriptions
This course aims to introduce the fundamental concepts in theoretical computer science. Topics include deterministic and non-deterministic finite automata, regular languages, context-free languages, Turing machines, Church’s thesis, the halting problem, computability, and complexity. Also, the formal relationships between machines, languages and grammars are addressed.
Prerequisite
MATH2003 Discrete Structures
Workload
Workload not available
Modules
Modules not available
Overall Score
?/10
Quick Vote
Last updated: 5 years, 10 months ago
No record