DSC00048 (17)

U»»łhlHHln WljiH

"****—*a*mmmm+imwrn    -- - • - - . .

^{11 1 11IIWIW}

SSS^d«-^c“» ™«»‘cl W

* "ToJ ^P500^C)°^{Wnika jeSt ,iCZbą Ca,kOWitą} z przedziału

e INTEGER a x

a x

x ₍ NR PRACOWNIKA

500,

•    nazwisko jest ciągiem liter o długości równej 20:

X e NAZWISKO =^x e STRING(20),

•    liczba lat jest liczbą całkowitą z przedziału (0 70):

X e LICZBA LAT => x e INTEGER a x > 0 a x 70.

•    numer wydziału jest jedną z nazw: „W1" lub „W2”-x e NR WYDZIAŁU ^ x <: STRING(2) a

\(X=„W1”vX=„W2‘'),

•    nazwa wydziału jest ciągiem liter o długości równej 40

x e NAZWA »x« STRlNG(40).

!