Episódios
-
Gjennomgang av prøveeksamen ved Andreas Nakkerud
-
Kapittel 24 forts. og tilbakeblikk og avslutning
-
Estão a faltar episódios?
-
Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon
-
Kapittel 22 forts. og Kapittel 23: Formelle språk og grammatikker
-
Kapittel 21 forts. og Kapittel 22: Vandringer i grafer
-
Kapittel 21: Grafteori
-
Kapittel 20: Litt abstrakt algebra
-
Kapittel 19: Litt mer kombinatorikk
-
Kapittel 18: Kombinatorikk
-
Kapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner
-
Repetisjon 1 - Matematisk induksjon, relasjoner, bevismetoder og rekursive funksjoner
-
Kapittel 15 forts. og Kapittel 16: Resonnering om modeller
-
Kapittel 15: Tolkning i modeller
-
Kapittel 13 forts. og Kapittel 14: Representasjon
-
Kapittel 13: Førsteordens språk
-
Kapittel 11 forts. og Kapittel 12: Strukturell induksjon
-
Kapittel 10 forts. og Kapittel 11: Matematisk induksjon
-
Kapittel 9 forts. og Kapittel 10: Rekursive funksjoner
-
Kapittel 9: Tillukninger og induktivt definerte mengder
-
Kapittel 7 forts. og Kapittel 8: Litt mer mengdelære
- Mostrar mais
