Current course offerings

Please Note: Course profiles marked as not available may still be in development.

Course description

The concept of computation is one of the central ideas in computer science. In this course, we will explore why the current generation of computing hardware is designed the way it is and show that computation is possible outside the natural realm of computers we have today. The course will introduce the grand unified theory of computation based on Turing machines, recursive functions, Lambda calculus and cellular automation. It will present the Church-Turing thesis to show that all these models are all equivalent. The theory of computation based on Turing machines will also include an introduction to finite state machines and their role in constructing regular languages. The course will also briefly introduce quantum computation and its applications. The necessary mathematical preliminaries in will be covered during the course.

Archived offerings