INF1080 – Logiske metoder for informatikk (kun lyd)

INF1080 – Logiske metoder for informatikk (kun lyd)

Institutt for informatikk, Universitetet i Oslo

Share:

copy link

Share:

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...Read More

Dette er lydopptak av forelesningene i INF1080 – Logiske metoder for informatikk, et kurs ...Read More

Episodes (27)

Newest to Oldest

Sort Episodes:

Kapittel 24 forts. og avs...

25 Nov 2014 | 01 hr 18 mins 23 secs

Kapittel 24 forts. o...

25 Nov 2014 | 01 hr 18 mins 23 secs

Kapittel 23 forts. og Kap...

20 Nov 2014 | 01 hr 19 mins 19 secs

Kapittel 23 forts. o...

20 Nov 2014 | 01 hr 19 mins 19 secs

Kapittel 22 forts. og Kap...

18 Nov 2014 | 01 hr 23 mins 22 secs

Kapittel 22 forts. o...

18 Nov 2014 | 01 hr 23 mins 22 secs

Kapittel 21 forts. og Kap...

11 Nov 2014 | 01 hr 22 mins 50 secs

Kapittel 21 forts. o...

11 Nov 2014 | 01 hr 22 mins 50 secs

Kapittel 21

06 Nov 2014 | 01 hr 23 mins 04 secs

Kapittel 21

06 Nov 2014 | 01 hr 23 mins 04 secs

Kapittel 20

04 Nov 2014 | 01 hr 24 mins 04 secs

Kapittel 20

04 Nov 2014 | 01 hr 24 mins 04 secs

Kapittel 19

30 Oct 2014 | 01 hr 15 mins 55 secs

Kapittel 19

30 Oct 2014 | 01 hr 15 mins 55 secs

Kapittel 18

28 Oct 2014 | 01 hr 28 mins 28 secs

Kapittel 18

28 Oct 2014 | 01 hr 28 mins 28 secs

Kapittel 16 forts. og Kap...

23 Oct 2014 | 01 hr 23 mins 16 secs

Kapittel 16 forts. o...

23 Oct 2014 | 01 hr 23 mins 16 secs

Repetisjon 1

21 Oct 2014 | 01 hr 23 mins 49 secs

Repetisjon 1

21 Oct 2014 | 01 hr 23 mins 49 secs

Kapittel 15 forts. og Kap...

16 Oct 2014 | 01 hr 11 mins 20 secs

Kapittel 15 forts. o...

16 Oct 2014 | 01 hr 11 mins 20 secs

Kapittel 15

14 Oct 2014 | 01 hr 27 mins 37 secs

Kapittel 15

14 Oct 2014 | 01 hr 27 mins 37 secs

Kapittel 13 forts. og Kap...

09 Oct 2014 | 01 hr 01 min 09 secs

Kapittel 13 forts. o...

09 Oct 2014 | 01 hr 01 min 09 secs

Kapittel 13

07 Oct 2014 | 01 hr 26 mins 36 secs

Kapittel 13

07 Oct 2014 | 01 hr 26 mins 36 secs

Kapittel 11 forts. og Kap...

02 Oct 2014 | 01 hr 24 mins 48 secs

Kapittel 11 forts. o...

02 Oct 2014 | 01 hr 24 mins 48 secs

hubhopper