Werkcolleges Inleiding Logica voor CKI

collegeweek   1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10

werkcollege 9 (woensdag 9 november 2011)

Er is deze week geen werkcollege (het tentamen is al geweest)

Studiedag (door Incognito) (vrijdag 4 november 2011, Ruppert 136)

Op de studiedag gaan we dit tentamen bespreken.
Dit tentamen is representatief. Onder 'toetsen' op de homepage van deze website zijn meer oude tentamens te vinden om te oefenen. Verder is er gelegenheid vragen te stellen over de stof.
Wanneer je de inleveropgaven op vrijdag vast inlevert (in plaats van maandag), hebben de studentassistenten misschien de mogelijkheid het werk maandagmiddag terug te geven. Let op: dit is geen garantie.
WG 2: Denk eraan het werk dat je in de afgelopen weken per mail hebt ingeleverd, ook op papier moet zijn ingeleverd.

werkcollege 8 (woensdag 2 november 2011)

Opgaven

werkcollege 7 (woensdag 26 oktober 2011)

Opgaven uit hoofdstuk 6 en 7.

• Op de werkgroep te behandelen:
  • hoofdstuk 6: 3
  • hoofdstuk 7: 1, 2a,b, 3a,b,c, 4a,b,c
• Inleveren op maandag 31 oktober:
  • hoofdstuk 7: 2c,d, 3e,f, 4e,f

NB: voor studenten in werkgroep 2: zorg dat je al het werk dat je per mail hebt ingeleverd, op papier meeneemt en inlevert. Anders wordt het niet nagekeken!
Dit geldt ook voor werk uit eerdere weken dat je nog niet op papier hebt ingeleverd.

werkcollege 6 (woensdag 19 oktober 2011)

Opgaven uit hoofdstuk 5 en 6 (van de syllabus predikatenlogica).

• Op de werkgroep te behandelen:
  • hoofdstuk 5 (p54): 2,3, 4a,b,c,d, e
  • hoofdstuk 6 (p69): 1
• Inleveren op maandag 24 oktober:
  • hoofdstuk 5: 4f,g,h,i,j en 5
  • hoofdstuk 6: 2

werkcollege 5 (woensdag 12 oktober 2011)

Opgaven uit hoofdstuk 4 en 5 (van de syllabus predikatenlogica).

• Op de werkgroep te behandelen:
  • hoofdstuk 4 (p37-39): opgave 1,2,3.
  • hoofdstuk 5 (p52-53): opgave 1a,b.
• Inleveren op maandag 17 oktober:
  • hoofdstuk 4: opgave 5,6.
  • hoofdstuk 5: opgave 1c,d,e.

werkcollege 4 (woensdag 5 oktober 2011)

Opgaven uit hoofdstuk 9, natuurlijke deductie.

• Op het werkcollege te behandelen:
  • in ieder geval: geef een natuurlijke deductie afleiding van A uit de aannames (A of B) en niet B, d.w.z. toon aan (A of B),niet B |- A.
  • 1(ii),2(ii),3(ii),4(ii),5(ii),6(ii),7(i,iii,xi),8(i,iii,xi)
• In te leveren (maandag 10 oktober):
  • 7(ii,vii,x),8(ii,vii,x).

werkcollege 3 (woensdag 28 september 2011)

Uit de syllabus Inductieve en recursieve definities (let op: aangevuld met een hoofdstuk over recursieve functie definities):
• op de werkgroep te behandelen: 3.1.7, 3.1.8(4), 3.2.6(1,3), 3.2.7(5), 3.3.7.
• inleveropgaven maandag 3 oktober: 3.1.8(3), 3.2.6(2), 3.2.7(4), 3.3.9.
Uit de propositielogica syllabus van Hoofdstuk 7:
• op de werkgroep te behandelen: 5(i,iii,v), 6, 14(ii),17(i),26(i),27(i)
• inleveropgaven maandag 3 oktober: 5(ii,iv), 14(iv), 17(ii), 26(iv),27(iv)
(Vergeet maandag niet ook de practicumopgaven in te leveren (en niet alleen de print-out maar ook een goede uitleg waarom en hoe de print-out antwoord geeft op de vraag))

werkcollege 2 (woensdag 21 september 2011)

• Nota bene: werkgroep 2 (Sara Veldhoen) vindt (eenmalig) plaats op donderdag 22 (i.p.v. op woensdag 21) september van 9 tot 11 (wel in de gebruikelijke zaal Ruppert 136).
• Uit de inductie syllabus:
  • op de werkgroep te behandelen: 2.1.4 de 3de,6de,9de,... (de drievouden), 2.1.5(1), 2.2.3, 2.2.4(1), 2.3.3 de 3de,6de.
    (Hint bij 2.2.4(1): de inductieve definitie van decimale getallen die mogen beginnen met een rijtje 0en is gemakkelijk. Bij een exacte correspondentie is dat niet toegestaan. Bedenk dan dat een decimaal natuurlijk getal ofwel 0 is ofwel een decimaal natuurlijk getal dat niet met 0 begint is, en probeer eerst die laatste verzameling (inductief) te definiëren).)
  • inleveropgaven: 2.1.4 de 2de,5de,10de,... (de drievouden -1), 2.1.5(2), 2.2.4(2) (zie ook xkcd), 2.3.3 de 2de,5de.
  Uit de propositielogica syllabus
  • op de werkgroep te behandelen: van Hoofdstuk 5: 1(i,iv,vii), 2(i). van Hoofdstuk 7: 1(i,iv,vii).
  • inleveropgaven: van Hoofdstuk 5: 1(iii), 2(ii). van Hoofdstuk 7: 1(iii).
    

werkcollege 1 (woensdag 14 september 2011)

• op de werkgroep te behandelen: Hoofdstuk 3: 2,4,6,8. Hoofdstuk 4: 1(ii),(iv),(ix) en 2(ii),(iv),(ix).
  Laat zien, m.b.v. de waarheidstafels, dat de waarheidswaarden van (niet p of q) respectievelijk (p impliceert q) hetzelfde zijn, voor alle mogelijke waarheidswaarden van p en q. Wat betekent dit?
  (*) De exclusieve of (ook wel óf genoemd, of ook de en/of) 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 19 september): Hoofdstuk 3: 9-12. Hoofdstuk 4: 1(v)-(vii) en 2(v)-(vii).
  Laat zien dat de waarheidswaarden van niet (p1 en p2 en p3) respectievelijk (niet p1) of (niet p2) of (niet p3) hetzelfde zijn, voor alle mogelijke waarheidswaarden van p1,p2,p3.
  

collegeweek   1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10

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.