Logik för dataloger, logik09
Hemtal
Hemtalen har syftet att
aktivera studenterna att arbeta och öva på kursmaterialet.
Fyra hemtal skall utföras hemma, och sedan kamraträttas under
respektive övningstillfället (se nedan och Övningar).
Varje hemtal ger 1 bonuspoäng till tentan, om kamraträttad
och
inlämnad vid rätta övningstillfället. Vad som
gäller huvudsakligen för att hemtalen blir godkända
är att ha gjort ett bra försök
till att lösa
alla
uppgift.
Kamraträttningen sker i
början av respektive övningstillfället och har syftet
att (utom själva rättningen) lära studenterna att
läsa andra personers bevis. Den som rättar skriver
"Rättat av:" och skriver tydligt sitt namn. Efter insamlingen av
kamraträttade hemtalen går det inte längre att
lämna in några hemtal. Hemtalen kommer
inte att bli rättade av
assistenterna. Efter registerering av bonuspoäng blir hemtalen
delade ut tillbaka till studenterna.
Nr.
|
Datum
|
Tema
|
Utdelat
|
1
|
24/3
(Ö2)
|
Satslogik: Naturlig deduktion |
H1
|
2
|
31/3
(Ö3)
|
Satslogik: Semantik;
Predikatlogik: Syntax |
H2
|
3
|
21/4
(Ö5)
|
Prolog
|
H3
|
4
|
28/4
(Ö6)
|
Induktion
|
H4
|
Hemtal