Om examinationen
Betyg E examinaras med quiz bestående av 6 olika delar, motsvarande kursens alla delar: satslogik, Prolog, predikatlogik, strukturell induktion, temporallogik, och Hoarelogik. Quiz kommer ges online i Canvas, enligt följande schema (man har alltså två chanser per del under kursens gång):
Del 1-2, tillfälle 1: måndag 17 okt, kl. 9.00 - 11.00.
Del 3-6, tillfälle 1: måndag 19 dec, kl. 13.00 - 17.00
Vi avser att genomföra det på följande sätt: de olika delarna kommer att vara separata quiz som alla är öppna under 30 minuter. Under tentatiden kan ni alla välja att göra delquizen i vilken ordning ni vill. När ni väl öppnat ett delquiz kommer det att vara öppet i 30 minuter. För att få godkänt på ett delquiz måste ni klara 6 av 10 poäng. Inga hjälpmedel är tillåtna utom de formelblad som lagts upp i canvas. Quizet kommer inte att vara övervakat. Givetvis är inget samarbetet tillåtet.
För att få betyg E ska ni klara alla delquiz. Ni kan räkna med 2-3 uppgifter per delquiz.
De fyra hemtalen relaterar till delarna 1, 3, 4 och 6. De som klarat dem får ett bonuspoäng på motsvarande del.
Jag ger nedan en skiss på hur quiz-frågor kan se ut. De kommer att vara en blandning av flervalsfrågor, Ja/Nej-frågor och vissa frågor som kräver filuppladdning.
För Funka-studenter: separata quiz med 50% längre tid på alla delar kommer att finnas. OBS! Dessa quiz kommer vara tydligt märkta, men tillgängliga för alla. Studenter utan rätt till Funka-stöd som gör dessa quiz kan inte räknas med att godkännas, oavsett hur fort dom är klara.
Betyg D-A
Ett hemtal kommer att publiceras. Hemtalet kommer att bestå av 3-4 frågor av svårare karaktär och skall lämnas in skriftligt. Inlämningar kommer att följas upp av ett kortare (10-15 min) muntligt förhör. Under förutsättning att ni har klarat betyg E kan detta hemtal ge betyg D-A. Detta hemtal kan lösas med all tillgänglig litteratur (om ni kan redovisa vad ni använt).
Omtenta
En ny möjlighet att klara både quizen för betyg E och att göra hemtentan kommer ges i april.