INF1080 - Logiske metoder for informatikk

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

Decks in this class (23)

01 Grunnleggende mengdelære
11 mengde,
12 den tomme mengden,
13 mengdebygger
10  cards
02 Utsagnslogikk
21 utsagn,
22 utsagnsvariabel,
23 konnektiv
5  cards
03 Semantikk for utsagnslogikk
31 sannhetsverdier,
32 tolkning av utsagnslogiske for...,
33 valuasjon
5  cards
04 Utsagnslogiske begreper
41 logisk konsekvens,
42 gyldig argument,
43 oppfyllbarhet
8  cards
05 Bevis, formodninger og moteksempler
51 bevis,
52 formodning,
53 direkte bevis
5  cards
06 Relasjoner
61 relasjon,
62 refleksiv relasjon,
63 symmetrisk relasjon
9  cards
07 Funksjoner
71 funksjon,
72 definisjons og verdiomrade,
73 identitetsfunksjonen
9  cards
08 Litt mer mengdelære
81 den universelle mengden,
82 komplement,
83 potensmengde
5  cards
09 Tillukninger og induktivt definerte mengder
91 lukket mengde,
92 tillukningen av en binaer rela...,
93 induktivt definert mengde
9  cards
10 Rekursive funksjoner
101 rekursiv funksjon,
102 valuasjon
2  cards
11 Matematisk induksjon
111 matematisk induksjon
1  cards
12 Strukturell induksjon
121 strukturell induksjon,
122 substitusjon
2  cards
13 Førsteordens språk
131 forsteordens sprak,
132 signatur,
133 forsteordens termer
5  cards
14 Representasjon av kvantifiserte utsagn
141 predikat,
142 frie variabler og lukkede for...
2  cards
15 Tolkning i modeller
151 modell,
152 lukket term,
153 tolkning av termer
8  cards
16 Resonnering om modeller
161 ekvivalens,
162,
163 teorier aksiomer og teoremer
4  cards
17 Abstraksjon med ekvivalenser og partisjoner
171 ekvivalensklasse,
172 partisjon,
173 forfining av partisjon
3  cards
18 Kombinatorikk
181 inklusjon og eksklusjonsprins...,
182 inklusjon og eksklusjonsprins...,
183 multiplikasjonsprinsippet
8  cards
20 Litt abstrakt algebra
201 invers relasjon,
202 invers funksjon,
203 kommutativ
8  cards
21 Grafteori
211 graf,
21 lokker og parallelle kanter,
213 rettet graf
8  cards
22 Vandringer i grafer
221 vandringer og stier,
222 kretser og sykler,
223 sammenhengende graf
6  cards
23 Formelle språk og grammatikker
231 konkatenering av to sprak,
232 tillukning av et sprak,
233 regulaert sprak
10  cards
24 Naturlig deduksjon
241 utledninger og bevis,
242 sunnhet og kompletthet,
243 utledbarhet
4  cards

More about
INF1080 - Logiske metoder for informatikk

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Henrik Hortemo's INF1080 - Logiske metoder for informatikk 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.

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?

Retsystemet og Juridisk metode
  • 16 decks
  • 242 flashcards
  • 33 learners
Decks: Retten Juridisk Metode Retssystemet Fage, Rettens Instituationer, Retten Og Retfaerdighed, And more!
French
  • 121 decks
  • 6695 flashcards
  • 1288 learners
Decks: Expressions 3, Vocab 68, Vocab 66, And more!
Vetenskaplig metod och statistik 3
  • 16 decks
  • 287 flashcards
  • 53 learners
Decks: Kap 1 Vetenskapligt Tankande Inom Psykol, Kap 5 Introduktion Till Exprimentell For, Kap 9 Korrelationsforskning, And more!
Make Flashcards