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

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

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

Hoorcollege 2, vrijdag 30 oktober 2015:
* paragraaf 2.1 uit boek afgemaakt
* paragraaf 2.2 uit boek

Werkcollege 2, vrijdag 30 oktober 2015:
* opgaven 2.2, 2.3ab, 2.4, 2.10, 2.12a-e
* extra opgave: FA over {a,b} voor L = {}  (lege verzameling)
* extra opgave: FA over {a,b} voor L = { Lambda }

Hoorcollege 3, dinsdag 3 november 2015:
* paragraaf 2.4 uit boek

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

Hoorcollege 4, vrijdag 6 november 2015:
* paragraaf 3.1 uit boek
* paragraaf 3.2 uit boek t/m voorbeeld 3.9

Werkcollege 4, vrijdag 6 november 2015:
* opgaven 3.1-3.3, 3.7, 3.18-3.20

Hoorcollege 5, dinsdag 10 november 2015:
* 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, dinsdag 10 november 2015:
* opgaven 3.37, 3.38, 3.41 (kijk ook naar 3.42)

Hoorcollege 6, vrijdag 13 november 2015:
* paragrafen 4.1 en 4.2 uit boek

Werkcollege 6, vrijdag 13 november 2015:
* opgaven 4.1, 4.3-4.5, 4.10

Hoorcollege 7, dinsdag 17 november 2015:
* 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, dinsdag 17 november 2015:
* opgaven 4.26-4.29

Hoorcollege 8, vrijdag 20 november 2015:
* paragraaf 4.5 uit boek afgemaakt
* paragraaf 5.1 uit boek

Werkcollege 8, vrijdag 20 november 2015:
* opgaven 4.49, 4.50, 4.54
* opgaven 5.1, 5.2

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

Werkcollege 9, dinsdag 24 november 2015:
* opgaven 5.4-5.6

Hoorcollege 10, vrijdag 27 november 2015:
* 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 genoemd

Werkcollege 10, vrijdag 27 november 2015:
* opgaven 5.12, 5.18, 5.28, 5.30

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

Werkcollege 11, dinsdag 1 december 2015:
* opgaven 5.29, 6.2, 6.5

Hoorcollege 12, vrijdag 4 december 2015:
* 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

Werkcollege 12, vrijdag 4 december 2015:
* opgaven 7.4, 7.5a, 7.6, 7.7
* extra opgave: geef TM voor AnBnCn

Hoorcollege 13, dinsdag 8 december 2015:
* 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, dinsdag 8 december 2015:
* opgaven 7.17abce, 8.17, 8.19