INF1080 – Logiske metoder for informatikk

Follow INF1080 – Logiske metoder for informatikk
Share on
Copy link to clipboard

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 e…

Institutt for informatikk, Universitetet i Oslo

  • Nov 28, 2014 LATEST EPISODE
  • infrequent NEW EPISODES
  • 1h 23m AVG DURATION
  • 28 EPISODES


Search for episodes from INF1080 – Logiske metoder for informatikk with a specific topic:

Latest episodes from INF1080 – Logiske metoder for informatikk

Gjennomgang av prøveeksamen

Play Episode Listen Later Nov 28, 2014 90:10


Gjennomgang av prøveeksamen ved Andreas Nakkerud

gjennomgang
Kapittel 24 forts. og avslutning

Play Episode Listen Later Nov 25, 2014 78:26


Kapittel 24 forts. og tilbakeblikk og avslutning

kapittel
Kapittel 23 forts. og Kapittel 24

Play Episode Listen Later Nov 20, 2014 79:22


Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon

kapittel naturlig
Kapittel 22 forts. og Kapittel 23

Play Episode Listen Later Nov 18, 2014 83:25


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

kapittel
Kapittel 21 forts. og Kapittel 22

Play Episode Listen Later Nov 11, 2014 82:53


Kapittel 21 forts. og Kapittel 22: Vandringer i grafer

kapittel
Kapittel 21

Play Episode Listen Later Nov 6, 2014 83:07


Kapittel 21: Grafteori

kapittel grafteori
Kapittel 20

Play Episode Listen Later Nov 4, 2014 84:07


Kapittel 20: Litt abstrakt algebra

litt kapittel
Kapittel 19

Play Episode Listen Later Oct 30, 2014 75:58


Kapittel 19: Litt mer kombinatorikk

litt kapittel
Kapittel 18

Play Episode Listen Later Oct 28, 2014 88:31


Kapittel 18: Kombinatorikk

kapittel
Kapittel 16 forts. og Kapittel 17

Play Episode Listen Later Oct 23, 2014 83:19


Kapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner

kapittel
Repetisjon 1

Play Episode Listen Later Oct 21, 2014 83:52


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

matematisk
Kapittel 15 forts. og Kapittel 16

Play Episode Listen Later Oct 16, 2014 71:23


Kapittel 15 forts. og Kapittel 16: Resonnering om modeller

kapittel
Kapittel 15

Play Episode Listen Later Oct 14, 2014 87:40


Kapittel 15: Tolkning i modeller

kapittel tolkning
Kapittel 13 forts. og Kapittel 14

Play Episode Listen Later Oct 9, 2014 61:12


Kapittel 13 forts. og Kapittel 14: Representasjon

kapittel
Kapittel 13

Play Episode Listen Later Oct 7, 2014 86:39


Kapittel 13: Førsteordens språk

kapittel
Kapittel 11 forts. og Kapittel 12

Play Episode Listen Later Oct 2, 2014 84:48


Kapittel 11 forts. og Kapittel 12: Strukturell induksjon

kapittel strukturell
Kapittel 10 forts. og Kapittel 11

Play Episode Listen Later Sep 30, 2014 84:46


Kapittel 10 forts. og Kapittel 11: Matematisk induksjon

kapittel matematisk
Kapittel 9 forts. og Kapittel 10

Play Episode Listen Later Sep 25, 2014 83:00


Kapittel 9 forts. og Kapittel 10: Rekursive funksjoner

kapittel
Kapittel 9

Play Episode Listen Later Sep 18, 2014 86:31


Kapittel 9: Tillukninger og induktivt definerte mengder

kapittel
Kapittel 7 forts. og Kapittel 8

Play Episode Listen Later Sep 16, 2014 88:00


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

litt kapittel
Kapittel 6 rep. og Kapittel 7

Play Episode Listen Later Sep 11, 2014 86:38


Kapittel 6 rep. og Kapittel 7: Funksjoner

kapittel
Kapittel 5 rep. og Kapittel 6

Play Episode Listen Later Sep 9, 2014 89:21


Kapittel 5 rep. og Kapittel 6: Relasjoner

kapittel relasjoner
Kapittel 5

Play Episode Listen Later Sep 4, 2014 86:44


Kapittel 5: Bevis, formodninger og moteksempler

bevis kapittel
Kapittel 3 forts. og Kapittel 4

Play Episode Listen Later Sep 2, 2014 84:21


Kapittel 3 forts. og Kapittel 4: Utsagnslogiske begreper

kapittel
Kapittel 2 forts. og Kapittel 3

Play Episode Listen Later Aug 28, 2014 81:51


Kapittel 2 forts. og Kapittel 3: Semantikk for utsagnslogikk

kapittel
Kapittel 1 forts. og Kapittel 2

Play Episode Listen Later Aug 26, 2014 88:41


Kapittel 1 forts. og Kapittel 2: Utsagnslogikk

kapittel
Kapittel 0 og Kapittel 1

Play Episode Listen Later Aug 21, 2014 88:40


Kapittel 0: Kunsten å tenke abstrakt og Kapittel 1: Mengdelære

kunsten kapittel
Introduksjon og oversikt

Play Episode Listen Later Aug 19, 2014 87:01


Introduksjon og oversikt over kurset

introduksjon

Claim INF1080 – Logiske metoder for informatikk

In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

Claim Cancel