Theory of Computation
Area of Study
Taught In English
Course Level Recommendations
ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.
Host University Units4
Recommended U.S. Semester Credits3
Recommended U.S. Quarter Units0
Hours & Credits
Automata theory, Pushdown automata theory, Turing machine, Post machine, Post's theorem, Minsky's theorem; determinism and non-determinism; undecidability, the halting problem; recursive function theory.
To let the students understand theory of computer systems from the mathematics’ point of view and to define the computer and explain the definition. The course will start with building mathematical skills while simultaneously presenting the subject matter. Expecting that by the time the convoluted and intricate arguments of Turing theory arises the student’s level of mathematical sophistication is adequate to the task. Equal emphasis must be placed on what we know and why we know it.
Students are expected to attend all classes regularly. To qualify to sit for final examination a minimum of 80% attendance is a must.
Courses and course hours of instruction are subject to change.
Some courses may require additional fees.
Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.
Availability of courses is based on enrollment numbers. All students should seek pre-approval for alternate courses in the event of last minute class cancellations