HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.

2017

Haustnn 2017

Strjl strfri fyrir verkfrinema

T-103-STST

Skiladmi: Str dmaskil 1

Nafn : _________________________________

Kennitala : __________________

Dags : ___________

Hpur : ___________

Dmatmakennari: _______________________
HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.2017

Strjl strfri fyrir verkfrinema - Str dmaskil 1

2 bestu af 3 gilda alls 10% af lokaeinkunn nmskeiinu.

1. (12%) Setji upp sanntflu (truth table) og noti hana til a kvara hvort reglan
(( q p)) ( p q) er ssanna (tautology). Gefin eru 12 stig fyrir alveg rtta
sanntflu og svar, 6 stig ef ein villa er ger en 0 stig ella.

p q q p ( q p ) pq (( q p)) ( p q)

T T

T F

F T

F F

Setji hring um rtta svari: Ssanna Ekki ssanna

2. Gefnar eru eftirfarandi opnar yringar:

K(x) x er kennari
L(x) x er leyfi
D(x,y) x er kennari deildinni y
S(x,y) nemandinn x er skyldugur til a taka nmskeii y

Riti eftirfarandi stahfingar me v a nota eftir v sem vi kvantara

(quantifiers), rkfrileg tkn og K(x), L(x), D(x,y) og S(x,y).

a) (3%) Erla er kennari og er ekki leyfi.

b) (3%) Allir kennarar Lagadeild eru leyfi.

c) (3%) Enginn kennari Tlvunarfrideild er leyfi.

HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.2017

d) (3%) Riti mltu mli yx( S ( x, y ))

e) (3%) Neitunin yx( S ( x, y )) er eitt af eftirfarandi. Setji hring um rtta

svari.

xy (S ( x, y )) , yx( S ( x, y )) , yx(S ( x, y )) , yx(S ( x, y ))

f) (3%) Yringin Enginn nemandi er skyldugur til a taka ll nmskei. er

eitt af eftirfarandi. Setji hring um rtta svari.

xy (S ( x, y )) , yx( S ( x, y )) , yx(S ( x, y )) , yx(S ( x, y ))

g) (9%) Gerum r fyrir a yx( S ( x, y )) og xy (S ( x, y )) gildi. rskuri

fyrir hvert af eftirfarandi, hvort a hltur a gilda, getur ekki gilt ea vst er
hvort a gildir, v ekki liggja fyrir ngar upplsingar til a segja til um a.
Setji einn kross hverja lnu. Ekki er dregi fr fyrir rng svr. Ekki er krafist
rkstunings.

Einn kross hverja lnu! Hltur a gilda Getur ekki gilt vst

yx( S ( x, y ))

yx(S ( x, y ))

yx(S ( x, y ))
HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.2017

3. skla eru 420 nemendur. Af eim hafa 300 komi bl sklann, 80 gangandi, 120
hjli, 46 bl og gangandi, 26 bl og hjli, 36 gangandi og hjli, og loks hafa 8
komi bl, gangandi og hjli.

a) (8%) Hve margir nemendur hafa hvorki komi bl, gangandi n hjli?

b) (5%) Hve margir nemendur hafa komi hjli og gangandi, en ekki bl?
HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.2017

4. (6%) Gefin er eftirfarandi rakningarformla (recurrence relation) :

an = n2 an-1 + (3n + 1) an-2 fyrir n 3

samt byrjunargildunum a1 = 5 og a2 = 2 Reikni a4 Sni treikninga.

70
5. (10%) Reikni log
k 31
2 (8k ) Sni treikninga! Rkstyji svari!
HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.2017

6. (12%) Gefin er grein KHR 2.2 kennslubk tafla me mengjareglum. Noti

mengjareglurnar essari tflu til a sna fram eftirfarandi formlu. Vsi eina
mengjareglu hverju einasta skrefi.

( B ( A B )) ( A B ) B
HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.2017

7. (10%) Teikni graf rauntlufallsins f ( x) x / 3 bilinu -7 x 7

HR haustnn 2017 Strjl strfri fyrir verkfrinema - Str dmaskil 1 9.9.2017

8. (10%) essu dmi er fjalla um einbreiar stttar me hellum 4 mismunandi litum.

a eru litirnir gulur, rauur, grnn og blr. Lengd stttar er fjldi hellna
stttinni. (Dmi um slka sttt af lengd 4 er Rau, Bl, Rau, Gul. )

N er gefi mengi S sem inniheldur allar ENDANLEGA (FINITELY) langar

einbreiar stttar. Er mengi S teljanlegt (countable)?

Rkstyji svari vandlega! Ef i telji a mengi s teljanlegt, arf a

sna hvernig hgt er a nmera stkin menginu. Ef ekki, arf a sanna
a mengi s ekki teljanlegt.