Framdriftsplan
PR: Plenumsregning
ØF: Øvingsforelesning
RA: Pensumboken (forkortelsen referer til forfatteren, Roger Antonsen)
Forelesningsnotater vil gjøres tilgjengelig før hver enkelt oversiktsforelesning (OF). PR-oppgaver gjøres tilgjengelig tidlig den uken de skal gjennomgås. Løsningsforslag for PR gjøres tilgjengelig hver uke. Feil oppdaget i plenumsregningsoppgavene vil som oftest rettes i løsningsforslaget. Bruk derfor gjerne løsningsforslaget som referanse.
| Uke | Ukens tema | Forelesningsnotater | PR-oppgaver | Quiz | Innleveringsoppgaver (av totalt 10 innleveringer må 7 være godkjent. Øving 10 gir dobbel uttelling.) | Stackoppgaver (av totalt 8 innleveringer må 5 være godkjent) | |
|---|---|---|---|---|---|---|---|
| 34 | Mengder og relasjoner (RA: Kap. 1,6,8 (s. 89-90)) | Intro Forelesning 1 (v3) | Plenumsregning 1 | Ingen innleveringsoppgaver. | |||
| 35 | Relasjoner og funksjoner (RA: Kap. 6,7,8) | Forelesning 2 (v4) | Plenumsregning 2 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 1 Frist 1. september 14:00. | #1 https://stack.math.ntnu.no/ Frist 1. september 14:00. | ||
| 36 | Rekursjon og induksjon (RA: Kap. 9,10,11,12) | Forelesning 3 (v3) | Plenumsregning 3 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 2. Frist 8. september 14:00. | #2 https://stack.math.ntnu.no/ Frist 8. september 14:00. | ||
| 37 | Utsagnslogikk Ⅰ (RA: Kap. 2,3, 4 (s. 41-42)) | Forelesning 4 (v2) | Plenumsregning 4 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 3 Frist 15. september 14:00. | Ingen STACK-øving | ||
| 38 | Utsagnslogikk ⅠⅠ (RA: Kap.4,5) | Forelesning 5 (v3) | Plenumsregning 5 | Ingen skriftlig innlevering denne uken. | #3 https://stack.math.ntnu.no/ Frist 22. september 14:00. | ||
| 39 | Tallteori, innføring Kap. 25 - Tallteori (v3) | Forelesning 6 (v4) | Plenumsregning 6 | Quiz 6 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 4 Frist 29. september 14:00. | Ingen STACK-øving | |
| 40 | Tallteori, kongruensregning Kap. 26 - Kongruensregning (v2) Kap. 27 - Litt mer tallteori (RA: Kap 17) | Forelesning 7 (v2) | Plenumsregning 7 (v2) | Quiz 7 (v2) | Ingen skriftlig innlevering (husk STACK!) | #4 https://stack.math.ntnu.no/ Frist 6. oktober 14:00. | |
| 41 | Kryptologi: Nøkkelutveksling og RSA Kap. 28 - Kryptologi (v2) | Forelesning 8 (v2), Bonusslides - Fremtidens kryptografi | Plenumsregning 8 | Quiz 8 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 5 Frist 13. oktober 14:00. | #5 https://stack.math.ntnu.no/ Frist 13. oktober 14:00. | |
| 42 | Førsteordens språk (RA: Kap 13,14,15) | Forelesning 9/10 (v3) | Plenumsregning 9 v2.1 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 6 Frist 20. oktober 14:00. | #6 https://stack.math.ntnu.no/ Frist 20. oktober 14:00. | ||
| 43 | Mer om førsteordens språk (RA:15,16 (kun sidene 179-81), Kombinatorikk (RA: Kap 18) | Forelesning 10 (v2) | Plenumsregning 10 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 7 Frist 27. oktober 14:00. | Ingen STACK-øving | ||
| 44 | Mer kombinatorikk (RA: Kap 19), Grafteori (RA: Kap 21) | Forelesning 11 (v1) | Plenumsregning 11 (v2) | Quiz 11 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 8 Frist 3. november 14:00. | #7 https://stack.math.ntnu.no/ Frist 3. november 14:00. | |
| 45 | Vandringer i grafer (RA: Kap 22) | Forelesning 12 (v3) | Plenumsregning 12 | Quiz 12 | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 9 Frist 10. november 14:00. | #8 https://stack.math.ntnu.no/ Frist 10. november 14:00. | |
| 46 | Tilstandsmaskiner og regulære språk (RA: Kap 23) | Forelesning 13 (v2) | Plenumsregning 13 | Quiz 13 (v2) | Må leveres på Ovsys2. Øvingen kan også finnes her: Øving 10 Frist 20. november 12:00. | Ingen STACK-øving | |
| 47 | Repetisjon/Delvis løsningsforslag av prøveeksamen (del 2) | Delvis gjennomgang av prøveeksamen | Ingen innleveringsoppgaver. |
NB: Tabellen fylles ut løpende.