Diskretne matematicke stukture

UNIVERZITET U BEOGRADU

Fakultet organizacionih nauka

dr Mirjana Èangaloviæ

Diskretne matematièke strukture

(neredigovana skripta)

Beograd, 1997.

SADRŽAJ

1. UVOD.................................................................................................................................................................3

1.1. R

ELACIJA

. O

PERACIJA

. F

UNKCIJA

................................................................................................................31.2. O

SNOVNI POJMOVI LOGIKE

...........................................................................................................................5

2. MATEMATIÈKA LOGIKA............................................................................................................................6

2.1. I

SKAZNI RAÈUN

............................................................................................................................................6

2.1.1. Iskazna algebra...................................................................................................................................6 2.1.2. Iskazna formula i njena vrednost.........................................................................................................7 2.1.3. Prekidaèke mreže...............................................................................................................................92.1.4. Bool-ove funkcije...............................................................................................................................102.1.5. Izvoðenje zakljuèaka..........................................................................................................................11

2.5. P

REDIKATSKI RAÈUN

(

KVANTIFIKATORSKI RAÈUN

)....................................................................................12

2.5.1. Predikatske formule...........................................................................................................................122.5.2. Pojavljivanje promenljivih u predikatskoj formuli............................................................................132.5.3. Interpretacija predikatske formule....................................................................................................142.5.4. Istinitosna vrednost predikatske formule...........................................................................................15

3. ALGEBARSKE STRUKTURE......................................................................................................................16

3.1. G

RUPA

.......................................................................................................................................................163.1. P

RSTEN

. T

ELO

. P

OLJE

. B

OOL

-

OVA ALGEBRA

..............................................................................................17

4. RELACIJSKE STRUKTURE........................................................................................................................18

4.1 P

ARCIJALNO UREÐENI SKUP

.........................................................................................................................184.2 S

UPREMUM

. I

NFIMUM

. R

EŠETKA

................................................................................................................19

5. OSNOVI TEORIJE GRAFOVA....................................................................................................................20

5.1 D

EFINICIJA GRAFA

.......................................................................................................................................205.2. M

ATRIÈNA INTERPRETACIJA GRAFA

...........................................................................................................225.3 P

UTEVI U GRAFU

..........................................................................................................................................235.4 N

EKI SPECIJALNI GRAFOVI

...........................................................................................................................245.5 S

TABLO

(

DRVO

)...........................................................................................................................................25

6. TEORIJA KONAÈNIH AUTOMATA........................................................................................................27

6.1 K

ONAÈNA MAŠINA

......................................................................................................................................276.2 K

ONAÈNI AUTOMAT

....................................................................................................................................30

7. FORMALNI JEZICI. GRAMATIKE...........................................................................................................32

7.1 F

ORMALNI JEZICI

.........................................................................................................................................327.2 G

RAMATIKE

................................................................................................................................................327.3 V

EZA IZMEÐU AUTOMATA I REGULARNIH GRAMATIKA

.................................................................................35

3

1. Uvod

1.1. Relacija. Operacija. Funkcija

Def

.

Ureðena n-torka

(

x

1

,

x

2

,...,

x

n

)

je niz elemenata èiji se redosled taèno zna.

Primer

: (

a

,

b

) je ureðena dvojka.

Def

.

(

x

1

,

x

2

,...,

x

n

) = (

y

1

,

y

2

,...,

y

n

)

ako je

x

1

=

y

1

,

x

2

=

y

2

,...,

x

n

=

y

n

.

Def

.

Dekartov (direktni) proizvod skupova

A

1

,

A

2

,...,

A

n

je skup

( )

{ }

.n ,..., ,i , Aaa , ,a ,a A... A A

iinn

21

2121

=∈=×××

K

Specijalno

,

( )

{ }

.n ,..., ,i , Aaa , ,a ,a A A... A A

inn

21

=∈==×××

K

Primeri

:

( )

{ }

R y , x y , x R

∈=

2

- realna ravan

( )

{ }

Rc ,b ,ac ,b ,a R

∈=

3

- realni prostor

Def

.

f je binarna relacija nad skupovima A i B, ako je

B A f

×⊆

. Ako je A = B, tada je f binarna relacija nad A.

Ako

( )

f y , x

∈

, kaže se "

x

u relaciji

f

sa

y

", a piše se

x f y

.

Primeri

:

( )

1,

222

<+∈=

y x R y x f

- krug u ravni sa centrom (0,0)

( )

{ }

y x R y , x f

<∈=

2

- poluravan iznad prave

y

=

x

.

Def

.

f je relacija dužine n nad skupovima A

1

, A

2

,...,A

n

ako je

n

A... A A f

×××⊆

21

. Ako je

A A... A A

n

====

21

, tada je f relacija dužine n nad A. Ako je

0

/=

f

, to je prazna relacija. Ako je

n

A... A A f

×××=

21

, to je univerzalna relacija. Ako je

1

=

n

tj.

A f

⊆

, to je unarna relacija nad A.

Def

.

Neka su A i B neprazni skupovi. Ako se po nekom pravilu f svakom elementu iz A pridružuje neki element iz B, tada sekaže da je f funkcija koja preslikava A u B.