Computer Science 511/611 — Deterministic Time

Turing machine

Deterministic Time

Overview

Initial lectures introduce a version of the model of computation that will be used in much of this course — a Turing machine — along with the use of simulations to compare the computational power of different machine models. They also introduce properties of deterministic computation, and deterministic time-complexity classes, that will be used throughout the course.

The notions of reductions are then introduced. While these can be presented using the infomrmation about deterministic computation that has been provided so far, these will be used throughout most of the rest of this course.

Quite a bit of this material has already been introduced in the computer science program — notably, in CPSC 313 and CPSC 413. CPSC 511/611 will provide additional detail and will include more advanced material that is generally not covered in these prerequisite courses.

Lecture #2: Deterministic Time (Part One)

Lecture #3: Deterministic Time (Part Two)

Activity #1: Deterministic Turing Machines and Simulations

Reading Exercise #1: A Better Simulation

Lecture #4: Deterministic Time (Part Three)

Reading Exercise #2: A Review of the Diagonalization Method

Lecture #5: Deterministic Time (Part Four)

Activity #2: More about Deterministic Time

Lecture #6: Reductions and Reducibilities

Reading Exercise #3: Oracle Reducibility

Assignment #1: Deterministic Computation and the Cobham-Edmonds Thesis


University of Calgary Extension of Logo
Department of Computer Science

cpsc 511/611 computer science faculty of science u of c

CPSC 511/611 introduction deterministic time nondeterministic time space-bounded computation circuits probabilistic computation other topics assignments tests project