en | de

Logic

master program

VO2  WS 2010/2011  703501

News

third exam
canceled, see here
third exam
until October 13 nobody registered for the exam, hence I am going to cancel the exam if I am not informed by October 13, 23:59 that there are more than 2 candidates
time of third exam
online (see here)
time of second exam
online (see here)
errate for lecture notes
are online, see here
slides November 26
are online, see here
time of first exam
moved to 11am sharp (see here) upon vote in the lecture.
date, time, and room of first exam
is fixed, see here. To prevent an overlap with the (blocked) lecture on 'Ubiquitous Computing' the exam takes place earlier.
final problem set
is online, see here
slides November 19, 22
are online, see here
slides November 15 and homework sheets
are online, see here
problems
selected solutions are online, see here
lecture notes
are online (within the university network), see here
slides October 29
are online, see here
problem sets 1--3
are online, see here
slides October 25
are online, see here
slides October 22
are online, see here
slides October 18
are online, see here
slides October 6
are online, see here