About this blog

This weblog is part of the OpenCourseWare project of Delft University of Technology. We will inform you about updates of OCW-website and other interesting things around OpenCourseWare.

OCW Consortium

Visit other Opencourseware sites from around the world.


New course: Theory of Computation

TU Delft OpenCourseWare has published a new bachelor course of Computer Science: Theory of Computation

The description and the book are in English, the recorded lectures and slides however, are in Dutch

Theory of ComputationCourse Description: Computability Theory deals with one of the most fundamental questions in computer science:

What is computing and what are the limits of what a computer can compute?

Or, formulated differently: “What kind of problems can be algorithmically solved?” During the course this question will be studied. Firstly, the notion of algorithm or computing will be made precise by using the mathematical model of a Turing machine. Secondly, it will be shown that basic issues in computer science, like "Given a program P does it halt for any input x?" or "Given two program P and Q, are they equivalent?" cannot be solved by any Turing machine. This shows that there exist problems that are impossible to solve with a computer, the so-called "undecidable problems".

Be Sociable, Share!

    Comments are closed.

    © 2011 TU Delft