Weekly Schedule for the Lectures, Exercises and Consultation Times
Weekly Schedule during VT17
[ 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 VT17.
Terminology:
- Lec: Lectures.
- Ex: Exercise classes. We work with all attending the
class with a predefined set of
exercises. There will be two instances for
the same set of exercises. 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). This is a one-to-one
consultation time where you have the opportunity to ask a concrete
question about a particular exercise you have problems with. 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 20 Mar
|
|
Lec, 13-15, HB3: Ana
Overview and organisation.
Slides-1 (pdf)
|
|
Tuesday 21 Mar
|
Lec, 10-12, HB3: Ana
Recap on logic, sets, relations and functions.
Slides-2 (pdf)
MCS: 3--4.
|
|
|
Thursday 23 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.
|
|
Friday 24 Mar
|
|
Lec, 13-15, HB3: Ana
Structural induction. Concepts of automata theory.
Slides-4 (pdf)
MCS: 5. MB: 1.
|
|
|
[top]
Week 2 |
Assignment-1:
Formal proofs (pdf)
Deadline: 2 April 23:59
|
|
|
Monday 27 Mar
|
|
Lec, 13-15, HB3: Ana
DFA.
Slides-5 (pdf)
MB: 2--2.2.
|
Ex, 15-17, EC: Andrea
Formal proofs, induction, ind sets, rec funcitons.
Exercises-1 (pdf)
(Same as in Tuesday.)
|
|
Tuesday 28 Mar
|
Ex, 10-12, EA: Victor
Formal proofs, induction, ind sets, rec funcitons.
Exercises-1 (pdf)
(Same as in Monday.)
|
|
Wednesday 29 Mar
|
|
|
CT, 15-17, EL41: Ana
|
|
Thursday 30 Mar
|
IH, 10-12, 6213-6215: Andrea/Ana
|
Lec, 13-15, HB3: Ana
NFA, subset construction.
Slides-6 (pdf)
MB: 2.3--2.3.5, brief on 2.4.
|
|
|
|
[top]
Week 3 |
Assignment-2:
DFA, NFA (pdf)
Deadline: 9 April 23:59
|
|
|
Monday 3 Apr
|
|
|
Lec, 13-15, HB3: Ana
NFA, e-NFA.
Slides-7 (pdf)
MB: 2.3.6, 2.5--2.5.5.
|
Ex, 15-17, EA: Daniel
DFA, NFA.
Exercises-2 (pdf)
Some exercise for W4.
(Same as in Tuesday.)
|
|
Tuesday 4 Apr
|
|
Ex, 10-12, EA: Marco
DFA, NFA.
Exercises-2 (pdf)
Some exercise for W4.
(Same as in Monday.)
|
|
Wednesday 5 Apr
|
|
|
|
CT, 15-17, EL41: Ana
|
|
Thursday 6 Apr
|
|
|
Lec, 13-15, HB3: Ana
RE, FA->RE.
Slides-8 (pdf)
MB: 3.1, 3.4, 3.2.2.
|
|
Friday 7 Apr
|
IH, 8-10, EL43: Marco
|
|
|
[top]
Week 4 |
|
|
|
|
|
|
Friday 21 Apr
|
|
CT, 13-15, EL41: Ana
|
|
|
[top]
Week 5 |
Assignment-3:
e-NFA, RE (pdf)
Deadline: 25 April 23:59
|
|
|
Monday 24 Apr
|
|
Lec, 13-15, HB3: Ana
RL.
Slides-10 (pdf)
MB: 4.3--4.4.
|
IH, 15-17, 6213-6215: Andrea/Ana
|
|
|
Wednesday 26 Apr
|
|
|
CT, 15-17, EL41: Ana
|
|
|
|
|
[top]
Week 6 |
Assignment-4:
RL (pdf)
Deadline: 3 May 23:59
|
|
|
|
Tuesday 2 May
|
IH, 10-12, EL43: Ana
|
|
Wednesday 3 May
|
|
|
CT, 15-17, EL41: Ana
|
|
Thursday 4 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: 14 May 23:59
|
|
|
|
|
Wednesday 10 May
|
|
|
|
CT, 15-17, EL41: Ana
|
|
|
Friday 12 May
|
IH, 8-10, EL43 : Ana
|
|
|
[top]
Week 8 |
Assignment-6:
CFL (pdf)
Deadline: 21 May 23:59
|
|
|
|
|
Wednesday 17 May
|
|
|
|
CT, 15-17, EL41: Ana
|
|
|
Friday 19 May
|
IH, 8-10, EL43: Andrea
|
|
|
[top]
Week 9
|
Assignment-7:
TM (pdf)
Deadline: 26 May 23:59 |
|
|
|
|
Wednesday 24 May
|
IH, 10-12, EL43: Daniel/Ana
|
CT, 15-17, EL41: Ana
|
|
|
|
|
[top]