Nettkurs for Logiske metoder
StatusQuizOmOrdliste
Introduksjon til kursetKapittel 0 – Kunsten å tenke abstrakt og matematiskKapittel 1 – Grunnleggende mengdelæreKapittel 2 – UtsagnslogikkKapittel 3 – Semantikk for utsagnslogikkKapittel 4 – Utsagnslogiske begreperKapittel 5 – Bevis, formodninger og moteksemplerKapittel 6 – RelasjonerKapittel 7 – FunksjonerKapittel 8 – Litt mer mengdelæreKapittel 9 – Tillukninger og induktivt definerte mengderKapittel 10 – Rekursivt definerte funksjonerKapittel 11 – Matematisk induksjonKapittel 12 – Strukturell induksjonKapittel 13 – Førsteordens språkKapittel 14 – Representasjon av kvantifiserte utsagnKapittel 15 – Tolkning i modellerKapittel 16 – Resonnering om modellerKapittel 17 – Abstraksjon med ekvivalenser og partisjonerKapittel 18 – KombinatorikkKapittel 19 – Litt mer kombinatorikkKapittel 20 – Litt abstrakt algebraKapittel 21 – GrafteoriKapittel 22 – Vandringer i graferKapittel 23 – Formelle språk og grammatikkerKapittel 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