Uke 35 (mandag 24. august)
Kapittel 2.1 (1.1): 1, 2, 3, 5, 6, 10
Kapittel 2.2 (1.2): 2, 3, 6
Kapittel 2.3 (1.3): 1, 2, 3, 4, 7, 8, 11, 12, 14, 15
Uke 36 (mandag 31. august)
Kapittel 2.4 (1.4): 3, 4, 5, 10, 11
Kapittel 2.5 (1.5): 3, 6, 7, 14
Kapittel 2.6 (1.6): 1, 7
Uke 37 (mandag 7. september)
Kapittel 3.2 (2.2): 1, 2
Kapittel 3.3 (2.3): 1, 2, 4
Kapittel 3.4 (2.4): 1, 4, 5, 7
Kapittel 3.5 (2.5): 2, 3, 12, 15
Kapittel 3.6 (2.6): 1
Kapittel 3.7 (2.7): 1
Kapittel 3.8 (2.8): 1
Kapittel 3.9 (2.9): 1, 3, 8
Uke 38 (mandag 14. september)
Kapittel 4.1 (3.1): 2, 3
Kapittel 4.2 (3.2): 1, 2, 5
Kapittel 4.4 (3.4): 2
Kapittel 5 (4): 1, 5, 6
Uke 39 (mandag 21. september)
Kapittel 6.4 (5.4): 2, 3
Uke 40 (mandag 28. september)
Oblig og tidligere ukeoppgaver.
Uke 41 (mandag 5. oktober)
Oppgavesett fra v?ren 2007.
Uke 42 (mandag 12. oktober)
Oppgave 1 til 4 i Oppgavesett 2 fra v?ren 2007. Merk: Signaturene i oppgaveteksten er bygget opp som < konstanter ; funksjoner ; relasjoner >, alts? annerledes enn vi gjorde tidligere. Begge m?ter er vanlige.
Uke 43 (mandag 19. oktober)
Oppgave 6 og 7 i Oppgavesett 2 fra v?ren 2007. Merk: Signaturene i oppgaveteksten er bygget opp som < konstanter ; funksjoner ; relasjoner >, alts? annerledes enn vi gjorde tidligere. Begge m?ter er vanlige.
Uke 44 (mandag 26. oktober)
Uke 45 (mandag 2. november)
Uke 46 (mandag 9. november)
Oppgavesett om databaser i logikperspektiv.
Uke 47 (mandag 16. november)
Oppgavesett om Description Logic.
Uke 48 (mandag 23. november)
Oppgave 1 til 4 i oppgavesett om modeller og aksiomer.