en
|
de
Department of Computer Science
University of Innsbruck
Home
Research
Teaching
Members
Events
News
Teaching
lectures
bachelor projects
master projects
software
Logic
introduction
feedback
registration
lecturers
time & place
schedule
evaluation
material
Logic
master program
VO2 WS 2008/2009
703501
Schedule
January 15
Isabelle Frenzy in Rechnerraum 15
Worksheet
1-up
pdf
January 8
Slides
2-up
pdf
4-up
pdf
December 11
Slides
2-up
pdf
4-up
pdf
December 4
Slides (typos corrected)
2-up
pdf
4-up
pdf
Homework
1-up
pdf
seletected solutions
November 27
Slides (shortened and typos corrected)
2-up
pdf
4-up
pdf
November 20
Slides (typos corrected)
2-up
pdf
4-up
pdf
Nomember 13
Slides
2-up
pdf
4-up
pdf
Homework
1-up
pdf
November 6
Slides
2-up
pdf
4-up
pdf
October 30
Slides
2-up
pdf
4-up
pdf
Homework
1-up
pdf
October 23
Slides
2-up
pdf
4-up
pdf
Homework
1-up
pdf
October 16
Slides
2-up
pdf
4-up
pdf
October 9
Slides (typos corrected)
2-up
pdf
4-up
pdf
Homework
1-up
pdf
October 2
Slides
2-up
pdf
4-up
pdf
Homework
no homework (yet)