Logic
VU 3 WS 2005/06 LVA 703600
Weekly Schedule
January 18
January 13
January 11
December 14
- no lecture
the material of the lecture will be presented on Wednesday, January 11, 2006;
a supplementary lecture will take place on Friday, January 13, 2006 at 4pm in HS 10 - exercises
1-up pdf solutions
December 7
November 30
November 23
November 16
- transparencies
2-up pdf 4-up pdf source tableauprover.pl - exercises
1-up pdf solutions
November 9
- transparencies (typos corrected)
2-up pdf 4-up pdf source normalform.pl - mid term test: November 16
- format: multiple-choise, closed-book
- content: weeks 1-4
- duration: 45 mins
- takes place on Wednesday and Thursday in the exercise groups