en | de

Berechenbarkeitstheorie

Masterstudium

VO2  SS 2012  703796

Beschreibung

The course provides an introduction to recursive function theory and lambda calculus, two important computational models.