Behandelde stof bij de hoor- en werkcolleges
Logica (I&E), najaar 2018
============================================

Hoorcollege 1, maandag 3 september 2018:
* Practische informatie
* PDF: A Brief History
* Paragrafen 1.1 en 1.3 uit boek
* Paragraaf 1.4 t/m blz. 37

Werkcollege 1, donderdag 6 september 2018:
* Opgaven 1.1: 1abdehijk, 2adfg
* Opgaven 1.3: 1acefj, 2a, 3abc, 5, 6a, 7ab, 8abc

Hoorcollege 2, maandag 10 september 2018:
* Paragraaf 1.4.1 uit boek afgemaakt
* Paragraaf 1.4.2 uit boek
* Paragraaf 1.4.3 uit boek tot halverwege blz. 46
* Variant van opgave 1.4.8
* Paragraaf 1.2 uit boek tot halverwege blz. 7

Werkcollege 2, donderdag 13 september 2018:
* Opgaven 1.2: 1abc
* Opgaven 1.4: 1, 2acehi, 3acd, 4ab, 5, 6abcd, 7, 10, 9, 12 (met semantic
   entailment ipv sequent)

Hoorcollege 3, maandag 17 september 2018:
* Paragraaf 1.2 uit boek t/m blz 17

Werkcollege 3, donderdag 20 september 2018:
* Opgaven 1.4: 7, 9, 10
* Opgaven 1.2: 1

Hoorcollege 4, maandag 24 september 2018:
* Paragraaf 1.2 uit boek afgemaakt

Werkcollege 4, donderdag 27 september 2018:
* Opgaven 1.2: 1-3, 5

Hoorcollege 5, maandag 1 oktober 2018:
* Paragraaf 1.4 uit boek tot halverwege blz. 51.

Werkcollege 5, donderdag 4 oktober 2018:
* Opgaven 1.4: 10-15

Hoorcollege 6, maandag 8 oktober 2018:
* Paragraaf 1.4 uit boek afgemaakt
* Paragraaf 3.2 uit [Van Benthem et al., 2003] t/m blz 40

Hoorcollege 6a, donderdag 11 oktober 2018:
* Paragraaf 3.2 uit [Van Benthem et al., 2003] afgemaakt
* Paragraaf 3.3 en 3.4 uit [Van Benthem et al., 2003]

Werkcollege 6, donderdag 11 oktober 2018:
* Opgaven 1.4: 16,17
* [Van Benthem et al., 2003]: Opgaven 3.1-3.4

Hoorcollege 7, maandag 15 oktober 2018:
* Paragraaf 1.5 uit boek tot Stelling 1.47
* Opgave 1.5: 15a, nagedacht over 17

Werkcollege 7, donderdag 18 oktober 2018:
* Opgaven 1.5: 1,2,6,7,9,15

Hoorcollege 8, maandag 29 oktober 2018:
* Paragraaf 1.5 uit boek afgemaakt
* Paragraaf 1.6 uit boek

Werkcollege 8, donderdag 1 november 2018:
* Opgaven 1.5: 9,15
* Opgaven 1.6: 3,4,6,9,10

Hoorcollege 9, maandag 5 november 2018:
* Paragraaf 2.1 uit boek
* Paragraaf 2.2 uit boek t/m blz 105

Werkcollege 9, donderdag 8 november 2018:
* Opgaven 2.1: 1,2,3,4
* Opgaven 2.2: 1a,2,3

Hoorcollege 10, maandag 12 november 2018:
* Paragraaf 2.2 uit boek afgemaakt
* Paragraaf 2.3 uit boek t/m blz 115

Werkcollege 10, donderdag 15 november 2018:
* Opgaven 2.2: 4,5,6
* Opgaven 2.3: 1,2,4,6

Hoorcollege 11, maandag 19 november 2018:
* Paragraaf 2.3 uit boek afgemaakt

Werkcollege 11, donderdag 22 november 2018:
* Opgaven 2.3: 6-9,11,13

Hoorcollege 12, maandag 26 november 2018:
* Paragraaf 2.4 uit boek tot Voorbeeld 2.19
* enkele extra voorbeelden bij definities
  look-up table en satisfaction relation

Werkcollege 12, donderdag 29 november 2018:
* Opgaven 2.3: 11,13
* Opgaven 2.4: 1-6

Hoorcollege 13, maandag 3 december 2018:
* Paragraaf 2.4 uit boek afgemaakt
* Hoofdstuk 9 uit [Van Benthem et al., 2003],
  behalve paragraaf 9.3

Werkcollege 13, donderdag 6 december 2018:
* Opgaven 2.4: 8,10,12
* [Van Benthem et al., 2003]: Opgaven 9.1-9.3

Hoorcollege 14, maandag 10 december 2018 (GEEN TENTAMENSTOF):
* Paragraaf 9.3 uit [Van Benthem et al., 2003]
* Paragraaf 2.5 uit boek
* Paragraaf 2.6 tot Stelling 2.24