Kapittel 18
Kapittel 18: Kombinatorikk
28 Okt 20141h 28min
Kapittel 16 forts. og Kapittel 17
Kapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner
23 Okt 20141h 23min
Repetisjon 1
Repetisjon 1 - Matematisk induksjon, relasjoner, bevismetoder og rekursive funksjoner
21 Okt 20141h 23min
Kapittel 15 forts. og Kapittel 16
Kapittel 15 forts. og Kapittel 16: Resonnering om modeller
16 Okt 20141h 11min
Kapittel 15
Kapittel 15: Tolkning i modeller
14 Okt 20141h 27min
Kapittel 13 forts. og Kapittel 14
Kapittel 13 forts. og Kapittel 14: Representasjon
9 Okt 20141h 1min
Kapittel 13
Kapittel 13: Førsteordens språk
7 Okt 20141h 26min
Kapittel 11 forts. og Kapittel 12
Kapittel 11 forts. og Kapittel 12: Strukturell induksjon
2 Okt 20141h 24min
