Voortgezette Logica Deeltijd
Literatuur
Tijdens het college maak ik gebruik van de reader
Parvulae Logicales VI Modale Logica
Deze reader is bij het onderwijsbureau te koop. Verder zal ik gebruik maken van
Logic and Structure; Dirk van Dalen; Springer-Verlag; elke druk is goed, echter, hoe recenter hoe beter.
Collegerooster en vakomschrijving
Er zijn een contactmoment in de week. Het rooster bevat verdere instructies. We zullen proberen ook enkele momenten in de vorm van een werkcollege in te bouwen tijdens het college.
Toetsvormen en tentamenreglement
Het college wordt iets anders getentamineerd dan in de studiegids stond aangekondigd. De toetsmomenten bestaan uit het volgende:
* Huiswerkopgaven, dit betreft Weken 1 t/m 4 en Weken 6 en 8.
Van deze 6 opgavenseries tellen alleen de beste vijf resultaten mee.
* Tussentoets, te maken in Week 5.
* Argumentatieschema als opzet van een essay (proto-essay) te maken in Week 7.
* 2 keer een review van een proto-essay van een collega-student te maken in Week 7.
* Essay, te maken in Week 9.
* Eindtentamen, te maken in Week 10.
Voor het huiswerk geldt een aardige regeling. Als je in week x een 8 of hoger voor het huiswerk hebt gehaald, kun je voor week x+1 in aanmerking komen voor een 10 door op de vrijdag te helpen met het nakijken van het huiswerk van je collega's. In dit geval hoef je niet zelf je huiswerk in te leveren.
Verder geldt er een bonus voor huiswerk dat zodanig wordt gepresenteerd dat het op deze webpagina kan worden geplaatst als uitwerking. In dit geval profiteer je niet alleen van een bonus, maar krijg je bij het uitwerken en corrigeren ook extra persoonlijke aandacht.
Het uiteindelijke cijfer wordt als volgt berekend.
+ 15 procent wordt bepaald door huiswerk.
+ 20 procent wordt bepaald door de tussentoets.
+ 25 procent wordt bepaald door proto-essay, essay en reviews.
+ 40 procent wordt bepaald door het eindtentamen.
Eventuele bonussen worden hier op positieve wijze in verwerkt.
Niveau 2 en 3 differentiatie komt overal terug behalve in het essay.
Weekindeling
Houdt dit dagelijks in de gaten, hier zullen alle nieuwe posts verschijnen.
Week 1
Herhaling en uitdieping Logica 1: bewijssystemen, klassiek en constructief.
We hebben alleen gesproken over propositionele logica. Huiswerksommen inleveren. Het huiswerk zullen we in het college van aanstaande maandag bespreken. Dan zal ook bekend worden gemaakt (en via de website) welke opgaven er voor welk niveau moeten worden ingeleverd. Ik wil iedereen verzoeken om ook de site van het voltijdcollege in de gaten te houden. Ik zal daar alle vragen en antwoorden plaatsen. Ook is daar het adres van Els Jongerius, de studentassistent te vinden.
Het huiswerk van deze week bestaat uit:
Nivo 2: Nat. Ded. 8, 12;
Constr. met Bew. 2,5;
Vert. 9, 11, Pred. Log. Nat. Ded. 5,7;
Cont. Bew. 1,4;
Het huiswerk moet voor vrijdag 11:00 in mijn (of beter gezegd, Els) bezit zijn. Je kunt het ofwel mailen naar Els (Cc naar mij), ofwel per post sturen naar mij, dan haalt Els het uit mijn postvakje, ofwel het in mijn postvakje leggen. Vermeld duidelijk naam, studentnummer en vermelding DEELTIJD.
Uiteraard is deze vrijdag 5 mei en niet de week erna. Immers we leveren elke week iets in. Op de voltijdpagina heb ik enkele opmerkingen over latex geplaatst.
In van Dale (vierde druk) kun je nalezen op bladzijden 31, 50, 91 en 98 wat we hebben gedaan. Uiteraard moet je er een beetje omheen lezen, maar de belangrijkste zaken staan daar wel.
Tot nu toe hebben we gesproken over ND voor prop.- en pred. logica en het verschil tussen constructieve en klassieke bewijzen. Ook hebben we semantiek voor propositielogica netjes behandeld.
Week 2
Herhaling en uitdieping Logica 1.
De opgaven zijn nu bekend. Ook de slides zijn nu beschikbaar. Merk op, deze slides zijn geen volledige aantekeningen: zij geven de grote lijn van het college weer. Het huiswerk voor niveau 2 voor deze week is
Nat ded: 1 t/m 4
Sem en ded.: A en B met betrekking to 8 t/m 12
Val en vla: A en van B de opgaven 5 t/m 9
Pred. Logica: opgave A
Voor niveau 3 moeten alle Niveau 2 opgaven worden gemaakt en ook Nat. ded. opgave 5.
Week 3
Modale Logica
Hier is een digitale copie van de reader.
De oefenopgaven van deze week zijn reeds bekend. Ook de slides zijn nu al vrijgegeven.
We hebben in het college gesproken over de waarheidsdefinitie van Tarski. Vervolgens hebben we gesproken over hoofdstukken 1 en 2 van de reader over modale logica. Voor het begin van het volgende college is het de bedoeling deze hoofdstukken gelezen en paraat te hebben.
Het huiswerk voor Week 3 bestaat uit de volgende opgaven:
Voor Niveau 2:
natuurlijke deductie: 3,4;
volledigheidsstelling: 2;
predicatenlogica: B5, B8;
modale valuaties: 4;
modale semantiek: 3,5,6
Voor Niveau 3: alles van Niveau 2 plus natuurlijke deductie: 5. Succes.
Week 4
Modale Logica
Huiswerksommen inleveren.
De oefenopgaven van deze week zijn reeds bekend. Ook de slides zijn vrijgegeven.
Het huiswerk voor deze week is niet zo veel omdat het al snel door het download tentamen zal worden gevolgd. Het huiswerk bestaat uit Opgave 2 van de reader, uit de opgave Consequentie relatie en van Natuurlijke modale deductie, Opgave 3. Bedenk dat \Diamond slechts een afkorting is. Er is deze week geen verschil in niveau 2 of 3 waar het de opgaven betreft.
Week 5
Vragenuur + Tussentoets. Download tentamen. En hier is dan de tussentoets. Op de toets staat beschreven waar en wanneer de antwoorden moeten worden ingeleverd. Indien je de opgaven via de post inlevert is het voldoende als deze op woensdag binnenkomen bij de subfaculteit der Wijsbegeerte.
Hier zijn de uitwerkingen van Week 1.
Hier zijn de uitwerkingen van Week 2. Wellicht kan dit van pas komen bij het maken van het downloadtentamen. Ik heb het overigens niet persoonlijk na gekeken maar het ziet er goed uit.
Week 6
We hebben een begin gemaakt aan het paper. We lezen een hoofdstuk uit het boek `Logic, Logic and Logic' van George Boolos (Harvard University Press, 1998).
Het betreft Hoofdstuk 7: `Introductory note to Kurt Goedel's "Some basic theorems on the foundations of mathematics and their implications"'
Deze week wordt er geen huiswerk opgegeven. In plaats daarvan is het de bedoeling om het paper voor volgende week donderdag te hebben gelezen.
Slides van het college zijn beschikbaar.
Hier zijn de uitwerkingen van Week 3.
Hier zijn de uitwerkingen van Week 4.
Ik heb het niet zelf helemaal nagekeken.
Week 7
Modale Logica: we zullen het paper afmaken.
Paper
Wederom worden er geen opgaven gemaakt deze week. Ipv opgaven wordt gevraagd een Proto-essay digitaal (plain text of pdf GEEN WORD) in te leveren bij Els (Cc naar Joost) voor maandag 12-6 om 17:00. Diezelfde maandag krijg je van twee medestudenten een proto-essay. Hiervan moet je dus 2 keer digitaal (plain text of pdf GEEN WORD) review inleveren. Dit laatste wederom bij Els, maar nu, digitaal en voor donderdag 15-06-06, 12:00.
Zet op zowel verslag als rapportje, duidelijk of je Voltijd- of deeltijd student bent, en ook, niveau 2 of 3.
Slides van het college zijn beschikbaar.
Week 8
Slides van het college zijn beschikbaar.
Hier zijn de oefenopgaven van deze week.
Het huiswerk bestaat uit: S5, Volledigheidsstellingen en Once more: the reader en dan alleen het a-gedeelte. Het huiswerk is deze week voor beide niveaus hetzelfde. Het huiswerk moet voor aanstaande donderdag (22-6) worden ingelverd. Ofwel via de post, ofwel inleveren bij Els direct, ofwel bij een van de vragenuurtjes.
Week 9
Vragenuur, verder collegevrij.
Er zijn twee vragenuurtjes. Het eerste is dinsdag 20 juni van 16:00-17:00 in Unnik 221, en het tweede vragenuurtje is op donderdag 22 juni van 17:00-18:00 in Ruppert 135. Er is een oefententamen.
Week 10
Op de persoonlijke webpagina van Arno Bastenhof staat nog geen link naar zijn voortgezette logica aantekeningen. Je kunt er wel direct komen via
deze link. Ook Lars Arthur Tump heeft zijn tussentoets in latex gemaakt. Geen van beide antwoorden waren in de eerste versie geheel foutloos, maar het is bijzonder leerzaam om naar deze goed gemaakte tussentoetsen te kijken.
Harmen Ghijssen heeft zeer verdienstelijke uitwerkingen van Week 8 beschikbaar gesteld.
Eindtentamen op donderdag 29-06-2006 van 19:00 tot 22:00 in Ruppert B.
Dit was het eindtentamen.
Week 11
Deadline essay inleveren: (in papieren vorm: niet digitaal!!!) 7 juli
Het essay kan bij de onderwijsbalie worden ingeleverd. Op de vrijdag is de balie eigenlijk gesloten. Een goede rede om het essay eerder af te hebben. Maar ik heb met de balie afgesproken dat mijn studenten, mits zij verder niet storen, heel stilletjes binnen mogen komen, paper op de balie leggen en weer stilletjes in het niets verdwijnen. Fijne vakantie!
Aan deze pagina vallen geen rechten te ontlenen.
Joost Joosten
Last modified: Thu Jun 29 20:53:56 MET DST 2006