Fremdriftsplan
OF: Oversiktsforelesning
ØF: Øvingsforelesning
RF: Repetisjonsforelesning
RA: Pensumboken (forkortelsen referer til forfatteren, Roger Antonsen)
EK: Ekstrakapitler (finnes under Pensum)
Oppgaver til ØF gjøres tilgjengelig onsdagen før de gjennomgås. Løsningsforslag for ØF gjøres tilgjengelig i etterkant. Feil oppdaget i ØF vil som oftest rettes i løsningsforslaget. Bruk derfor gjerne løsningsforslaget som referanse.
Tema for ukens øvinger (skriftlig + STACK) er alltid pensumet som ble gjennomgått forrige uke.
NB: Tabellen fylles ut løpende, og endringer kan forekomme.
| Uke | Ukens tema | OF-slides | ØF-oppgaver | Skriftlige øvinger (frist fredag 14:00) | STACK-øvinger | Quiz |
|---|---|---|---|---|---|---|
| 34 | Mengder og relasjoner (RA: Kap. 1, 6, 8 (s. 89-92)) | Intro-slides Slides mengdelære | Oppgaver ØF1 | Ingen skriftlig øving | Ingen STACK-øving | |
| 35 | Relasjoner og funksjoner (RA: Kap. 6, 7, 8) | Slides relasjoner/funksjoner | Oppgaver ØF2* | Øving 1 | STACK 1 | |
| 36 | Utsagnslogikk Ⅰ (RA: Kap. 2, 3, 4 (s. 41-42)) | Slides utsagnslogikk 1 Notater utsagnslogikk | Oppgaver ØF3 | Øving 2 | STACK 2 | |
| 37 | Utsagnslogikk ⅠⅠ (RA: Kap.4, 5) | Slides utsagnslogikk 2 | Oppgaver ØF4 | Ingen skriftlig øving | STACK 3 | |
| 38 | Rekursjon og induksjon (RA: Kap. 9, 10, 11, 12) | Slides rekursjon/induksjon | Oppgaver ØF5 | Øving 3* | Ingen STACK-øving | |
| 39 | Tallteori, innføring (EK: Kap. 25) | Slides tallteori | Oppgaver ØF6 | Øving 4 | Ingen STACK-øving | |
| 40 | Tallteori, kongruensregning (EK: Kap. 26, 27; RA: Kap. 17) | Slides kongruenser* | Oppgaver ØF7 | Ingen skriftlig øving | STACK 4 | |
| 41 | Kryptologi (EK: Kap. 27, 28) | Slides kryptologi Kvantedatamaskiner (bonus) | Oppgaver ØF8 | Øving 5* | STACK 5 | |
| 42 | Kombinatorikk (RA: Kap. 18, 19) | Notater kombinatorikk 1 | Oppgaver ØF9 | Øving 6 | STACK 6 | |
| 43 | Kombinatorikk (RA: Kap. 18, 19), Predikatlogikk (eget notat) | Slides kombinatorikk 2, Notat predikatlogikk | Øving 7 | STACK 7 | ||
| 44 | Predikatlogikk (eget notat), førsteordens språk (RA: Kap. 13, 14) | Slides førsteordens språk | Øving 8# | Ingen STACK-øving | Quiz U44 | |
| 45 | Grafteori (RA: Kap 21, 22) | Slides Grafteori | Ingen ØF 12. november | Øving 9 | Ingen STACK-øving | |
| 46 | Tilstandsmaskiner og regulære språk (RA: Kap 23) | Slides Tilstandsmaskiner og regulære språk | Øving 10 | STACK 8 | ||
| 47 | Repetisjon | Ingen skriftlig øving. Anbefalte oppgaver: Se øving 10 oppgave 2 fra i fjor og "Logiske Metoder" 23.1-3 og 23.6-12 | Ingen STACK-øving |
* korrigert
# Øving 8: Feil i LF oppg. 1c)