32766 Zdj�cia 0081

32766 Zdj�cia 0081



k \Ri \ / \n vn


relacji sąrcta;

X *~bsór oa&b Mających cg ram ■•. V' .*>.< \

o R O; v > v>; suv..*-; }v praw v v- v-R)


X $4nKvh*.\kSw tu parkingu. 5,, <$»* \

n K. S; v > n pi ;x‘KvKa{ <V    (\ !» \ ^w.-i-Ow k* .'. e >.\    '

X . btór kfaesttł W sałi.ku k;* X

k R k_- \ > gd> oba ktrc>ł.\ $4 .\uęłc lub oba krccsfe* >4 walne X *b»oi funkcji zmiennej \, fj, f. t \, t R t': c > V \.(fl(x) 0(\»

I VO l\uu 0't gramatyka ti opisana    notacji RM t symbole tcimuulne są uięte " a|M.<tro

f>* R tost symbolem początkowym gramatyki):

R X ‘ ‘ R X ‘V R | X l X ! I

t ::«*0Tr|...r9

Któro : poniższych słów należy do języka L(G):

V A)    «H)12

f b>    o-i+o

P C)    1+41

f* D) -1+0-1

/Al). 3. Niech relacje Ri, R: będą relacjami równoważności na zbiorze X. Wówczas relacjami równoważności są również relacje:

P A) R1 r\ Rj p B)    Ri \ lh

C) (R,nRi)uR2 fi. I))    (XJ\Ri)nRj

/.\D. 4. Niech A .» {a. !>}. Ił »df {h. c}. Prawdą jest, żc:

(■ A)    eiird(2 Awl‘) - 21

r id    (A \ m)v.»u {«, b, c}

r o    2\t2" 2A''"

f |»,    {0,11, {h>} c 2A

/ \l). 5. Kolacja binarna R c, 2N"'x 2N*' jest zdefiniowana następująco: <A,B>ę R wtedy i tylko wtedy. ,:dwW H. Wskaż, które z własności posiada relacja R:    .    ,

A) R jest relacją zwrotną    vsJ*~ *

H)    R jest relacjąantysymetryczną

L C)    Rjest relacją spójną

ZAD. 6. Niech formuły a i (3 będą tautologiami rachunku kwantyfikatorów. Które z poniższych formuł są I również tautologiami rachunku kwantyfikatorów.

F A)    —ićt a—1(3

P B)    ->ct v P'1

PC) cc o P



O


f


W


\


[j



Wyszukiwarka

Podobne podstrony:
32766 Zdj�cia 0081 k Ri /

Zdj�cia 0081 k Ri /

DSC00253 (5) W związku z tym zachodzą następujące relacje między potomkami: a)    R2=
Wy 8 Dane są relacje Ri i Ra. Podzbiór FK atrybutów relacji Ri nazywany jest kluczem obcym Ri jeżeli
skanuj0009 (243) teratury do literatury. W tej relacji ipo obu atroiM^fe występują takie cechy jak b
skanuj0011 (17) dnow CU i £)y^ 9 etxvc?TO lę> i&c/Qi^sej Sfiyui^ *ecMftfi cę/ teckfl^snd) fc/
skanuj0015 (37) r ^    4v< *fC***C.sfa^L^c i,f ri^iecce jfcfuj^c c f?c *’ plsalcM
skanuj0016 (118) n‘i i . . j •»■..» - fin&MdjKiiIfcftAttócfeKgi&Ł LlHlbuie.! ®ł

więcej podobnych podstron