Course plan TDDX00 ABCD-und 2004

TDDX00
Practical Aspects of Seventh Order Logics
4 poäng: 2 p tenta, 2 p lab.
För: D4
Period 3+4 (vt1+vt2).
Schemablock: 3 + 3
@KursSekr: @HanNi
Antal föreläsningstimmar: 18
Antal lektionstimmar: 16
Antal laborationstimmar: 26

Enrollment history:
   2003: 33,   2002: 39
   Kursval Okt03: 22st
   LAdok Dec03: 23st
-> 1 klass, 2 labbgrupper

Utfall 040504:
@st 22
Tidsanslag för 22 studenter:
Kursledning 20+22st*4.0p*.1    =   28 h
Kursassistent 10+22st*4.0p*.05 =   14 h
Examinator (setup/jour/visning)            40 h
Examination Tentarättning 22st*2.0p*.3 = 13 h
Labtid total 4*(22/2)*2.0p  =  88 h

@SvaSv Kursledning   20+22st*4p*.1  = $v 28h
@SvaSv Kursassistent 10+22st*4p*.05 = $v 14h
@SvaSv Ex 3 tentor setup/jour/visn    $v 40h
@SvaSv Ex tentarättning 22st*2p*.3  = $v 13h
@SvaSv Föreläsningar 34h*4          = $v136h
@MikGu Lektioner 1 (stor)klass 2h*3 = $v  6h
@MikGu 2 labgrupper 4*(22st/2)*2p   = $v 88h
@SvaSv utfall: uppgradering av kompendium (ej klart) $v 40h (totalt)


˙