Inf1080 Logiske Metoder For Informatikk (kun Lyd)
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 37:29:34
- Mais informações
Informações:
Sinopse
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. Det legges vekt på forståelse og tilvenning av matematiske begreper og notasjon som er relevante for et studium i matematikk og informatikk. Kurset øver opp evnen til å tenke systematisk fra antakelser, løse teoretiske problemer, samt formalisere og gjennomføre matematiske resonnementer selv. Læreboken som benyttes i kurset er «Logiske metoder Kunsten å tenke abstrakt og matematisk» utgitt på Universitetsforlaget (2014): http://www.universitetsforlaget.no/nettbutikk/logiske-metoder.html Foredragsholder og kursansvarlig er Roger Antonsen.
Episódios
-
![Kapittel 24 forts. og avslutning]()
Kapittel 24 forts. og avslutning
25/11/2014 Duração: 01h18minKapittel 24 forts. og tilbakeblikk og avslutning
-
![Kapittel 23 forts. og Kapittel 24]()
Kapittel 23 forts. og Kapittel 24
20/11/2014 Duração: 01h19minKapittel 23 forts. og Kapittel 24: Naturlig deduksjon
-
![Kapittel 22 forts. og Kapittel 23]()
Kapittel 22 forts. og Kapittel 23
18/11/2014 Duração: 01h23minKapittel 22 forts. og Kapittel 23: Formelle språk og grammatikker
-
![Kapittel 21 forts. og Kapittel 22]()
Kapittel 21 forts. og Kapittel 22
11/11/2014 Duração: 01h22minKapittel 21 forts. og Kapittel 22: Vandringer i grafer
-
![Kapittel 21]()
-
![Kapittel 20]()
-
![Kapittel 19]()
-
![Kapittel 18]()
-
![Kapittel 16 forts. og Kapittel 17]()
Kapittel 16 forts. og Kapittel 17
23/10/2014 Duração: 01h23minKapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner
-
![Repetisjon 1]()
Repetisjon 1
21/10/2014 Duração: 01h23minRepetisjon 1 - Matematisk induksjon, relasjoner, bevismetoder og rekursive funksjoner
-
![Kapittel 15 forts. og Kapittel 16]()
Kapittel 15 forts. og Kapittel 16
16/10/2014 Duração: 01h11minKapittel 15 forts. og Kapittel 16: Resonnering om modeller
-
![Kapittel 15]()
-
![Kapittel 13 forts. og Kapittel 14]()
Kapittel 13 forts. og Kapittel 14
09/10/2014 Duração: 01h01minKapittel 13 forts. og Kapittel 14: Representasjon
-
![Kapittel 13]()
-
![Kapittel 11 forts. og Kapittel 12]()
Kapittel 11 forts. og Kapittel 12
02/10/2014 Duração: 01h24minKapittel 11 forts. og Kapittel 12: Strukturell induksjon
-
![Kapittel 10 forts. og Kapittel 11]()
Kapittel 10 forts. og Kapittel 11
30/09/2014 Duração: 01h24minKapittel 10 forts. og Kapittel 11: Matematisk induksjon
-
![Kapittel 9 forts. og Kapittel 10]()
Kapittel 9 forts. og Kapittel 10
25/09/2014 Duração: 01h23minKapittel 9 forts. og Kapittel 10: Rekursive funksjoner
-
![Kapittel 9]()
-
![Kapittel 7 forts. og Kapittel 8]()
Kapittel 7 forts. og Kapittel 8
16/09/2014 Duração: 01h28minKapittel 7 forts. og Kapittel 8: Litt mer mengdelære
-
![Kapittel 6 rep. og Kapittel 7]()
Kapittel 6 rep. og Kapittel 7
11/09/2014 Duração: 01h26minKapittel 6 rep. og Kapittel 7: Funksjoner
