Course Detail
| Course Title | Computation Theory |
| Course Code | ICCS 310 |
| Credit | 4 |
| Semester Offered | 1, 2, 3 |
| Duration of Courses | |
| Degree | Undergraduate |
| Programme | Bachelor of Science in Computer Science (International Program) |
| Course Description | Context free grammar; finite state automata; Turing machine, Post machine, Post’s theorem, Minsky’s theorem; determinism and non-determinism; undecidability, the halting problem; recursive function theory. |
| Prerequisite | ICCS 101 and ICMA 242 |
| Other Description | |
| Language of Instruction |