Weekly Schedule for the Lectures, Exercises, Consultation Times
and Individual Help -- 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:
- Lec: Lectures.
- Ex: Exercise classes. The tutor will work on the
blackboard on a predefined set of exercises. Students are encourage
to try the exercises prior to the class in order to take the most
out of it. There will be two instances for the same
exercise class; you can choose the one that suits you best.
- CT: Consultation time (konsultationstid). Similar to the
exercise class, but those attending the consultation time decide on
what exercises we work with. We could even revise concepts or other
things which you need help with.
- IH: Individual help (frågastund). During this time you
have the opportunity to ask a concrete question about a particular
exercise you have problems with one-to-one to the teacher. This
requires you have already tried to solve the exercise and got stuck
in some way.
- MB: Main book of the course Introduction to
Automata Theory, Languages, and Computation.
- MCS: Mathematics
for Computer Science.
| Week 1 |
|
|
|
Monday 19 Mar
|
|
|
Lec, 13-15, HB3: Ana
Overview and organisation.
Slides-1 (pdf)
|
|
|
Tuesday 20 Mar
|
Lec, 10-12, HB3: Ana
Recap on logic, sets, relations and functions.
Slides-2 (pdf)
MCS: 3--4.
|
|
|
|
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.
Slides-3 (pdf)
MB: 1.2--1.4. MCS: 1, 5.
Notes
|
|
|
Friday 23 Mar
|
|
|
Lec, 13-15, HB3: Ana
Structural induction. Concepts of automata theory.
Slides-4 (pdf)
MCS: 5. MB: 1.
Notes
|
|
|
[top]
| Week 2 |
Assignment-1:
Formal proofs (pdf)
Deadline: 29 March 23:59
|
|
|
|
Monday 26 Mar
|
|
|
|
|
Lec, 13-15, HB3: Ana
DFA.
Slides-5 (pdf)
MB: 2--2.2.
|
Ex, 15-17, EA: Victor
Formal proofs, induction, ind sets, rec funcitons.
Exercises-1 (pdf)
(Same as in Tuesday.)
|
|
|
Tuesday 27 Mar
|
|
|
Ex, 10-12, EA: Andrea
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
|
|
|
|
|
[top]
| Week 3 |
Assignment-2:
DFA, NFA (pdf)
Deadline: 15 April 23:59
|
|
|
|
Monday 9 Apr
|
|
|
Lec, 13-15, HB3: Ana
NFA, subset construction.
Slides-6 (pdf)
MB: 2.3--2.3.5, brief on 2.4.
|
Ex, 15-17, EA: Victor
DFA, NFA.
Exercises-2 (pdf)
Some exercise for W4.
(Same as in Tuesday.)
|
|
|
Tuesday 10 Apr
|
Ex, 10-12, EA: Andrea
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.
Slides-7 (pdf)
MB: 2.3.6, 2.5--2.5.5.
|
|
|
|
[top]
| Week 4 |
Assignment-3:
e-NFA, RE (pdf)
Deadline: 22 April 23:59
|
|
|
|
|
|
|
Wednesday 18 Apr
|
|
|
|
|
CT, 15-17, EL41: Ana
|
|
|
Thursday 19 Apr
|
IH, 10-12, ES61: Andrea
|
Lec, 13-15, HB3: Ana
RE->FA, RL.
Slides-9 (pdf)
MB: 3.2.3, 3.4, 4--4.2.1. Notes.
|
|
|
|
[top]
| Week 5 |
Assignment-4:
RL (pdf)
Deadline: 29 April 23:59
|
|
|
|
|
|
|
Wednesday 25 Apr
|
|
|
|
|
CT, 15-17, EL41: Ana
|
|
|
|
|
[top]
| Week 6 |
|
|
|
|
|
|
|
Wednesday 2 May
|
|
|
|
|
CT, 15-17, EL41: Ana
|
|
|
Thursday 3 May
|
|
|
Lec, 13-15, HB3: Ana
CFG.
Slides-12 (pdf)
MB: 5.2.3--5.2.6, 5.4.
|
|
|
|
[top]
| Week 7 |
Assignment-5:
CFG (pdf)
Deadline: 13 May 23:59
|
|
|
|
|
|
|
Wednesday 9 May
|
|
|
CT, 13-15, EL41: Ana
|
IH, 15-17, EL41 : Ana
|
|
|
|
|
[top]
| Week 8 |
Assignment-6:
CFL (pdf)
Deadline: 20 May 23:59
|
|
|
|
|
|
|
Wednesday 16 May
|
|
|
|
|
CT, 15-17, EL41: Ana
|
|
|
Thursday 17 May
|
IH, 10-12, ES61: Ana
|
Lec, 13-15, HB3: Ana
PDA. TM.
Slides-15 (pdf)
MB: brief on 6, 8
|
|
|
|
[top]
| Week 9
|
Assignment-7:
TM (pdf)
Deadline: 25 May 23:59
|
|
|
|
|
|
|
Wednesday 23 May
|
|
|
|
|
CT, 15-17, EL41: Ana
|
|
|
|
|
[top]