Nettkurs for Logiske metoder
Innhold
Introduksjon til kurset
Kapittel 0 – Kunsten å tenke abstrakt og matematisk
Kapittel 1 – Grunnleggende mengdelære
Kapittel 2 – Utsagnslogikk
Kapittel 3 – Semantikk for utsagnslogikk
Kapittel 4 – Utsagnslogiske begreper
Kapittel 5 – Bevis, formodninger og moteksempler
Kapittel 6 – Relasjoner
Kapittel 7 – Funksjoner
Kapittel 8 – Litt mer mengdelære
Kapittel 9 – Tillukninger og induktivt definerte mengder
Kapittel 10 – Rekursive funksjoner
Kapittel 11 – Matematisk induksjon
Kapittel 12 – Strukturell induksjon
Kapittel 13 – Førsteordens språk
Kapittel 14 – Representasjon av kvantifiserte utsagn
Kapittel 15 – Tolkning i modeller
Kapittel 16 – Resonnering om modeller
Kapittel 17 – Abstraksjon med ekvivalenser og partisjoner
Kapittel 18 – Kombinatorikk
Kapittel 19 – Litt mer kombinatorikk
Kapittel 20 – Litt abstrakt algebra
Kapittel 21 – Grafteori
Kapittel 22 – Vandringer i grafer
Kapittel 23 – Formelle språk og grammatikker
Kapittel 24 – Naturlig deduksjon
Status
Quiz
Om
Tastatursnarveier
Sidenavigasjon
Ctrl + høyrepil
Neste side
Ctrl + venstrepil
Forrige side
Ctrl + f
Flytt fokus til søkefeltet
Videokontroll
Disse fungerer både i nettleseren og i YouTube-spilleren.
k
Pause/fortsette avspilling
f
Fullskjermvisning på/av
j / venstrepil
Gå 10 / 5 sekunder bakover
l / høyrepil
Gå 10 / 5 sekunder fremover
Shift + punktum
Øk avspillingshastigheten
Shift + komma
Reduser avspillingshastigheten
Kapittel 19 – Litt mer kombinatorikk
/ Introduksjon
Introduksjon
Introduksjon
Pólyas eksempel og Pascals trekant
Pólyas eksempel
Pascals trekant
Binomialkoeffisienter
Binomialkoeffisientene i Pascals trekant
Binomialkoeffisienter - hvorfor kalles de det?
Systematisering av opptellingsproblemer
Noen vanlige ord som brukes
Uordnet utvalg med repetisjon
To perspektiver
Forrige
Vis innhold
Skjul innhold
Neste
Introduksjon
Forrige
Vis innhold
Skjul innhold
Neste