Free University of Bozen-Bolzano
Faculty of Computer Science
Master of Science in Computer Science

Home page of the course
Theory of Computing

A.Y. 2007/2008

News

Objectives. The objective of the Theory of Computing course is to
introduce and study abstract, mathematical models of computation (such as
Turing machines, formal grammars, recursive functions), and to use the abstract
computation models to study the ability to solve computational problems, by
identifying both the intrinsic limitations of computing devices, and the
practical limitations due to limited availability of resources (time and
space). A second objective is to show how to reason and prove properties about
computations in a precise, formal, abstract way.

Prerequisites. There are no prerequisites in terms of courses to
attend. Students should be familiar with notions of mathematics and set theory,
and with basic proof techniques, as taught in the mathematics courses of a
bachelor in computer science.