Behandelde stof bij de hoor- en werkcolleges
Fundamentele Informatica 3, voorjaar 2016
============================================

Hoorcollege 1, maandag 1 februari 2016:
* Opzet vak
* Herhaling FI2: Hst2-6:
  - eindige automaten
  - pomplemma voor reguliere talen,
  - reguliere expressies / talen,
  - niet-deterministische eindige automaten
  - context-vrije grammatica's
  - reguliere grammatica's
  - afleidingsbomen
  - stapelautomaten
  - deterministische stapelautomaten
  - pomplemma voor context-vrije talen
* Paragraaf 7.1 tot Definitie 7.1
* Extra voorbeeld: FA met meerdere accepterende toestanden
* Uit Paragraaf 7.2: Voorbeeld 7.3 en Voorbeeld 7.5 t/m Figuur 7.6
  (waar `Figure 7.5' onder staat)

Werkcollege 1, dinsdag 2 februari 2016:
* Opgaven 7.4-7.7, 7.9
* Extra opgave: simuleren van DPDA met TM

Hoorcollege 2, maandag 8 februari 2016:
* Paragrafen 7.1 en 7.2 afgemaakt
* Paragraaf 7.3
* Extra opgave: TM voor f(x,y)=x mod y

Werkcollege 2, dinsdag 9 februari 2016:
* Opgaven 7.1-7.3, 7.10, 7.12, 7.16, 7.17abce

Hoorcollege 3, maandag 15 februari 2016:
* Paragrafen 7.4 en 7.5
* Extra voorbeeld: TM voor f(x)=a^{n_a}(x)

Werkcollege 3, dinsdag 16 februari 2016:
* Opgaven 7.11, 7.13, 7.14, 7.18, 7.19, 7.20, 7.21

Hoorcollege 4, maandag 22 februari 2016:
* Paragrafen 7.6 en 7.7
* Paragraaf 7.8 t/m Voorbeeld 7.34

Werkcollege 4, dinsdag 23 februari 2016:
* Opgaven 7.26-7.30, 7.39-7.41
* Schets van opgaven 7.42 en 7.43

Hoorcollege 5, maandag 29 februari 2016:
* Paragraaf 7.8 afgemaakt
* Paragraaf 8.1 en 8.2
* Opgaven 8.1 en 8.2

Werkcollege 5, dinsdag 1 maart 2016:
* Opgaven 8.3, 8.4, 8.6, 8.7, 8.9, 8.10, 8.12

Hoorcollege 6, maandag 14 maart 2016:
* Paragraaf 8.3 t/m Stelling 8.13
* Extra voorbeeld: unrestricted grammar voor XX
* Extra voorbeeld: implementatie constructie van Stelling 8.13
* Paragraaf 8.4 t/m Stelling 8.19
* Stelling 8.22
* Opgave 8.24

Werkcollege 6, dinsdag 15 maart 2016:
* Opgaven 8.17, 8.18, 8.19, 8.21, 8.23, 8.25

Hoorcollege 7, maandag 21 maart 2016:
* Paragrafen 8.3 en 8.4 afgemaakt
* Opgaven 8.27, 8.32

Werkcollege 7, dinsdag 22 maart 2016:
* Opgaven 8.22, 8.26, 8.28, 8.34, 8.29, 8.30

Hoor-/werkcollege 8, dinsdag 29 maart 2016:
* Paragraaf 8.5
* Opgaven 8.35, 8.38, 8.39, 8.41ab, 8.42

Hoorcollege 9, maandag 4 + dinsdag 5 april 2016:
* Paragraaf 9.1
* Paragraaf 9.2
* Opgaven 8.45, 9.2

Werkcollege 9, dinsdag 5 april 2016:
* Opgaven 8.37, 8.41, 8.47, 9.5, 9.3, 9.4, 9.6

Hoorcollege 10, maandag 11 april 2016:
* Paragraaf 9.3
* Opgave 9.7
* Paragraaf 9.4 t/m Stelling 9.15

Werkcollege 10, dinsdag 12 april 2016:
* Opgaven 9.9, 9.10, 9.12, 9.23, 9.24

Hoorcollege 11, maandag 18 april 2016:
* Paragraaf 9.4 afgemaakt
* Paragraaf 9.5 t/m Stelling 9.22

Werkcollege 11, dinsdag 19 april 2016:
* Opgaven 9.27-9.29, 9.32-9.34
* introductie primitieve recursie

Hoorcollege 12, maandag 25 april 2016:
* Paragraaf 9.5 afgemaakt
* Paragraaf 10.1 tot Stelling 10.6
* Opgave 10.1 genoemd
* Opgave 7.37
* Extra opgave: hoeveel TMs met n toestanden en alfabet {0,1}
* Opgave 10.2

Werkcollege 12, dinsdag 26 april 2016:
* Opgaven 10.1, 10.5, 10.12-10.16

Hoorcollege 13, maandag 2 mei 2016:
* Paragraaf 10.1 afgemaakt
* Extra opgave: toon aan dat predikaat (f(X,y) = 0) primitief recursief is
* Paragraaf 10.2 t/m Stelling 10.10

Werkcollege 13, dinsdag 3 mei 2016:
* Opgaven 10.17, 10.18, 10.19ab, 10.20, 10.21, 10.25, 10.29

Hoorcollege 14, maandag 9 mei 2016:
* Paragraaf 10.2 afgemaakt
* Extra voorbeeld: Mf voor f=p_1^2 - C_1^2
* Extra opgave: combineer niet-totale en totale functie tot totale functie
* Paragraaf 10.3 t/m Stelling 10.19

Werkcollege 14, dinsdag 10 mei 2016:
* Opgaven 10.22-10.24, 10.28, 10.30, 10.33

Hoorcollege 15, dinsdag 17 mei 2016:
* Paragraaf 10.3 afgemaakt
* Paragraaf 10.4
* Opgave 10.34 globaal
* Opgave 10.35
* Paragraaf 10.5
* Extra opgave: unrestricted grammatica voor functie f(n)=2^n