INF1080 – Logiske metoder for informatikk
INF1080 – Logiske metoder for informatikk Podcast
1) Gjennomgang av prøveeksamen
Gjennomgang av prøveeksamen ved Andreas Nakkerud
2) Kapittel 24 forts. og avslutning
Kapittel 24 forts. og tilbakeblikk og avslutning
3) Kapittel 23 forts. og Kapittel 24
Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon
4) Kapittel 22 forts. og Kapittel 23
Kapittel 22 forts. og Kapittel 23: Formelle språk og grammatikker
5) Kapittel 21 forts. og Kapittel 22
Kapittel 21 forts. og Kapittel 22: Vandringer i grafer
6) Kapittel 21
Kapittel 21: Grafteori
7) Kapittel 20
Kapittel 20: Litt abstrakt algebra
8) Kapittel 19
Kapittel 19: Litt mer kombinatorikk
9) Kapittel 18
Kapittel 18: Kombinatorikk
10) Kapittel 16 forts. og Kapittel 17
Kapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner