Vorlesung 7

(1)

Diskrete ^Struktureu Vorlesung ⁷

Steffen Reith

8.12.17

(2)

Abe ^Die Zeigt

^man

taelnpca

⁾

^? ^@

Auschaulich

^: _a

Domino

^-

Day

^"

pcul

^± ^.^, ^der

^Domino ^Stein

^do

Nummer ⁿ

foilttum

^"

A ^a

fiht

UM a G W v a 6 a "

0 1 2 3 ^h ^htr

Formal ^:

-

luduhtiousaufaug

⁽ ^IA ⁾ ^: Zeige ^, ^class

plo

⁾

gilt

luduhtionsschrilt ( ^IS

)

^: _Zeige, class the IN

gilt

Weun Plu

⁾ ^Wahr ^, ^damn ^ouch

PC

^ntr ⁾ ^Wahr ^.

(3)

Die

Voranssettung _pcu

⁾ ^ueuut ^man ^anoh ^luduhtious ^- ²

voranssettung

k

Bqf

^: ^,^, ^Summe ^do

^uugeradeu

ûat ^. ^Zahleu ^" Ââ ⁹â â

• a a e

D= 1 Jdee ^:

• • • •

1+3 ⁼ 4 ^• ^• ^• ^a

• • ^• ^•

1 ⁺ 3 ⁺ 5 ⁼ g ^• ^• ^• ^•

the

^IN _Pan₎

1 ^t 3 ⁺ 5+7=16

- ^-

Sat

^: ^Seine ^In

, n > 0

, daun

gilt ^E"n2i

^- ¹ ⁼ⁿ²

(4)

Bed 30

(

^IA ) ^h=1 ^:

£

^Li

÷

^-1=1 ⁼ ¹²

→ HH

istufiillt

(

Îv ⁾ ^taeln _, â ^c- û

gilt ^¥2,2

^it ⁼ ^a^'

(b)

ⁿ ^→ ^ntt

EE|2i

^- ^t ⁼

EI2i

^- ⁱ ⁺ ^2ha

⁾

^-1

"

Wempe # ^¥

^' ⁿ

^'t

^Ln ⁺ ^y

)

^" ^dana ^Ponte⁾ ^"

= ( ⁿ ⁺ ¹⁾ ² #

(5)

Programme , does die Summe do

uugeradeu ^Zahlen

⁴

Summivf

int sum Odds ( ^int ⁱ ) 2

if

⁽ ⁱ⁼⁼ ^O

⁾

^then

return ^" error

"

;

if

⁽ ⁱ⁼⁼¹ ⁾ ^then

return 1

; K ^Abbruch ^d.

Rehursiou

else

return ( ^Li 1)

^- ^t

^Sum

^Oddsli ^- ^t

)

_;

eudif

end Sum Odds _.

(6)

Mathematisch ^: ⁵

sum odds : IN → IN ! _int _sumodds _{( int}

)

sum odds ( ⁱ

)

⁼

/

^"¹^"^,

^M£44 ^falls

ⁱⁿ ¹

^falls

^i=o

|

^Li ^- ^ttsumodds ⁽ ⁱ ^-

¹⁾

^, ^soust

⇒ ludnhtiou _and Rehuvsiou Sind ^an kulich

En

winters Beispiel

Sate

^{Sci M} ^nine ^eudliche

Menge

^, ^daun

gilt

^#

^PCM

⁾ ^=L

#M.

Bennis

(7)

(

^IA⁾ ^Sei ^# ^M=1 _, ^dauu

gilet

^es

geuauzwei ^Meugea

⁶

in

PCM )

_, nnamlich

0

^and ^M ^. ^Es

gilt

²⁼ ^# ^PCM

⁾

=L ^{# M} ⁼

21

⇒

(

^IA ⁾

gilt

^list

^ufillt

^.

(

^w ⁾ ^Sei ^# ^M=n ^, ^daun

gilt

^#

^{PCM )}

^> ² ^"

ds

) ^{n →} ^utt ^: ^Sci ^M ^=L _an _, ... . , an _, anti

}

^ein

_Menge

hit

^htt Elemeuteu . Willen ^nun aie M belie

big

^and

M ^' ⁼ ^Ml

Zai }

_, ^d. ^h^. ^# ^M

^'=n

^. ^Nach

(

^Iv )

gibtes

^also ^2h

Teilmeugeu

^von ^M ^'^, ^die ^ouch

alleteilmeugen

^oou ^Msind ^.

For jides ^XEPCM

^'

⁾ gilt

^Xuhai

⁾

^c- ^M ^. ^Also

gibt

^es

^weitoe

2 ^"

Teilmengeu

^von ^M. ^Andere

gibtes

^uicht ^.

(8)

Also #

PLM )

⁼ ² ^. ^{# PCM} ^'

)¥'

2.2 ^" ⁼

24 ? _#

⁷

Been

^Wirhabeu ^bisher ^nur ^die ^Shuehtur

(

^IA) ^beweise PCO

)

(b)

_beweise Fa

gilt

^PC^al ^→

^plate

⁾

verweudet _, _man kauu dies

verakgemeineru

(

IA) beweise PCO⁾

(b) beweiseta gilt ⁽ ^pco

⁾

^rp

⁴⁾ ^i. ^. ^.

^npca

⁾

^→

^plate ⁾

Das ludnhtiousprinzip hauuauehfiv Definition

^en

^beuutat

louden ^:

6.1 ^.

kduhtive Definition

^en

(9)

Bep

^: ^Dir

definiveu ^die Folge ⁽ ailiew

^duveh ⁸

(

^IA

)

a. ⁼ 1

(b)

ânti ⁼ Ân ^. ⁽ ûti

)

D. ^h .

h 0 1 2 3 4 5

an

1 1 2 6 ²⁴ 120

Sate

^Fir

jedes

^new ^, ^{n >} ^it

gilt

^an ⁼

III

Beweis:_ (A)

ⁿ⁼¹ ^: ^t.ae ⁼

TT

ⁱ ⁼ ¹

i = n

⇒

luduhtiousaufaugist ^ufillt

^.

(10)

u

(

^w ⁾ an ⁼

IT

ⁱ ⁹

[ =r

(

^Is⁾ ⁿ ^→ ^utt

anti ⁼ ^an ^. ( uer

)

^¥^'

III ]

^.

⁽

^her

⁾

LiTi

i=n

^#

Def

^:

^Die _{Menge Lah}

^do

aussageulogischeu ^ist ^Formelu

wie

folgt defiuivt

^:

(IA ) ^Jede

Aussageu

^variable ^xnxy ^. ^. ^. ^.

^ist

^line

anssageulogische ^For

^me ^I

(11)

(b)

^Seieu

He

_, Hz ^E

Lau

_, ^dauu ^ouch

@

(

He rHz )

_,

⁽

^Hiv ^Hc

)

,

(

_He → He

)

, (

Had Hz )

,

(

_{He @}

_Hz )

, 7

He ELAL

Nichts soust

istaussageulogische

^Formal ^.

By

^:

⁽ ⁽

^x. ^vxz

⁾

^→ ^x.

5×3

^C-_Ta

_in

^LAL⁽ ^! ^?^xnvxz

^XZELAL ⁾

_Ta^e?_!

^LAL ^⇒]T}↳

^← ^{hi ?} ^{Ta :} ^,

^]a

^!

(12)

Def

^: ^Sci

^Helm

^, ^dann

@

# ₍

(

H) ⁼ _a Auzahl d .

"

offueuden

^Klammer ⁿ ^von ^H ^"

# _,

(

_H

)

⁼ ,, ^d

Auzahl

. schliesseudeu klammeuu

von H ^"

Bsp_

^: ^Sci

^H

⁼

⁽ ⁽

xvy

)

^{^7z}

)

_, ^dauu ^# (

(

^H

)

⁼ ² ⁼

#

_, ^IH

)

.

In der

luformatik

^neuut ^man ^line ^eudliche Menge Z

Alphabet

^had îhre Êlement ^Buchstaben ^2- ^* îst ^dam ^die

Menge ^alla Water

Vorlesung 7

Diskrete Struktureu Vorlesung 7

Steffen Reith

8.12.17

Abe Die Zeigt

taelnpca

? @

Auschaulich

Domino

Day

pcul

Domino Stein

foilttum

fiht

luduhtiousaufaug

plo

gilt

)

gilt

Weun Plu

PC

Voranssettung pcu

voranssettung

Bqf

uugeradeu

the

Sat

gilt E"n2i

Bed 30

(

£

÷

istufiillt

(

gilt ¥2,2

(b)

EE|2i

EI2i

)

Wempe # ¥

't

)

uugeradeu Zahlen

Summivf

if

)

if

Rehursiou

return ( Li 1)

Sum

)

eudif

)

)

/

M£44 falls

falls

|

1)

winters Beispiel

Sate

Menge

gilt

PCM

Bennis

(

gilet

geuauzwei Meugea

PCM )

0

gilt

)

21

(

gilt

ufillt

(

gilt

PCM )

ds

Diskrete ^Struktureu Vorlesung ⁷

Abe ^Die Zeigt

^? ^@

^Domino ^Stein

Voranssettung _pcu

^uugeradeu

gilt ^E"n2i

gilt ^¥2,2

⁾

Wempe # ^¥

^'t

uugeradeu ^Zahlen

⁾

return ( ^Li 1)

^Sum

^M£44 ^falls

^falls

¹⁾

^PCM

geuauzwei ^Meugea

⁾

^ufillt

^{PCM )}

_Menge

^'=n

For jides ^XEPCM

⁾ gilt

⁾

^weitoe

24 ? _#

^plate

(b) beweiseta gilt ⁽ ^pco

^rp

^npca

⁾

^plate ⁾

^beuutat

definiveu ^die Folge ⁽ ailiew

luduhtiousaufaugist ^ufillt

⁽

⁾

^#

^Die _{Menge Lah}

aussageulogischeu ^ist ^Formelu

^ist

anssageulogische ^For