Toets F\rndamentele fnformatica
1dinsdag 24 oktober 20L7,11.00 - t-3.00 uur
Geef
bij
elke opgave een d,uidelijke ui.tleg. Veel succes!1)
Gegevenzijn
de talenK : {
?u€
{1,2}. l. eindigt
op een 2}
enL -- { w
€.{7,21. l.
heeft een onevenaantal
1-en}
Teken een Venn-diagram van
{1,2}.
metdaarin K
enL.
Plaats elk van de
(acht)
woorden van lengtedrie in
hetjuiste
gebied2)
Gebruik de axioma's/regels van de verzamelingenalgebra om de volgende gelijkheid te bewijzen:A)((B a A.)" ì A) : ¿.
Benoem de gebruikte regels.
HtN:r. De
volgende gelijkheden kunnennuttig zijn in je bewijs: A a (A
UB") :
(AUØ)n(,4U8")
enAU(AaB"): (A)U)U(,4n8").
Welke regel is hier gebruikt?s) (")
BepaalP(P({a})).
(b)
Bewijs:Ac B ëP(A) CP(B).
Je moet dus twee kanten op bewijzen:
(i)
alsAç B danP(A) ÇP(B)
en
(ii)
atsP(A) c P(B)
dan ,4 ÇB
4) R: {(1,2),(2,1),
(3,4),(4,2),(4,5)}
is eenrelatie in {1,2,3,4,5}.
(a)
Teken de gerichte grafen corresponderendmet Ê
en R2:
R o R.* (b)
Bepaalde transitieve afsluiting A+ :
U",>rA'.
Geef ,B+ als verzameling van paren, zoals boven.5)
De relatieS in Z
is gedefinieerd als:rSy
aIsr +
A even is.Ga na of
^9
(i)
reflexief,(ii)
symmetrisch,(iii) transitief
is.ù 6)
Geef tweefunctiesf
:X -+ Yen g:Y -+ Z
waarvandesamenstellinggof
:X -+ Z
wél surjectief is, maar
f
eng
zelfniet
allebei surjectief zijn.Geef
/
eng
door het tekenen van een pijldiagram.HtNr. Het lukt niet
alslxl - lYl: lzl.
1
Z.O.Z
Z) (*)
Leguit
ïvaarom voor een ongerichte graafG :
(V,.8') geldt: de som der graden is twee keer het aantallijnen,
ofwelX,çydeg(u) :2.l0l.
(b)
Hoeveel 5-reguliere grafen bestaaner met
7 knopen?En
hoeveel volledige, bi- partiete grafenmet
7 knopen? Motiveerje
antwoord en teken ze allemaal.S) (") De
ongerichte grafenGr
en G3 hieronderzijn isomorf.
Geef een isomorfisme tussen G1 en G3.(b)
G2is niet
isomorfmet de
andere twee grafen. Geef een eenvoudig argument waaromdat niet
het geval is.0
456
a bc
1
2 4
où
r23d
eGt
G2 G39)
Bewijsmet
behulp van volledigeinductie dat
1+ ÐT:r(i. . il) : (n +
1)!voor
allenatuurlijke
getallenn)
1.Punten:
1:5;2:6;
3: 6; 4: 6;5:5;
6: 5; 7: 6; 8: 6; 9: 52