beschrijving in osiris en in de cursuskrant
nieuws
| 3 januari 2012 | eindcijfers nav aanvullende toets ingeleverd bij het studiepunt. hiermee is de cursus afgerond. de aanvullende toets kan nog wel, op (e-mail) afspraak met de docenten, ingezien worden. |
| 26 december 2011 | aanvullende toetscijfers geplaatst |
| 29 november-1 december 2011 | aanvullende toets (voor een beschrijving zie onder beoordeling): dinsdag 13 december van 17:00 tot 20:00, Drift 25 (binnenstad) zaal 1.02 (capaciteit 63 personen). |
| 27-30 november 2011 | berekende eindcijfers geplaatst, aangepast, en ingeleverd. |
| 21 november 2011 | (Punten) eindtoets (predikatenlogica) geplaatst. De toets kan ingezien worden bij Albert Visser op donderdag 24 november, 11-12u en 13-15u, op Janskerkhof 13a, kamer 1.09 |
| 3 november 2011 |
Incognito organiseert een studiedag op vrijdag 4 november. Kijk voor meer informatie op de pagina voor het werkcollege. specificaties van de toetsstof geplaatst. Nieuwe versie van Parvulae Logicales: Predikatenlogica, met de door u voorgestelde verbeteringen. |
| 24 oktober 2011 | Cijferberekening tussentoets geplaatst en de diverse resultaten password beveiligd gemaakt. |
| 17 oktober 2011 | Tussentoetspunten geplaatst (en tussentoetsstof `ingeklapt'); zie onder. Samenvatting hoorcollege maandag inclusief prolog programma's geplaatst; zie hoorcollege pagina. |
| 15 oktober 2011 | (Eerste) uitwerking van tussentoets geplaatst, en oude toetsen gemakkelijker toegankelijk gemaakt (volg de link helemaal onderaan deze pagina). |
docenten
- Vincent van Oostrom (email: Vincent punt vanOostrom apenstaartje phil punt uu punt nl)
- Albert Visser (email: Albert punt Visser apenstaartje phil punt uu punt nl)
studentassistenten met werkgroepen en practicumgroepen
- Rijk Mercuur (wg 1, Ruppert 135) (email: rijk punt mercuur apenstaartje phil punt uu punt nl)
- Sara Veldhoen (wg 2, Ruppert 136) (email: s punt f punt veldhoen apenstaartje students punt uu punt nl)
- Ellen Maassen (wg 3, Ruppert 032) (email: ellen punt maassen apenstaartje phil punt uu punt nl)
(Er zijn hierop uitzonderingen mogelijk en in sommige gevallen al gemaakt. De regel is dat je niet (eenzijdig) naar een andere practicumgroep kunt gaan, maar dat twee personen wel met elkaar van groep kunnen wisselen, dit i.v.m. zaalcapaciteit.) Voor vragen over de werkgroep en practicumgroepindeling (b.v. als u niet ingedeeld bent), neem contact op met de docent.
opzet
Per week zijn er (in principe) 2 hoorcolleges (maandagochtend en woensdagdagochtend), 1 practicum (logica tools, maandagmiddag, niet op 12 september) en 1 werkgroep (logica sommen, woensdagochtend).
materiaal
- syllabus Parvulae Logicales: Propositielogica
(update van vrijdag 7 oktober 2011 met correcties op versie van 12 september 2011) - syllabus Inductieve en recursieve definities en bewijzen met inductie
(update van woensdag 12 oktober 2011 met correcties en uitbreidingen op versie van 7 oktober 2011) - syllabus Parvulae Logicales: Predikatenlogica
(update van donderdag 1 november 2011 met correcties n.a.v. annotaties op versie van 7 oktober 2011). - In syllabi aangebrachte Wijzigingen (laatste update 12 oktober 2011).
hoorcollege
werkcollege
practicum
beoordeling
Om toegang te krijgen tot de beoordelingen dient een gebruikersnaam en password ingevoerd te worden. Deze zijn te verkrijgen bij de studentassistenten. Het eindcijfer wordt samengesteld uit:-
de cijfers voor de inleveropgaven
(8 sets waarvan de beste 6 meetellen, 20%)
- Tussentoetsstof en de punten van de tussentoets (propositielogica, dinsdag 11 oktober 17:00-20:00 uur, educatorium alfa, 40%, het cijfer wordt berekend als: (het aantal punten plus vijf) gedeeld door tien)
- Eindtoetsstof en de punten van de eindtoets (predikatenlogica, dinsdag 8 november 17:15-20:15, unnik groen en ruppert 042, 40%)
-
de aanvullende toetsstof bestaat uit de combinatie van de
tussentoetsstof (propositielogica) en de eindtoetsstof (predicatenlocica),
zie boven.
het cijfer voor de aanvullende toets vervangt (indien hoger)
de cijfers voor de tussentoets en de eindtoets, d.w.z.
het telt voor 80% mee in het eindcijfer.
(de overige 20% van uw eindcijfer ligt inmiddels vast: de aanvullende toetsing voor de wekelijkse inleveropgaven zat al besloten in de vorm (de beste 6 van 8)) voorbeelden van aanvullende toetsen kunnen gevonden worden onder de oude toetsen. - de berekende eindcijfers
- aanvullende toets en nieuwe eindcijfers