werkcollege 8 (donderdag 1 november 2012)
-
op de werkgroep te behandelen:
- uit de syllabus Predikatenlogica, (hfdstk 8): 1(a,e,f,k,n,t,v,z).
-
inleveropgaven (inleveren donderdag 8 november, vóór
de eindtoets, er wordt de mogelijkheid geboden om het gemaakte werk op maandag
5 november in te leveren voor 13uur, in Albert Vissers postvak op
JKH13a, K1.03. In dat geval kun je het
nagekeken werk inzien op de studiedag op 7 november.):
- uit de syllabus Predikatenlogica, (hfdstk 8): 1(c,d,g,r).
werkcollege 7 (donderdag 25 oktober 2012)
- Mooie uitwerkingen van ingeleverde wg en pr opgaven: werkgroep 2 (voor toegang tot deze uitwerkingen, vraag je studentassistent).
-
op de werkgroep te behandelen:
- uit de syllabus Predikatenlogica, (hfdstk 6): 3. (hfdstk 7): 1, 2, 4(a,b).
-
inleveropgaven (inleveren maandag 29 oktober, vóór het hoorcollege):
- uit de syllabus Predikatenlogica, (hfdstk 7): 3(a,b), 4(c,d).
werkcollege 6 (donderdag 18 oktober 2012)
- Mooie uitwerkingen van ingeleverde wg en pr opgaven: Bouter, van Vliet, Lansbergen (voor toegang tot deze uitwerkingen, vraag je studentassistent).
-
op de werkgroep te behandelen:
- uit de syllabus Predikatenlogica, (hfdstk 5): 1(c,d,e), 2, 3, 4(a,b,i). (hfdstk 6): 1.
-
inleveropgaven (inleveren maandag 22 oktober, vóór het hoorcollege):
- uit de syllabus Predikatenlogica, (hfdstk 5): 4(d,e,f,g,h), 5.
werkcollege 5 (donderdag 11 oktober 2012)
- Mooie uitwerkingen van ingeleverde wg en pr opgaven: Brouwer, Rietdijk, Horsman (voor toegang tot deze uitwerkingen, vraag je studentassistent).
- Ter voorbereiding op Natuurlijke Deductie voor Predikatenlogica.
-
op de werkgroep te behandelen:
- uit de syllabus Propositielogica, natuurlijke deductie (hfdstk 9): 4(i,iii,vii), 5(i,ii), 6(i,ii,iii), 8(viii,x).
-
inleveropgaven (inleveren maandag 15 oktober, vóór het hoorcollege):
- uit de syllabus Propositielogica, natuurlijke deductie (hfdstk 9): 5(iii), 6(iv,v,vi) , 7(viii,x), 8(v,vi,vii)
Incognito studiedag Inleiding Logica (vrijdag 5 oktober 2012)
9:00 - 11:00 Drift 21, Zaal 1.09.werkcollege 4 (donderdag 4 oktober 2012)
- Mooie uitwerkingen van ingeleverde wg en pr opgaven: Brouwer, Hendriks, Oosterom (voor toegang tot deze uitwerkingen, vraag je studentassistent).
-
op de werkgroep te behandelen:
- uit de syllabus Inductie, hoofdstuk 4, bewijzen met inductie: 4.1.4, 4.3.3;
- uit de syllabus Propositielogica, syntactisch redeneren equivalentie (hfdstk 7) en natuurlijke deductie (hfdstk 9): 7.1(i) de eerste, 7.3(i,ii), 9.1(ii), 9.4(ii) geef twee (verschillende) bewijzen, 9.4(vi), 9.2(ii), 9.7(iii), 9.8(i,xi). ;
-
inleveropgaven (inleveren maandag 8 oktober, vóór de toets):
- uit de syllabus Inductie, hoofdstuk 4, bewijzen met inductie: 4.1.8(a);
- uit de syllabus Propositielogica, syntactisch redeneren equivalentie (hfdstk 7) en natuurlijke deductie (hfdstk 9): 7.3(iii) (correctie, er stond eerst de niet bestaande opgave 7.1(iii)), 9.1(iii), 9.4(v), 9.7(iv), 9.8(iv). ;
- Uitdagende/inzicht sommen (voor jezelf, niet om in te leveren): uit de syllabus Inductie 4.1.9; uit de syllabus Propositielogica 7.2.
werkcollege 3 (donderdag 27 september 2012)
- Mooie uitwerkingen van ingeleverde wg en pr opgaven: Van Belzen, Oosterlaken, Buitenhuis (voor toegang tot deze uitwerkingen, vraag je studentassistent).
-
op de werkgroep te behandelen:
- uit de syllabus Inductie: 3.1.7,3.1.8(d),3.2.6(a,c),3.2.9(e),3.3.9;
- uit de syllabus Propositielogica hoofdstuk 6: 4(i,ii),5(v),7(ii),12(i),14(i),22(i),23(i);
-
inleveropgaven (inleveren maandag 1 oktober, vóór het hoorcollege):
- uit de syllabus Inductie: 3.1.8(b),3.2.9(a) voor S(S(0)) en S(S(0)),3.3.8;
- uit de syllabus Propositielogica Hoofdstuk 6: 4(vi),12(iii),22(ii)
- uit de syllabus Propositielogica Hoofdstuk 6 opgaven 27 tot en met 29 (het idee voor 27 is al op het hoorcollege aan de orde gekomen).
werkcollege 2 (donderdag 20 september 2012)
- Mooie uitwerkingen van ingeleverde wg en pr opgaven: Brouwer, WG2, Oosterom (voor toegang tot deze uitwerkingen, vraag je studentassistent).
-
op de werkgroep te behandelen:
- uit de syllabus Inductie: 2.0.1,2.1.4 de 1ste-4de,2.1.5(a);
- uit de syllabus Propositielogica: van hfdstk 4: 1(i)-(ii),4(iii); van hfdstk 5: 1(v),3(vi); van hfdstk 6: 1(i),1(ii).
-
inleveropgaven (inleveren maandag 24 september):
- uit de syllabus Inductie: 2.2.3 de 10de-13de;
- uit de syllabus Propositielogica: van hfdstk 4: 4(iii); van hfdstk 5: 1(iii),4(vi); van hfdstk 6: 1(iv).
- bepaal de proposities in de eerste zin van `El último viaje del buque fantasma' van Gabriel García Márquez (of neem enige zinnen uit Doktor Faustus van Thomas Mann, of anders uit het werk van Couperus).
- voor ieder tweetal proposities A,B geldt dat de propositie (als A dan B) of (als B dan A), de waarheidswaarde 1 heeft. is dit consistent met een idee van als-dan als causaal gevolg?
werkcollege 1 (donderdag 13 september 2012)
- Mooie uitwerkingen van ingeleverde wg en pr opgaven: Brandenburg, Schouwenaars, Tuyt (voor toegang tot deze uitwerkingen, vraag je studentassistent).
-
op de werkgroep te behandelen:
Hoofdstuk 2: 1,3,5,7,12.
Hoofdstuk 3: 1(iii),(v),(vii),(viii)
en 2(i),(ii),(v),(vi),(vii).
De exclusieve of (ook wel óf genoemd, in tegenstelling tot de gewone inclusieve of, die ook wel en/of genoemd) zit niet in onze taal van de propositielogica. Bedenk zelf een formule van de propositielogica die dezelfde waarheidswaarden heeft als (p óf q). -
in te leveren (maandag 17 september voor/op het hoorcollege):
Hoofdstuk 2: 4,8,14. Hoofdstuk 3: 1(iv),(ix),(x) en 2(iii),(iv),(ix).
Laat zien, m.b.v. de waarheidstafels, dat de waarheidswaarden van (p impliceert q) respectievelijk ((niet q) impliceert (niet p)) hetzelfde zijn, voor alle mogelijke waarheidswaarden van p en q.
Inleveropgaven dienen zelfstandig gemaakt te worden. Onderdelen van de opgegeven sommen uit de syllabus die noch bij de werkgroepopgaven noch bij de inleveropgaven voorkomen, kunt u natuurlijk zelf (buiten de werkgroepen) maken. Ook over die opgaven kunt u desgewenst vragen stellen tijdens de werkgroepen.