|
CPSC 313 is a second-year course that is required for students in the
BSc, Honours BSc, and Minor programs in Computer Science at the
University of Calgary. Its calendar entry is as follows.
|
Computer Science 313
|
H(3-2T)
|
|
Introduction to Computability
Abstract machines; finite automata, push down automata, and Turing
machines. An introduction to formal languages; the heirarchy of
languages (regular, context-free, and recursive) recognized by
these machines; applications of these languages.
Prerequisites: Mathematics 271, one of
Philosophy 279 or 377, and one of Computer
Science 233 or 235.
|
You can learn a little more about these topics, as well as the goals
and organization of this course, by following the links from this
page.
[ Next ]
This page was most recently changed on Thursday, December 30, 2004 by
Wayne Eberly.
|
