CSC3415 Theory of Computation

In this introduction to theoretical computer science and analysis of discrete mathematical structures that find application in computer science, topics may include predicate calculus, groups, coding theory, graphs, trees, formal languages, grammars, finite state automata, Turing machines and complexity theory.