Logic for Computer Scientists
These pages will be used starting in september 2007
Description
An introduction to Logic for computer scientists. Tought in the first semester of the first year in the Bachelor Computer Science curriculum at the University of Amsterdam.
When and where
Somewhere in the first semester of the academic year 2007-2008 starting in Oktober 2007.
Teachers
| Rein van den Boomgaard | rein AT science DOT uva DOT nl |
| tba |
Schedule
tba
Material
tba
Practical Course
tba
Exams
tba