Behandelde stof bij de hoor- en werkcolleges
Fundamentele Informatica 1 (I&E), najaar 2014
=============================================

Hoorcollege 1, maandag 27 oktober 2014:
* `Introduction' uit boek
* paragraaf 1.4 uit boek
* paragraaf 2.1 uit boek t/m voorbeeld 2.5

Werkcollege 1, maandag 27 oktober 2014:
* opgaven 1.32, 1.33bc, 1.36, 1.37a
* opgave 2.1abfg

Hoorcollege 2, woensdag 29 oktober 2014:
* paragraaf 2.1 uit boek afgemaakt
* paragraaf 2.2 uit boek

Werkcollege 2, woensdag 29 oktober 2014:
* opgaven 2.2, 2.3ab, 2.4, 2.10, 2.12a-e

Hoorcollege 3, maandag 3 november 2014:
* paragraaf 2.4 uit boek

Werkcollege 3, maandag 3 november 2014:
* opgave 2.22
* extra opgave: toon met pomplemma aan dat L={ba^tba^t | t>0}
  niet met FA geaccepteerd kan worden

Hoorcollege 4, woensdag 5 november 2014:
* paragraaf 3.1 uit boek
* paragraaf 3.2 uit boek t/m voorbeeld 3.9

Werkcollege 4, woensdag 5 november 2014:
* opgaven 3.1-3.3, 3.7, 3.18-3.20

Hoorcollege 5, maandag 10 november 2014:
* paragraaf 3.2 uit boek afgemaakt
* paragrafen 3.3 en 3.4 uit boek (inclusief gebruikte constructies,
  maar zonder bewijs van stellingen)
* formulering (geen constructie of bewijs) van Stelling 3.30

Werkcollege 5, maandag 10 november 2014:
* opgaven 3.37, 3.38, 3.41 (kijk ook naar 3.42)

Hoorcollege 6, woensdag 12 november 2014:
* paragrafen 4.1 en 4.2 uit boek

Werkcollege 6, woensdag 12 november 2014:
* opgaven 4.1, 4.3-4.5, 4.10

Hoorcollege 7, maandag 17 november 2014:
* paragraaf 4.3 uit boek
* paragraaf 4.4 uit boek tot en met Definitie 4.16
* paragraaf 4.5 uit boek tot en met Definitie 4.29,
  inclusief algoritmes, maar zonder recursieve definities en bewijzen

Werkcollege 7, maandag 17 november 2014:
* opgaven 4.26-4.29

Hoorcollege 8, woensdag 19 november 2014:
* paragraaf 4.5 uit boek afgemaakt
* paragraaf 5.1 uit boek

Werkcollege 8, woensdag 19 november 2014:
* opgaven 4.49, 4.50, 4.54

Hoorcollege 9, maandag 24 november 2014:
* extra opgave: geef PDAs voor Balanced en AEqB
* paragraaf 5.2 uit boek (behalve bewijs Stelling 5.16)
* opgaven 5.16, 5.17, 5.19 (alleen onderdeel L1L2)

Werkcollege 9, maandag 24 november 2014:
* opgaven 5.4-5.6

Hoorcollege 10, woensdag 26 november 2014:
* opgave 5.8a
* extra opgaven 5.8a0-a3
* paragraaf 5.3 uit boek
  (details van bewijs Stelling 5.18 en (heel) bewijs Stelling 5.23
  hoef je niet te kennen)
* opgave 5.33

Werkcollege 10, woensdag 26 november 2014:
* opgaven 5.12, 5.18, 5.28, 5.30

Hoorcollege 11, maandag 1 december 2014:
* paragraaf 6.1 uit boek tot en met Voorbeeld 6.6

Werkcollege 11, maandag 1 december 2014:
* opgaven 5.29, 6.2, 6.5

Hoorcollege 12, woensdag 3 december 2014:
* paragraaf 7.1 uit boek
  (precieze notatie van configuraties en stappen in een TM
   (op blz. 228) hoeft niet gekend te worden voor tentamen)
* paragraaf 7.2 uit boek
* extra opgave: geef TM voor AnBnCn

Werkcollege 12, woensdag 3 december 2014:
* opgaven 7.4, 7.5a, 7.6, 7.7

Hoorcollege 13, maandag 8 december 2014:
* paragraaf 7.3 uit boek tot en met Voorbeeld 7.12
* extra opgave: geef TM voor f(x,y)=x+y
* extra opgave: geef TM voor f(x,y)=x mod y
* paragraaf 8.3 uit boek (behalve bewijzen stellingen 8.13 en 8.14)
* extra voorbeeld: grammatica voor XX

Werkcollege 13, maandag 8 december 2014:
* opgaven 7.17abcef, 8.17, 8.19