Nettkurs for
Logiske metoder
Innhold
Status
Quiz
Om
Ordliste
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 – Rekursivt definerte 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
Live
Neste fellestime:
Ikke planlagt.
Sjekk tilbake senere.
Discourse
Devilry
YouTube-kanalen
Semestersiden for IN1150
Kurssiden for IN1150
Bytt mellom mørk/lys
(Også CTRL+d)
Tastatursnarveier
Sidenavigasjon
Ctrl + høyrepil
Neste side
Ctrl + venstrepil
Forrige side
Ctrl + f
Flytt fokus til søkefeltet
Videokontroll
Disse skal i teorien fungere både i nettleseren og i YouTube.
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 10 – Rekursivt definerte funksjoner
/ Plassholdere og likhet
Introduksjon
Introduksjon
De triangulære tallene
De triangulære tallene
Plassholdere og likhet
Form, innhold og plassholdere
Bytte likt med likt
Rekursive funksjoner
Definisjon: Rekursivt definert funksjon
Tallmengder
Eksempel: En enkel rekursiv definisjon på naturlige tall
Eksempel: Fakultetsfunksjonen, definert rekursivt
Eksempel: Fibonacci-tallene
Bitstrenger
Bitstrenger
Utsagnslogiske formler
Definisjon: Valuasjon
Lister
Eksempel: Lengden til en liste
Eksempel: Sammensetning av lister
Eksempel: Bildet av en liste
Binære trær
Definisjonen av et binært tre igjen
Eksempel: Antall noder i et binært tre
Eksempel: Høyden til et binært tre
Formelle språk
Eksempler med formelle språk
Rekursjon og programmering
Rekursjon og programmering
Kapitteltest
Kapitteltest – Kapittel 10
Fellestimer H16
Repetisjon og spørsmål og svar
Oppgaver og perspektiver
Fellestime V18
Fellestime uke 5: Kapittel 9 og 10
Forrige
Vis innhold
Skjul innhold
Neste
Bytte likt med likt
Gi tilbakemelding på denne videoen!
Hva syns du om denne videoen?
Vennligst velg en verdi!
(Én stjerne er dårligst, tre stjerner er middels og fem stjerner er best.)
Kommentarer eller tilbakemeldinger?
(Hvordan kan denne videoen bli bedre?)
Send inn
Forrige
Vis innhold
Skjul innhold
Neste