Filtrer par genre

INF1080 – Logiske metoder for informatikk (kun lyd)

Institutt for informatikk, Universitetet i Oslo

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.

27 - Kapittel 24 forts. og avslutning

0:00 / 0:00

27 - Kapittel 24 forts. og avslutning
Kapittel 24 forts. og tilbakeblikk og avslutning
Tue, 25 Nov 2014 - 1h 18min
26 - Kapittel 23 forts. og Kapittel 24
Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon
Thu, 20 Nov 2014 - 1h 19min
25 - Kapittel 22 forts. og Kapittel 23
Kapittel 22 forts. og Kapittel 23: Formelle språk og grammatikker
Tue, 18 Nov 2014 - 1h 23min
24 - Kapittel 21 forts. og Kapittel 22
Kapittel 21 forts. og Kapittel 22: Vandringer i grafer
Tue, 11 Nov 2014 - 1h 22min
23 - Kapittel 21
Kapittel 21: Grafteori
Thu, 06 Nov 2014 - 1h 23min
22 - Kapittel 20
Kapittel 20: Litt abstrakt algebra
Tue, 04 Nov 2014 - 1h 24min
21 - Kapittel 19
Kapittel 19: Litt mer kombinatorikk
Thu, 30 Oct 2014 - 1h 15min
20 - Kapittel 18
Kapittel 18: Kombinatorikk
Tue, 28 Oct 2014 - 1h 28min
19 - Kapittel 16 forts. og Kapittel 17
Kapittel 16 forts. og Kapittel 17: Ekvivalensklasser og partisjoner
Thu, 23 Oct 2014 - 1h 23min
18 - Repetisjon 1
Repetisjon 1 - Matematisk induksjon, relasjoner, bevismetoder og rekursive funksjoner
Tue, 21 Oct 2014 - 1h 23min
17 - Kapittel 15 forts. og Kapittel 16
Kapittel 15 forts. og Kapittel 16: Resonnering om modeller
Thu, 16 Oct 2014 - 1h 11min
16 - Kapittel 15
Kapittel 15: Tolkning i modeller
Tue, 14 Oct 2014 - 1h 27min
15 - Kapittel 13 forts. og Kapittel 14
Kapittel 13 forts. og Kapittel 14: Representasjon
Thu, 09 Oct 2014 - 1h 01min
14 - Kapittel 13
Kapittel 13: Førsteordens språk
Tue, 07 Oct 2014 - 1h 26min
13 - Kapittel 11 forts. og Kapittel 12
Kapittel 11 forts. og Kapittel 12: Strukturell induksjon
Thu, 02 Oct 2014 - 1h 24min
12 - Kapittel 10 forts. og Kapittel 11
Kapittel 10 forts. og Kapittel 11: Matematisk induksjon
Tue, 30 Sep 2014 - 1h 24min
11 - Kapittel 9 forts. og Kapittel 10
Kapittel 9 forts. og Kapittel 10: Rekursive funksjoner
Thu, 25 Sep 2014 - 1h 23min
10 - Kapittel 9
Kapittel 9: Tillukninger og induktivt definerte mengder
Thu, 18 Sep 2014 - 1h 26min
9 - Kapittel 7 forts. og Kapittel 8
Kapittel 7 forts. og Kapittel 8: Litt mer mengdelære
Tue, 16 Sep 2014 - 1h 28min
8 - Kapittel 6 rep. og Kapittel 7
Kapittel 6 rep. og Kapittel 7: Funksjoner
Thu, 11 Sep 2014 - 1h 26min
7 - Kapittel 5 rep. og Kapittel 6
Kapittel 5 rep. og Kapittel 6: Relasjoner
Tue, 09 Sep 2014 - 1h 29min
6 - Kapittel 5
Kapittel 5: Bevis, formodninger og moteksempler
Thu, 04 Sep 2014 - 1h 26min
5 - Kapittel 3 forts. og Kapittel 4
Kapittel 3 forts. og Kapittel 4: Utsagnslogiske begreper
Tue, 02 Sep 2014 - 1h 24min
4 - Kapittel 2 forts. og Kapittel 3
Kapittel 2 forts. og Kapittel 3: Semantikk for utsagnslogikk
Thu, 28 Aug 2014 - 1h 21min
3 - Kapittel 1 forts. og Kapittel 2
Kapittel 1 forts. og Kapittel 2: Utsagnslogikk
Tue, 26 Aug 2014 - 1h 28min
2 - Kapittel 0 og Kapittel 1
Kapittel 0: Kunsten å tenke abstrakt og Kapittel 1: Mengdelære
Thu, 21 Aug 2014 - 1h 28min
1 - Introduksjon og oversikt
Introduksjon og oversikt over kurset
Tue, 19 Aug 2014 - 1h 27min