Schedule of Classes

The course is organized around the following themes:

Weeks 1-4 Weeks 5-7 Weeks 8-10 Weeks 11-14
Inductive definitions Functions Beyond induction Languages and Computation

In this course, there will be two types of lectures:

At a glance ...



© 2011 Iliano Cervesato