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
No deck description has yet been added by the author.
10  cards
02 Utsagnslogikk
No deck description has yet been added by the author.
5  cards
03 Semantikk for utsagnslogikk
No deck description has yet been added by the author.
5  cards
04 Utsagnslogiske begreper
No deck description has yet been added by the author.
8  cards
05 Bevis, formodninger og moteksempler
No deck description has yet been added by the author.
5  cards
06 Relasjoner
No deck description has yet been added by the author.
9  cards
07 Funksjoner
No deck description has yet been added by the author.
9  cards
08 Litt mer mengdelære
No deck description has yet been added by the author.
5  cards
09 Tillukninger og induktivt definerte mengder
No deck description has yet been added by the author.
9  cards
10 Rekursive funksjoner
No deck description has yet been added by the author.
2  cards
11 Matematisk induksjon
No deck description has yet been added by the author.
1  cards
12 Strukturell induksjon
No deck description has yet been added by the author.
2  cards
13 Førsteordens språk
No deck description has yet been added by the author.
5  cards
14 Representasjon av kvantifiserte utsagn
No deck description has yet been added by the author.
2  cards
15 Tolkning i modeller
No deck description has yet been added by the author.
8  cards
16 Resonnering om modeller
No deck description has yet been added by the author.
4  cards
17 Abstraksjon med ekvivalenser og partisjoner
No deck description has yet been added by the author.
3  cards
18 Kombinatorikk
No deck description has yet been added by the author.
8  cards
20 Litt abstrakt algebra
No deck description has yet been added by the author.
8  cards
21 Grafteori
No deck description has yet been added by the author.
8  cards
22 Vandringer i grafer
No deck description has yet been added by the author.
6  cards
23 Formelle språk og grammatikker
No deck description has yet been added by the author.
10  cards
24 Naturlig deduksjon
No deck description has yet been added by the author.
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?

Vetenskaplig metod
  • 3 decks
  • 74 flashcards
  • 36 learners
Decks: Vetenskaplig Metod Utifran Forelasning O, Vetenskaplig Metod Utifran Forelasning O, Exempeltenta, And more!
French
  • 121 decks
  • 6695 flashcards
  • 1283 learners
Decks: Expressions 3, Vocab 68, Vocab 66, And more!
Retsystemet og Juridisk metode
  • 16 decks
  • 242 flashcards
  • 33 learners
Decks: Retten Juridisk Metode Retssystemet Fage, Rettens Instituationer, Retten Og Retfaerdighed, And more!
Make Flashcards