Lista på begrepp att kunna

Begrepp att kunna (nu kap 1-4, kommer att fyllas på)

Utsaga
Konnektiv ($\neg$, $\wedge$, $\vee$, $\rightarrow$, $\leftrightarrow$)
Sanningstabell
Tautologi
Logisk konsekvens

Predikat
Kvantifikatorer ($\forall$ och $\exists$)

Mängder
Element
Tillhör ($\in$)
Tomma mängden ($\emptyset$)
Delmängd ($\subseteq$)
Standardmängder ($\mathbb{N} \subseteq \mathbb{Z} \subseteq \mathbb{Q} \subseteq \mathbb{R} \subseteq \mathbb{C}$, intervall).
Union ($\cup$)
Snitt ($\cap$)
Mängddifferens ($\backslash$)
Symmetrisk differens ($\triangle$)
Kartesisk produkt ($A \times B$)
Potensmängd ($\wp$)

Funktion
Definitionsmängd, målmängd, värdemängd, bild
Funktionsgraf
Injektiva, surjektiva, bijektiva funktioner
Sammansatta funktioner
Invers
Operatorer
Kommutativa, associativa operatorer
Identitetselement, invers (med avseende på en operator)
Relationer
Reflexiva, symmetriska, antisymmetriska, transitiva relationer
Partiell ordning
Ekvivalensrelation
$\sum$ och $\prod$

Induktionsprincipen
Induktionsantagande (=induktionshypotes)
Rekursiva definitioner av talföljder (t ex Fibonaccitalen)
Motsägelsebevis

Största gemensam delare
Euklides algoritm
Kongruens, kongruensklass
Primtal
Diofantisk ekvation
Kinesiska restsatsen
Kryptering
RSA

Multiplikationsprincipen
Binomialkoefficient
Permutation
Pascals triangel
$n!$ ("fakultet")

Graf
Nod
Kant
Grad (av nod i en graf)
Komponent
Sammanhängande
Isomorfi (grafer)
Cykel
Träd
Fullständiga grafen $K_n$