Matematikk for IT-studenter
Ordliste
Kap. 2 Logikk og Bevis
proposition = utsagnslogisk uttrykk (eller bare utsagn)
compound proposition = sammensatt utsagnslogisk uttrykk (sammensatt utsagn)
negation = negasjon
conjunction = konjunksjon (ex. P og Q)
disjunction
= disjunksjon (ex. P eller Q)
logically equivalent = logisk ekvivalent
proof by contradiction = motsigelsesbevis
proof by induction =
induksjonsbevis
predicate = predikat
quantifier = kvantor
Kap. 3 Mengdeteori
set = mengde
subset = delmengde
natural number = naturlig tall (1, 2, 3,...)
integer
= positivt/negativt heltall (0, ± 1, ± 2,...)
rational number
= rasjonalt tall (brøk)
real number = reelt tall (desimaltall)
intersection = snitt
Kap.4 Relasjoner
directed
graph/digraph = rettet graf
closure = tillukning
partial order =
partiell ordning
successor = etterfølger
predecessor =
forgjenger
immediate predecessor = umiddelbar forgjenger
total order =
total ordning
Kap.5 Funksjoner
inverse =
invers
composition = sammensetning
logical matrix product = logisk
matriseprodukt
domain = definisjonsmengde
codomain = range =
verdimengde/bilde/rekkevidde
injective = injektiv/1-1
surjective =
surjektiv/på
bijective = bijektiv/(1-1 og på)
Kap.6 Kombinatorikk
coefficient =
koeffisient = konstant faktor
binomial = binom (toleddet uttrykk),
jfr
polynomial = polynom (flerleddet uttrykk)
binomial coefficient =
binomialkoeffisient = koeffisientene i utviklingen av (a+b)n
for eksempel
(a+b)3=a3+3ab2+3a2b+b3=1a3b0+3a1b2+3a2b1+1a0b3
der 1,3,3,1 er
binomialkoeffisientene C(3,0), C(3,1), C(3,2), C(3,3).
permutation = permutasjon/omordning/stokking
MPs = Members of
Parliament
Kap.7 Grafer
vertex/vertices =
node/noder (hjørner)
edge = kant (side)
incident = hosliggende
("edge e is incident to vertices u and v")
adjacent = direkte forbundet
("vertices u and v are adjacent")
adjacency matrix = nabomatrise
cycle
= sykel (av kanter)
spanning tree = spenntre
Kap.8 Rettede grafer
path = vei,
sti
label = kjennemerke
Kap.9 Boolsk algebra
map =
avbildning, men:
Karnaugh map = Karnaugh-skjema
circuit = krets