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 and the basis of a few theories that attempt to explain everything in our universe. In this course, we will explore why the current generation of computing hardware is designed the way it is, the constraints it imposes on artificial intelligence based on this hardware 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, 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