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 15 – Tolkning i modeller
/ Introduksjon
Introduksjon
Introduksjon
Semantikk for førsteordens logikk
Semantikk for førsteordens logikk
Eksempel: Sannhet avhenger av tolkning 1
Eksempel: Sannhet avhenger av tolkning 2
Definisjon av modeller
Definisjon: Modeller
Modellen som funksjon
Tolkning av termer
Definisjon: Tolkning av termer
Eksempel: Tolkning av termer
Tolkning av atomære formler
Definisjon: Tolkning av en lukket atomær formel
Eksempel: Tolkning av en atomær formel
Substitusjoner
Definisjon: Substitusjon i termer
Definisjon: Substitusjon i formler
Tolkning av sammensatte formler
Vi antar at språkene er rike nok
Intuisjon
Tolkning av lukkede formler
Eksempel: Språk med andre symboler
Oppfyllbarhet og gyldighet av førsteordens formler
Definisjon: Oppfyllbar, kontradiktorisk, gyldig og falsifiserbar
Førsteordens språk og likhet
Førsteordens språk og likhet
Oppgaveeksempel
Oppgaveeksempel
Forrige
Vis innhold
Skjul innhold
Neste
Introduksjon
Forrige
Vis innhold
Skjul innhold
Neste