INF1080 – Logiske metoder for informatikk

INF1080 – Logiske metoder for informatikk

Institutt for informatikk, Universitetet i Oslo

Share:

copy link

Share:

Dette er opptak 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 gj...Read More

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

Episodes (28)

Newest to Oldest

Sort Episodes:

Gjennomgang av prøveeksam...

28 Nov 2014 | 01 hr 30 mins 10 secs

Gjennomgang av prøve...

28 Nov 2014 | 01 hr 30 mins 10 secs

Kapittel 24 forts. og avs...

25 Nov 2014 | 01 hr 18 mins 26 secs

Kapittel 24 forts. o...

25 Nov 2014 | 01 hr 18 mins 26 secs

Kapittel 23 forts. og Kap...

20 Nov 2014 | 01 hr 19 mins 22 secs

Kapittel 23 forts. o...

20 Nov 2014 | 01 hr 19 mins 22 secs

Kapittel 22 forts. og Kap...

18 Nov 2014 | 01 hr 23 mins 25 secs

Kapittel 22 forts. o...

18 Nov 2014 | 01 hr 23 mins 25 secs

Kapittel 21 forts. og Kap...

11 Nov 2014 | 01 hr 22 mins 53 secs

Kapittel 21 forts. o...

11 Nov 2014 | 01 hr 22 mins 53 secs

Kapittel 21

06 Nov 2014 | 01 hr 23 mins 07 secs

Kapittel 21

06 Nov 2014 | 01 hr 23 mins 07 secs

Kapittel 20

04 Nov 2014 | 01 hr 24 mins 07 secs

Kapittel 20

04 Nov 2014 | 01 hr 24 mins 07 secs

Kapittel 19

30 Oct 2014 | 01 hr 15 mins 58 secs

Kapittel 19

30 Oct 2014 | 01 hr 15 mins 58 secs

Kapittel 18

28 Oct 2014 | 01 hr 28 mins 31 secs

Kapittel 18

28 Oct 2014 | 01 hr 28 mins 31 secs

Kapittel 16 forts. og Kap...

23 Oct 2014 | 01 hr 23 mins 19 secs

Kapittel 16 forts. o...

23 Oct 2014 | 01 hr 23 mins 19 secs

Repetisjon 1

21 Oct 2014 | 01 hr 23 mins 52 secs

Repetisjon 1

21 Oct 2014 | 01 hr 23 mins 52 secs

Kapittel 15 forts. og Kap...

16 Oct 2014 | 01 hr 11 mins 23 secs

Kapittel 15 forts. o...

16 Oct 2014 | 01 hr 11 mins 23 secs

Kapittel 15

14 Oct 2014 | 01 hr 27 mins 40 secs

Kapittel 15

14 Oct 2014 | 01 hr 27 mins 40 secs

Kapittel 13 forts. og Kap...

09 Oct 2014 | 01 hr 01 min 12 secs

Kapittel 13 forts. o...

09 Oct 2014 | 01 hr 01 min 12 secs

Kapittel 13

07 Oct 2014 | 01 hr 26 mins 39 secs

Kapittel 13

07 Oct 2014 | 01 hr 26 mins 39 secs

hubhopper