Date
|
Time
|
Place
|
Link
|
Exercises
|
Remark
|
4.9.2007 (Tue)
|
12:30-15:00
|
0.2.11
|
Lecture 1
|
No exercises this time.
|
|
6.9.2007 (Thu)
|
12:30-16:15
|
0.2.11
|
Lecture 2
|
Ex 1.1 and Ex. 1.6 (a. b. g. i. m. n.)
|
Hand-in Ex. 1.6. d.
|
13.9.2007 (Thu)
|
12:30-16:15
|
0.2.13
|
Lecture 3
|
Ex. 1.4 b., 1.5 g., 1.7 b.c., 1.16, 1.11, (1.14)
|
Hand-in Ex. 1.17 a. b.
|
18.9.2007 (Tue)
|
12:30-16:15
|
0.2.11
|
Lecture 4
|
Ex. 1.7.e., 1.19 a.b.c.g., 1.20 a.b.d.j., 1.18 b., 1.21 b., (1.23)
|
|
25.9.2007 (Tue)
|
12:30-16:15
|
0.2.12
|
Lecture 5
|
Ex. 1.29 a.b., 1.46 d.b.
|
Hand-in Ex. 1.46 a.
|
2.10.2007 (Tue)
|
12:30-16:15
|
0.2.11
|
Lecture 6
|
Ex. 2.1, 2.4, 2.14, 2.10
|
|
9.10.2007 (Tue)
|
12:30-16:15
|
0.2.12
|
Lecture 7
|
Ex. 2.9, 2.17, 2.15, (2.16)
|
Hand-in Ex. 2.6 d.
|
23.10.2007 (Tue)
|
12:30-16:15
|
0.2.12
|
Lecture 8
|
Ex. 2.5 b. e., 2.7 a., 2.2, 2.30 b.
|
|
6.11.2007 (Tue)
|
12:30-16:15
|
0.2.12
|
Lecture 9
|
Ex. 3.2 c.d., 3.1 b., 3.5, 3.8 a., 0*0+1*1
|
|
15.11.2007 (Thu)
|
12:30-16:15
|
0.2.12
|
Lecture 10
|
Ex. 3.7, 3.8 b.c., 3.9, 3.12*, TEST
|
|
20.11.2007 (Tue)
|
12:30-16:15
|
0.2.12
|
Lecture 11
|
Ex. 4.1 a.b.c.e., 4.3, 4.4
|
Hand-in Ex. 4.11
|
27.11.2007 (Tue)
|
12:30-16:15
|
0.2.11
|
Lecture 12
|
Reduce HALTTM to ETM and
HALTTM to ATM, Ex. 5.10
|
Hand-in Ex. 5.9
|
29.11.2007 (Thu)
|
12:30-16:15
|
0.2.11
|
Lecture 13
|
TEST, Ex. 5.6, 5.5, 5.7, 5.13
|
Hand-in Ex. 5.4
|
4.12.2007 (Tue)
|
12:30-16:15
|
0.2.11
|
Lecture 14
|
TEST, Ex. 7.1, 7.2, 7.6, 7.14, every reg.lang. is in P
|
|
6.12.2007 (Thu)
|
12:30-16:15
|
0.2.11
|
Lecture 15
|
TEST, Ex. 7.7, 7.15, 7.9
|
|
25.1.2007 (Fri)
|
12:30 - ?
|
0.2.12
|
Spørgetime
|
Please, send questions by email 24 hours before the meeting.
|
|