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 2 – Utsagnslogikk
/ Introduksjon
Introduksjon
Introduksjon
Hva er det som følger fra hva?
Hva er det som følger fra hva?
Hva er et utsagn?
Definisjon: Utsagn
Atomære og sammensatte utsagn
Atomære og sammensatte utsagn
Atomære og sammensatte formler
Definisjon: Utsagnsvariabel
Definisjon: Konnektiv
Definisjon: Utsagnslogiske formler
Eksempel – Utsagnslogiske formler
Eksempel – Representasjon
Nødvendige og tilstrekkelige betingelser
Duale begreper
Hvis og bare hvis
Parenteser, presedensregler og praktiske forkortelser
Parenteser, presedensregler og praktiske forkortelser
Kapitteltest
Kapitteltest – Kapittel 2
Fellestimer H16
Repetisjon kapittel 1 og 2
Spørsmål og svar
Gjennomgang av oppgaver
Forrige
Vis innhold
Skjul innhold
Neste
Introduksjon
Forrige
Vis innhold
Skjul innhold
Neste