Logiske metoder | Semantikk for førsteordens logikk

Nettkurs for Logiske metoder

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.

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 15 – Tolkning i modeller

Introduksjon
- Introduksjon
Semantikk for førsteordens logikk
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
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
Kapitteltest
- Kapitteltest – Kapittel 15

Kapittel 15 – Tolkning i modeller / Semantikk for førsteordens logikk

Introduksjon
- Introduksjon
Semantikk for førsteordens logikk
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
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
Kapitteltest
- Kapitteltest – Kapittel 15

Semantikk for førsteordens logikk

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?)