INF1080 – Logiske metoder for informatikk (kun lyd)

By Institutt for informatikk, Universitetet i Oslo

Dette er lydopptak av forelesningene i INF1080 – Logiske metoder for informatikk, et kurs i grunnleggende matematiske og logiske metoder som holdes ved Institutt for informatikk, Universitetet i Oslo.... more

· Education

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about INF1080 – Logiske metoder for informatikk (kun lyd):

How many episodes does INF1080 – Logiske metoder for informatikk (kun lyd) have?

The podcast currently has 27 episodes available.

INF1080 – Logiske metoder for informatikk (kun lyd) episodes:

November 25, 2014 Kapittel 24 forts. og avslutning
Kapittel 24 forts. og tilbakeblikk og avslutning
...more
1h 19min
November 20, 2014 Kapittel 23 forts. og Kapittel 24
Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon
...more
1h 20min
November 18, 2014 Kapittel 22 forts. og Kapittel 23
Kapittel 22 forts. og Kapittel 23: Formelle språk og grammatikker
...more
1h 24min
November 11, 2014 Kapittel 21 forts. og Kapittel 22
Kapittel 21 forts. og Kapittel 22: Vandringer i grafer
...more
1h 23min
November 06, 2014 Kapittel 21
Kapittel 21: Grafteori
...more
1h 24min
November 04, 2014 Kapittel 20
Kapittel 20: Litt abstrakt algebra
...more
1h 25min
October 30, 2014 Kapittel 19
Kapittel 19: Litt mer kombinatorikk
...more
1h 16min
October 28, 2014 Kapittel 18
Kapittel 18: Kombinatorikk
...more
1h 29min
October 23, 2014 Kapittel 16 forts. og Kapittel 17
Kapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner
...more
1h 24min
October 21, 2014 Repetisjon 1
Repetisjon 1 - Matematisk induksjon, relasjoner, bevismetoder og rekursive funksjoner
...more
1h 24min

FAQs about INF1080 – Logiske metoder for informatikk (kun lyd):

How many episodes does INF1080 – Logiske metoder for informatikk (kun lyd) have?

The podcast currently has 27 episodes available.