Behandelde stof bij de hoor- en werkcolleges Logica (I&E), najaar 2017 ============================================ Hoorcollege 1, maandag 4 september 2017: * Practische informatie * PDF: A Brief History * Paragrafen 1.1 en 1.3 uit boek Werkcollege 1, donderdag 7 september 2017: * Opgaven 1.1: 1abdehijk, 2adfg * Opgaven 1.3: 1acefj, 2a, 3abc, 5, 6a, 7ab, 8abc Hoorcollege 2, maandag 11 september 2017: * Pagrafen 1.4.1 en 1.4.2 uit boek * Variant van opgave 1.4.8 * Pagrafen 1.2 uit boek t/m blz. 7 Werkcollege 2, donderdag 14 september 2017: * Opgaven 1.2: 1abc * Opgaven 1.4: 1, 2acehi, 3acd, 4ab, 5, 6abcd, 7, 10, 9 Hoorcollege 3, maandag 18 september 2017: * Pagraaf 1.4.3 uit boek tot Stelling 1.35 * Pagrafen 1.2 uit boek t/m Voorbeeld 1.17 Werkcollege 3, donderdag 21 september 2017: * Opgaven 1.2: 1 * Opgaven 1.4: 10, 12, 13, 14 Hoorcollege 4, maandag 25 september 2017: * Paragraaf 1.2 uit boek afgemaakt Werkcollege 4, donderdag 28 september 2017: * Opgaven 1.2: 2-4 (2-9 opgegeven) Hoorcollege 5, maandag 2 oktober 2017: * Paragraaf 1.4 uit boek tot halverwege blz. 51. Werkcollege 5, donderdag 5 oktober 2017: * Opgaven 1.4: 11c-15 Hoorcollege 6, maandag 9 oktober 2017: * Paragraaf 1.4 uit boek afgemaakt * Paragraaf 3.2 uit [Van Benthem et al., 2003] Hoorcollege 6a, donderdag 12 oktober 2017: * Paragraaf 3.3 en 3.4 uit [Van Benthem et al., 2003] Werkcollege 6, donderdag 12 oktober 2017: * Opgaven 1.4: 16,17 * [Van Benthem et al., 2003]: Opgaven 3.1-3.4 Hoorcollege 7, maandag 16 oktober 2017: * Paragraaf 1.5 uit boek tot Stelling 1.47 * Opgave 1.5: 15a, 17 Werkcollege 7, donderdag 19 oktober 2017: * Opgaven 1.5: 1,2,6,7,9,15 Hoorcollege 8, maandag 30 oktober 2017: * Paragraaf 1.5 uit boek afgemaakt * Paragraaf 1.6 uit boek Werkcollege 8, donderdag 2 november 2017: * Opgaven 1.5: 15 * Opgaven 1.6: 3,4,6,9,10 Hoorcollege 9, maandag 6 november 2017: * Paragraaf 2.1 uit boek * Paragraaf 2.2 uit boek t/m blz 105 Werkcollege 9, donderdag 9 november 2017: * Opgaven 2.1: 1,2,3,4 * Opgaven 2.2: 1a,2,3 Hoorcollege 10, maandag 13 november 2017: * Paragraaf 2.2 uit boek afgemaakt * Paragraaf 2.3 uit boek t/m blz 115 Werkcollege 10, donderdag 16 november 2017: * Opgaven 2.2: 2,3a,4 * Opgaven 2.3: 1,2,4,6 Hoorcollege 11, maandag 20 november 2017: * Paragraaf 2.3 uit boek afgemaakt Werkcollege 11, donderdag 23 november 2017: * Opgaven 2.3: 6,7,9,11,13 Hoorcollege 12, maandag 27 november 2017: * Paragraaf 2.4 uit boek t/m paragraaf 2.4.1 Werkcollege 12, donderdag 30 november 2017: * Opgaven 2.4: 1-6 Hoorcollege 13, maandag 4 december 2017: * Paragraaf 2.4 uit boek afgemaakt * Hoofdstuk 9 uit [Van Benthem et al., 2003] Werkcollege 13, donderdag 7 december 2017: * Opgaven 2.4: 8,10,12 * [Van Benthem et al., 2003]: Opgaven 9.1-9.3