INF1080 – Logiske metoder for informatikk (kun lyd)

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.

PLAY ON CASTBOX

Kapittel 24 forts. og avslutning

Kapittel 24 forts. og tilbakeblikk og avslutning

11-25

01:18:23

Kapittel 23 forts. og Kapittel 24

Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon

11-20

01:19:19

Kapittel 22 forts. og Kapittel 23

Kapittel 22 forts. og Kapittel 23: Formelle språk og grammatikker

11-18

01:23:22

Kapittel 21 forts. og Kapittel 22

Kapittel 21 forts. og Kapittel 22: Vandringer i grafer

11-11

01:22:50

Kapittel 21

Kapittel 21: Grafteori

11-06

01:23:04

Kapittel 20

Kapittel 20: Litt abstrakt algebra

11-04

01:24:04

Kapittel 19

Kapittel 19: Litt mer kombinatorikk

10-30

01:15:55

Kapittel 18

Kapittel 18: Kombinatorikk

10-28

01:28:28

Kapittel 16 forts. og Kapittel 17

Kapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner

10-23

01:23:16

Repetisjon 1

Repetisjon 1 - Matematisk induksjon, relasjoner, bevismetoder og rekursive funksjoner

10-21

01:23:49

Kapittel 15 forts. og Kapittel 16

Kapittel 15 forts. og Kapittel 16: Resonnering om modeller

10-16

01:11:20

Kapittel 15

Kapittel 15: Tolkning i modeller

10-14

01:27:37

Kapittel 13 forts. og Kapittel 14

Kapittel 13 forts. og Kapittel 14: Representasjon

10-09

01:01:09

Kapittel 13

Kapittel 13: Førsteordens språk

10-07

01:26:36

Kapittel 11 forts. og Kapittel 12

Kapittel 11 forts. og Kapittel 12: Strukturell induksjon

10-02

01:24:48

Kapittel 10 forts. og Kapittel 11

Kapittel 10 forts. og Kapittel 11: Matematisk induksjon

09-30

01:24:46

Kapittel 9 forts. og Kapittel 10

Kapittel 9 forts. og Kapittel 10: Rekursive funksjoner

09-25

01:23:00

Kapittel 9

Kapittel 9: Tillukninger og induktivt definerte mengder

09-18

01:26:31

Kapittel 7 forts. og Kapittel 8

Kapittel 7 forts. og Kapittel 8: Litt mer mengdelære

09-16

01:28:00

Kapittel 6 rep. og Kapittel 7

Kapittel 6 rep. og Kapittel 7: Funksjoner

09-11

01:26:38

View All on Castbox

Recommend Channels