en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Computability Theory
overview
content
Computability Theory
master program
VO2 SS 2012
703796
Description
The course provides an introduction to recursive function theory and lambda calculus, two important computational models.