Weekly Schedule for the Lectures, Exercises and Consultation Times

Weekly Schedule during VT18

[ Week 1 | Week 2 | Week 3 | Week 4 | Week 5 | Week 6 | Week 7 | Week 8 | Week 9 ]

Note: Below is a tentative schedule for lectures and excersise session. The content of each lecture and excersise session, or the deadline for assignments will be updated during the running of the course to take possible deviations into account.

See link at Time Edit for the up-to-date schedule during VT18.

Terminology:


Week 1
Monday 19 Mar
Lec, 13-15, HB3: Ana
Overview and organisation.
Tuesday 20 Mar
Lec, 10-12, HB3: Ana
Recap on logic, sets, relations and functions.
MCS: 3--4.
Wednesday 21 Mar
Thursday 22 Mar
Ex, 10-12, HC3: Ana
Logic, sets, relations and functions.
Recap Exercises (pdf)
Lec, 13-15, HB3: Ana
Formal proofs. Induction over N. Ind sets. Rec functions.
MB: 1.2--1.4. MCS: 1, 5.
Friday 23 Mar
Lec, 13-15, HB3: Ana
Structural induction. Concepts of automata theory.
MCS: 5. MB: 1.

[top]

Week 2 Assignment-1: Formal proofs     Deadline: 29 March 23:59
Monday 26 Mar
Lec, 13-15, HB3: Ana
DFA.
MB: 2--2.2.
Ex, 15-17, EA:
Formal proofs, induction, ind sets, rec funcitons.
Exercises-1 (pdf)
(Same as in Tuesday.)
Tuesday 27 Mar
Ex, 10-12, EA:
Formal proofs, induction, ind sets, rec funcitons.
Exercises-1 (pdf)
(Same as in Monday.)
Wednesday 28 Mar
IH, 8-10, ES51: Ana

CT, 15-17, EL41: Ana

Thursday 29 Mar
Friday 30 Mar

[top]

Week 3 Assignment-2: DFA, NFA     Deadline: 15 April 23:59
Monday 9 Apr
Lec, 13-15, HB3: Ana
NFA, subset construction.
MB: 2.3--2.3.5, brief on 2.4.
Ex, 15-17, EA:
DFA, NFA.
Exercises-2 (pdf)
Some exercise for W4.
(Same as in Tuesday.)
Tuesday 10 Apr
Ex, 10-12, EA:
DFA, NFA.
Exercises-2 (pdf)
Some exercise for W4.
(Same as in Monday.)
Wednesday 11 Apr
CT, 15-17, EL41: Ana

Thursday 12 Apr
IH, 10-12, EL41: Ana

Lec, 13-15, HB3: Ana
NFA, e-NFA.
MB: 2.3.6, 2.5--2.5.5.
Friday 13 Apr

[top]

Week 4 Assignment-3: e-NFA, RE     Deadline: 22 April 23:59
Monday 16 Apr
Lec, 13-15, HB3: Ana
RE, FA->RE.
MB: 3.1, 3.4, 3.2.2.
Ex, 15-17, EA:
e-NFA, RE.
Exercises-2 (pdf)
Exercises-3 (pdf)
(Same as in Thursday.)
Tuesday 17 Apr
Ex, 10-12, EB:
e-NFA, RE.
Exercises-2 (pdf)
Exercises-3 (pdf)
(Same as in Wednesday.)
Wednesday 18 Apr
CT, 15-17, EL41: Ana

Thursday 20 Apr
IH, 10-12, ES61: Ana

Lec, 13-15, HB3: Ana
RE->FA, RL.
MB: 3.2.3, 4--4.2.1
Friday 21 Apr

[top]

Week 5 Assignment-4: RL     Deadline: 29 April 23:59
Monday 23 Apr
Lec, 13-15, HB3: Ana
RL.
MB: 4.3--4.4.
Ex, 15-17, EA: Marco
RL.
Exercises-4 (pdf)
(Same as in Tuesday.)
Tuesday 24 Apr
Ex, 10-12, EA: Marco
RL.
Exercises-4 (pdf)
(Same as in Thursday.)
Wednesday 25 Apr
CT, 15-17, EL41: Ana

Thursday 26 Apr
IH, 10-12, ES61: Ana

Lec, 13-15, HB3: Ana
CFG.
MB: 5--5.2.2.
Friday 27 Apr

[top]

Week 6
Monday 30 Apr
Tuesday 1 May
Wednesday 2 May
CT, 15-17, EL41: Ana

Thursday 3 May
Lec, 13-15, HB3: Ana
CFG.
MB: 5.2.3--5.2.6, 5.4.
Friday 4 May

[top]

Week 7 Assignment-5: CFG     Deadline: 13 May 23:59
Monday 7 May
Lec, 13-15, HB3: Ana
CFL.
MB: 7--7.2.
Ex, 15-17, EA: Daniel
CFG.
Exercises-5 (pdf)
(Same as in Tuesday.)
Tuesday 8 May
Ex, 10-12, EA: Marco
CFG.
Exercises-5 (pdf)
(Same as in Monday.)
Wednesday 9 May
CT, 13-15, EL41: Ana

IH, 15-17, EL41 : Ana

Thursday 10 May
Friday 11 May

[top]

Week 8 Assignment-6: CFL     Deadline: 20 May 23:59
Monday 14 May
Lec, 13-15, HB3: Ana
CFL. Guest lecture
MB: 7.3-7.4.
Ex, 15-17, EA:
CFL.
Exercises-6 (pdf)
(Same as in Tuesday.)
Tuesday 15 May
Ex, 10-12, EA:
CFL.
Exercises-6 (pdf)
(Same as in Monday.)
Wednesday 16 May
CT, 15-17, EL41: Ana

Thursday 17 May
IH, 10-12, ES61: Ana

Lec, 13-15, HB3: Ana
PDA. TM.
MB: brief on 6, 8
Friday 18 May

[top]

Week 9 Assignment-7: TM     Deadline: 25 May 23:59
Monday 21 May
Lec, 13-15, HB3: Ana
TM. Summary.
MB: 8.
Ex, 15-17, EA:
TM.
Exercises-7 (pdf)
(Same as in Tuesday.)
Tuesday 22 May
Ex, 10-12, EA:
TM.
Exercises-7 (pdf)
(Same as in Monday.)
Wednesday 23 May
CT, 15-17, EL41: Ana

Thursday 24 May
IH, 10-12, ES53: Ana

Lec, 13-15, HB3: Ana
Exam-130528 (pdf)
Exam-130821 (pdf)
Exam-160601 (pdf)
Exam-160817 (pdf)
Friday 25 May

[top]