Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

Logiske Metoder

This class was created by Brainscape user Henrik Hortemo. Visit their profile to learn more about the creator.

By: Henrik Hortemo
Start Studying

Decks in this class (24)

13 Førstordens språk
Signatur,
Forsteordens sprak,
Forsteordens termer
5  cards
18/19 Kombinatorikk
Permutasjon,
N pa engelsk,
Ut av 10 velg 3 ordnet utvalg
17  cards
20 Litt abstrakt algebra
Invers relasjon,
Invers funksjon,
Kommutativ
9  cards
01 Grunnleggende mengdelære
Mengde,
Mengdebygger,
X x har egenskapen p
10  cards
02 Utsagnslogikk
Utsagn,
Utsagnsvariabel,
Konnektiver
9  cards
03 Semantikk for utsagnslogikk
Sannhetsverdier,
Valuasjon,
Sannhetsverditabell
4  cards
04 Utsagnslogiske begreper
Logisk konsekvens,
Gyldig argument,
Oppfyllbarhet
8  cards
05 Bevis, formodninger og moteksempler
Bevis,
Formodning,
Direkte bevis
5  cards
06 Relasjoner
Relasjon,
Refleksiv relasjon,
Symmetrisk relasjon
9  cards
07 Funksjoner
Funksjon,
Definisjonsomrade og verdiomrade,
Identitetsfunksjonen
10  cards
08 Litt mer mengdelære
Den universelle mengden,
Komplement,
Potensmengde
5  cards
09 Tillukninger og induktivt definerte mengder
Lukket mengde,
Tillukning av en binaer relasjon,
Induktivt definert mengde
9  cards
10 Rekursive funksjoner
Rekursiv funksjon,
Valuasjon rekursiv funksjon
2  cards
11 Matematisk induksjon
Matematisk induksjon
1  cards
12 Strukturell induksjon
Strukturell induksjon,
Substitusjon
2  cards
14 Representasjon av kvantifiserte utsagn
Predikat,
Frie variabler og lukkede formler
2  cards
15 Tolkning i modeller
Modell,
Lukket term,
Tolkning av termer
8  cards
16 Resonnering om modeller
Ekvivalens modeller,
Logisk konsekvens modeller,
Teorier aksiomer og teoremer
3  cards
17 Abstraksjon med ekvivalenser og partisjoner
Ekvivalensklasse,
Partisjon,
Forfining av partisjon
3  cards
21 Grafteori
Graf,
Lokker og parallelle kanter,
Rettet graf
8  cards
22 Vandringer i grafer
Vandringer og stier,
Kretser og sykler,
Sammenhengende
6  cards
23 Formelle språk og grammatikker
Konkatenering av to sprak,
Tillukning av et sprak,
Regulaert sprak
10  cards
24 Naturlig deduksjon
Utledninger og bevis,
Sunnhet og kompletthet,
Utledbarhet
5  cards
24 Naturlig deduksjon
241 utledninger og bevis
1  cards

More about
Logiske Metoder

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Henrik Hortemo's Logiske Metoder flashcards now!

How studying works.

Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.

Learn more about spaced repetition

Add your own flashcards.

Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!

What's Brainscape anyway?

Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.

We use an adaptive study algorithm that is proven to help you learn faster and remember longer....

Looking for something else?

Metode ll
  • 16 decks
  • 316 flashcards
  • 58 learners
Decks: L1 Introduktion, L2 Eksperimentet, L3 Grundprincipper For Inferens, And more!
Internal Medicine
  • 110 decks
  • 11626 flashcards
  • 736 learners
Decks: Kaplan Im Gastroenterology, Omed Chest Pain, Omed Sepsis, And more!
Metod
  • 10 decks
  • 150 flashcards
  • 43 learners
Decks: Glosor For Forsta Tentan, Glosor For Statistik Kap 1, Glosor For Statistik Kap 2, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions