Senaste Nytt

Examination

Skriftlig tentamen (OBS: ingen anmällan nödvändig!)

Kursen betraktas att bestå av tre delar:
  1. Satslogik, Predikatlogik
  2. Prolog, Induktion, Temporallogik
  3. Hoare-logik
Skriftliga tentan blir tisdagen den 26 maj kl. 14-16 i ett antal övningssalar: D32, D34, D35, D41, D42, E32, E33, E34, E35, E36. Den kommer att bestå av 7 uppgifter: Om man har klarat första kontrollskrivningen är man friad från första uppgiften i del 1, och om man har klarat andra kontrollskrivningen är man friad från första uppgiften i del 2. Bonuspoängen från hemtalen räknas till godkännt på respektive kursdel. Se modelltentan för mer information.

Själva tentan är följd av obligatorisk kamraträttning (ca. 1 timme) i sal F1:

Muntlig komplettering

Åtminstone C på två kursdelar och godkänd på tentan behövs för att kunna gå till muntliga komplementeringstentan.
 
Muntliga kompletteringen kommer att äga rum tisdagen den 2 juni (och dagen efter, vid behov) i en av våra seminariesalar. Vi kommer att använda sig av samma bokningssystem som vi använder till labbredovisningen, med 20-minuterslots per person. Både teoretiska frågor och problemlösning kan ingå i muntan.

Betygssättning

Till slutbetyget bidrar förljande moment:

 KS1
 KS2
 TEN1
 Betyg utan KT
 Betyg med KT
Del1
 F-A
F-E
 F-A
 F-A
Del2
F-A
 F-E
 F-A
 F-A
Del3

F-C
 F-C
 F-A

Slutbetyget blir minimala betyget från alla tre delar (alltså F-C utan KT och F-A med KT). Betyget till en viss del är dock maximala betyget från varje moment (se ovan).

Problemtyper

Efter kursen skall studenterna kunna lösa följande problemtyper:

Satslogik

Predikatlogik

Prolog

Induktion

Temporallogik

Hoare-logik


Teorifrågor

Efter kursen skall studenterna kunna svara på följande teorifrågor:

Satslogik

Predikatlogik

Induktion

Temporallogik

Hoare-logik