This course introduces the students to the Theory of Computation.

By the end of this course, the students will be able to:

- Design Automaton

- Apply Mathematical concepts from Discrete Maths to proof computability and non-reduceable problems