| Dato | Tema | Opptak |
|---|---|---|
| Fredag 27. november | Avslutningsfest! | YouTube |
| Fredag 27. november | Gjennomgang av pr?veeksamen | YouTube |
| Fredag 13. november | Kapittel 24: Naturlig deduksjon | YouTube | MP4 |
| Onsdag 11. november | Kapittel 23: Formelle spr?k og grammatikker | YouTube | MP4 |
| Fredag 6. november | Kapittel 22: Vandringer i grafer | YouTube | MP4 |
| Onsdag 4. november | Kapittel 21: Grafteori | YouTube | MP4 |
| Fredag 30. oktober | Kapittel 20: Litt abstrakt algebra | YouTube | MP4 |
| Onsdag 28. oktober | Kapittel 19: Litt mer kombinatorikk | YouTube | MP4 |
| Fredag 23. oktober | Kapittel 18: Kombinatorikk | YouTube | MP4 |
| Onsdag 21. oktober | Kapittel 17: Abstraksjon med ekvivalenser og partisjoner | YouTube | MP4 |
| Fredag 16. oktober | Kapittel 16: Resonnering om modeller | YouTube | MP4 |
| Onsdag 14. oktober | Kapittel 15: Tolkning i modeller | YouTube | MP4 |
| Onsdag 7. oktober | Kapittel 14: Representasjon av kvantifiserte utsagn | YouTube | MP4 |
| Fredag 2. oktober | Kapittel 13: F?rsteordens spr?k | YouTube | MP4 |
| Onsdag 30. september | Kapittel 12: Strukturell induksjon | YouTube | MP4 |
| Fredag 25. september | Kapittel 11: Matematisk induksjon | YouTube | MP4 |
| Onsdag 23. september | Kapittel 10: Rekursive funksjoner | YouTube | MP4 |
| Fredag 18. september | Kapittel 9: Tillukninger og induktivt definerte mengder | YouTube | MP4 |
| Onsdag 16. september | Kapittel 8: Litt mer mengdel?re | YouTube | MP4 |
| Fredag 11. september | Kapittel 7: Funksjoner | YouTube | MP4 |
| Onsdag 9. september | Kapittel 6: Relasjoner | YouTube | MP4 |
| Fredag 4. september | Kapittel 5: Bevis, formodninger og moteksempler | YouTube | MP4 |
| Onsdag 2. september | Kapittel 4: Utsagnslogiske begreper | YouTube | MP4 |
| Fredag 28. august | Kapittel 3: Semantikk for utsagnslogikk | YouTube | MP4 |
| Onsdag 26. august | Kapittel 2: Utsagnslogikk | YouTube | MP4 |
| Fredag 21. august | Kapittel 1: Grunnleggende mengdel?re | YouTube | MP4 |
| Onsdag 19. august | Introduksjon, praktisk info, sp?rsm?l og svar, oversikt over kurset og kapittel 0. |
YouTube | MP4 |