الرياضيات المتقطعة - المحتوى الكامل PDF

:

. –

:
1) . # - & / $ ($ *" #$ %$& '(& )
$ '$ *$ +#$ % & ,& - &
45
" *65 789 -$: ;# / $ *$ *" #$ %$& <$ *$ = >(2
><$ *"#" >" ( <$ > $ $ : <$ *$ 4$< $ 2 $ %9 .'$
.4 # *6 8$
: !"#
:- & ;
5$ A +$$ )< . @ 1
$ 1
- & ($ - & '($ ;
5$ A +$$ +
B $ *5$ *5$ •
B(C8$ D
$) #$ % •
B $ *5 $ #$ % ( •
B$ $ •
.$ '/$ %$ $ +$ •
Universal Knowledge Solutions s.a.l.

1
$"
$"

:!
E ,$ $ C8 9 D
:$ <$ (#9 ;# 5$
$ > F C8$ >T D

$ :4 % 9 %5 FEF
D
J( $ 4 4I "2+2=4" : 1 ;F
C8 J( $ 4 4I "2+2=5" : 2 ;F
(x=1,y=1) y x K$ %$ L< ;9 D
9 $ 4 4I *$ " x+y >0" : 3 ;F
(x=-1,y=-1) 78I %$ L< ;9 C8 9
-$: ( *5$ $ 2 : $
# ((& x $ :;F

(r ) x2 > 4 = (Q ) x < -2 A: 9 (p ) x>2 A:
:@( $
If p or Q then r
M$A = F 4 ($ $ $ > -$: ;
* > 9 1

.D#
. # - & @ @ 1
*5$ 9 %#
:$$ ;F$ $ M$A D $
(Q ) N $ A5 ;E8 5
$ - & ($ A: 9 (p ) N O /$ C8 ($ A:
.(r %) C8 $ - & ;
# =
:( ;
If p or Q then r
:9 ( &(

If not r then not p and not Q
" N $ : /$ 89 # " N $ = N $ A5 F9 C8 $ M$ %$ A: P9 $ M$A & <
.5
$ - & * < %

2

&'
&'

:$$ ; ($ F p 5$ $ %$ >(p ) (# ;< 4$ >”~“ 6 :$ 5$ &
p ~p
T F
F T
~p S$ #$ ; (
:%$ <$ #$ ; ( >(Q ) (p ) E< 4$ >” ∧ “ 6 :() $ %$ &
p Q p∧Q
T T T
T F F
F T F
F F F
:;
5$ <$ #$ ; ( >(Q ) (p ) E< 4$ >” ∨ “ 6 :( 9) $ ;
5$ &
p Q p∧Q
T T T
T F T
F T T
F F F
:( ' & )

$$ >( $ /0# ,- :#+)( x < 1 ) ‫~( ه‬p) ‫ أو‬p 5 : >( $ # ,- :#+)( x > 1 ) p 5$ $
~p S$ $ $ 9)
(~p) p 5 = ( x > 1 ) 9 (True = p S$ $ $ 9) # p (&
.False
2
211

.( ∨ > ∧ >~) 4< $ $ *5$ & $ 5$
5 $ #$ ; ( = M$A $ 45$ $ %$ E $ 5 $ $ %$ +#
. $ *5$ %$ $ * $ & 2 $

3
$ Q p $ 5$ ($ $ $ *5$ ( 5$ $ %$ +# 5 D $
:$$ $ 5$
( p ∨ q) ∧ ~ ( p ∧ q)
%F >( ( p ∧ q ) ( p ∨ q ) ) 8($ , I $ $ %$ +# 9) W($ 5$ UA4$ #$ ; ( V
:M$ ( A - &I 7 $ - & * <$
p Q ( p ∨ q) ( p ∧ q) ~ ( p ∧ q) ( p ∨ q) ∧ ~ ( p ∧ q)
T T T T F F
T F T F T T
F T T F T T
F F F F T F
:$
( ( p ∧ q ) ∨ ~ r ) $ 5 $ #$ ; ( :
(# 3 3( :#+) ( ∨ > ∧ >~) 4< $ $ *5$ & $ 5$
5 $ #$ ; ( = M$A $ 45$ $ %$ E $ 5 $ $ %$ +#
. $ *5$ %$ $ * $ & 2 $
. $ *5$ ( 5$ $ %$ +# 5 ; # "

@ F #$
(
( 45
45
2 ;9 M$A 4 $ #$ " ( A: A: @ J 49 ،P, Q & ;
P≡Q S M$A & < . $ %45$ $ % $ $ * $
:1 ( :;F

~ ( p ∧ q ) ≡~ p ∨ ~ q
~ ( p ∨ q ) ≡~ p ∧ ~ q

4
:; I 1 ( $
: Q=( ~ p ∨ ~ q ) K$ #$ % # 8X P=( ~ ( p ∧ q ) ) K$ #$ % P ( & # # ; ( V
p Q ~p ~Q p ∧q ~ (p ∧q) ~ p∨ ~ q
T T F F T F F
T F F T F T T
F T T F F T T
F F T T F T T
.$ N P $ %$ $ Y#E 8I ( <$
:$
F$ 1 (
:$$ * 8$ 2 @ J P, Q * A: 8"
Q K$ #$ % # 8X P K$ #$ % P ( & # # ; ( V •
P, Q K$ $ %$ # ( $ 4) P, Q *" #$ ; ;9 •
>( 65 ( :#+) P≡Q
Z 9 ; >% M$ A: .1
.J 1 5$ '(# $ )E8 M$ A: .2
7
7

4) 4" #$ $ %$ * 4 M$A (T) D

@ J( $ 4 (t)
.( $
:5$ UA4$ #$ ; ( = > p ∨ ~ p $ 5$ ($ $ :;F
p ~p p∨ ~ p
T F T
F T T
. 4 $$ p % * 4 M$A T J( 4 $ UA 9 Y#E
4) 4" #$ $ %$ * 4 M$A (F) C8 @J( $ 4 (c) 7
.( $

5
:5$ UA4$ #$ ; ( = > p ∧ ~ p $ 5$ ($ $ :;F
p ~p p∧ ~ p
T F F
F T F
. 4 $$ p % * 4 M$A F @ J( 4 5$ UA
Z 9 Y#E
(
( 45
45

:$$ OJ
8$ 2 c $ $ t $ $ $ >Q p $ 5$ ($ $
p ∧q ≡ q ∧ p : ( $
8$ .1
p ∨q ≡ q ∨ p
( p ∧ q ) ∧ r ≡ p ∧ (q ∧ r ) :<$
8$ .2
( p ∨ q ) ∨ r ≡ p ∨ (q ∨ r )
p ∧ (q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r ) :<6 $
8$ .3
p ∨ (q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r )
p ∧t ≡ p :(# $
<$
8 .4
p ∨c ≡ p
p∨ ~ p ≡ t :Y$
8 .5
p∧ ~ p ≡ c
~ (~ p ) ≡ p :W (6$ 5$
8 .6
p ∨t ≡t :O$
<$
8 .7
p ∧c ≡ c
p∧p≡p :;F$
8 .8
p∨p ≡p
p ∨ (p ∧q) ≡ p :O
"
8 .9
p ∧ (p ∨q) ≡ p
~ ( p ∧ q ) ≡~ p ∨ ~ q :1 ( .10
~ ( p ∨ q ) ≡~ p ∧ ~ q
:$
.9 -$: 1 O 8$

6
8
8

:J $$ <$ : > Q p $ : )<

Q p •
If p then Q •
p K Q •
. P9 [ $ A < 9 & ; p → Q K M$A$ 6
:\
Z I #$ ; (
p Q p→Q
T T T
T F F
F T T
F F T
.$ 49 Q & ; >($ 49 p & ; p → Q 5$ $

( ∧, ∨, ∼) )
& "→" 6$ :1 Y#E
: < * <$ $ 9 :2 Y#E
~ 5$ .1
, I %(8 + +$ ;# >F$ $ C ∨ > ∧ $ ;
5$ %$ .2
@89 C $ " .3
:$$ ;F$ $ >$ 5$ -< D $

.3 - & $ ; 4,686 ((<$ @A: 6 - & $ E
@ 4,686 ((<$ A:
.( 6 - & $ ; 4,688 ((<$) p $ 5$ UA ($ •

.( 3 - & $ ; 4,688 ((<$) Q $ 5$ UA $ •
: Q p K$ $ %$ +# $ 5$ UA4$ $ %$ \ ]$
$#$ UA >( Q=T ) 9 3 - & $ ; 4,688 ((<$ ( p=T ) 9 6 - & $ ; 4,688 ((<$ .1
.( &- 94 ( 7: 9 T :#+) (p→Q)=T 9 @##
$ "
$#$ UA >( Q=F ) 9 3 - & $ ; " 4,688 ((<$ ( p=T ) 9 6 - & $ ; 4,688 ((<$ .2
.(p→Q)=F 9 @ J8 $ "
$#$ UA >( Q=T ) 9 3 - & $ ; 4,688 ((<$ ( p=F ) 9 6 - & $ ; " 4,688 ((<$ .3
9 2 " # >##
P * A: P & %#$ : < $ " 9 &
"
Z 9 ; 9 2 $$ >" %9 J8$ ($ & ##
$ $ * A: %6
.(p→Q)=T 9 $#$ UA D#
$

7
$ ; " 4,688 ((<$ (p=F) 9 6 - & $ ; " 4,688 ((<$
Z 9 $# Z ^ $ 5$ ,5
.(p→Q)=T 9 $#$ UA D#
$ " (Q=F) 9 3 - &
(8
(8 < 7
< 7 =0
=0
>Or &- if – then $ >
:$$ $ $ 9 2 (p→Q) $ " ($ $
p → q ≡~ p ∨ q
:$$ ;F$ $ >M$A D $
+ 9 &- ?"@ $# :
.Q $ 5$ (+) ~p $ 5$ ( &- ?"@ $#) _# ~ p ∨ q ;
: p +# if – then /
$ -$: ; # $
( &- ?"@ ) $$ /
$ 4$ p
J$ /
$
+ @A: &- ?"@ A:
: $ $ #$ ; ( V (p→Q) ~ p ∨ q $ $ $
p ~p Q ~ p ∨q p→Q
T F T T T
T F F F F
F T T T T
F T F T T
(p→Q) ~ p ∨ q $ $ N >8I ( <$ $ %$ Y#E
(8
(8 < 7
< 7 =0
=0
> (8 < 7 ( >
>(p→Q) $%&'‫(~ أ ا"! )ء ا‬p→Q) $ 5$ & ; >(p→Q) $ " ($ $ :1 )<
:$$ $ $ 9 2
~ (p → q) ≡ p∧ ~ q

8
(p→Q) 5
Z = $$ J8 P ##
P( * A: A: @J8 (p→Q) $ " )<$
p ∧ ~ q K$ @ V
: 2 ~ ( p → q ) ≡ p ∧ ~ q $ $ $

~ ( p → q ) ≡ ~ (~ p ∨ q )
≡ ~ (~ p ) ∧ (~ q ) 1 (
≡ p∧ ~ q W (6$ 5$
C8 >8X P$( -$: (if then statement) $ " 5 (& '(& $ ; : Y#E
.if K @( 9 9( " $ " 5
Z 9 A$ + .2J
$%&'‫! )ء ا‬+'

‫~( أ* إ‬Q→~p) $ " & ; >(p→Q) $ " ($ $ :2 )<
:$$ $ $ 9 2 >(p→Q)
( p → q ) ≡ ~ q →~ p
;J$ F P= %F >$ E$ @ V P C $ E$ ` 5$ 9
.$ " 2 ;<$ ;49 ` 5$ 2 ;<$
(8
(8 < 7
< 7 =0
=0
> (8 < 7 ? ,' >
:)Z< (if p then Q)$ " ($ $ :)<
(if Q then p) S (if p then Q) $ " ? •

(if ~p then ~Q) S (if p then Q) $ " ,' •
:6 $ /
(~p→~Q) (p→Q) $ " ,' •
(Q→p) (p→Q) $ " ? •
: *Y#E
@ $=5 A P& $ " •
@ $=5 A P $ " •
@ $=5 P& $ " + •

9
5$ $ " ,& 9 # C + ,& $ $ 9 Y#E (
.P $ `
(8
(8 < 7
< 7 =0
=0
>B% (=C (8 < 7 (only if ) @- 5 8 >
< (p only if Q) Q A: p <$ > Q p 5$ ($ $ :)<
(if ~Q then ~p)
: ` 5$ 2 $ $ %(8 9
(if p then Q)
: Q p 5$ ($ $ :)<

: <$ (Q A: A: p) U" JF $ " )< •
(p If, and only if, Q)
(p↔Q) :K P$ 6 •
:$$ ; ($ F U" JF $ E$ $ %$ •
p Q p↔Q
T T T
T F F
F T F
F F T
(& @J8 %$ ,5 $ P" #$ (& @##

U" JF $ " :1 Y#E •
.< % $ P" #$
:9 ( p → q ) ∧ (q → p ) p ↔ Q M$ :2 Y#E •
p ↔ q ≡ ( p → q ) ∧ (q → p )
,5 $ I _# <$ UA + ( ∧, ∨, ∼, →) )
& "↔" 6$ :3 Y#E •
.$ "

10
(8
(8 < 7
< 7 =0
=0
>(5 D: (8 < 7 >
Q p 5$ ($ $ :1 )<

:< (p is a sufficient condition for Q) Q K$ $ $ p <$
(if p then Q)
Q p 5$ ($ $ :2 )<

< (p is a necessary condition for Q) Q K$ %6E$ $ p <$
(if ~p then ~Q)
:N 9 2 $ PJ %6E$ $ $ $ %(8 :Y#E
:@ 9 < (p is a necessary condition for Q) Q K$ %6E$ $ p <$
(if Q then p)
Q >A: A:> p
Z 9 < Q K$ $ %6E$ $ p $$
$ p
Z 9 ; $ F # >Q a#$ )
. p a# 9 789 * < Q K$ $ $ p
Z 9 $
Z 9 < Q K$ %6E$
Q a# %(& ' $ p a# %(&

11
EC (C
GF

(5
:

. % >( % >%& % >b ' & >% >' & > b
:
% 45 ; >45 b$ * < $ J$ $ <$ ,( b$ * <$ * b$ '5$ UA ;
.$ $ %6E$ $
: !"#
:- & ;
5$ A +$$ )<
B* b$ •
Bb$ * <$ •
B%<$ %$ •
B( $ %$ •
.$ %6E$ $ •

12

H

HF
F
.'((# @ *" #$ UA A8C (& ' &

c > $ UA D
>*" #$ @4 @((& # $ •
_# P ( x ) :;F .A8C 9 ; # $ $ %$ 2 # & ; #$ % ; & d <^ •
. $ " <$ +$ x
& $ P ( x ) S$ ##
$ %$ & &( = >D ;$ 2 x % * P ( x ) * A: •
S ##
$ %$ & & < .##
P ( x ) ;< xS 4 < (& $ >D
& 2 5$$
.(##
P(x) _# D -$: x) x ∈ D P ( x )
{ }
-$: ( P(x)) P ( x ) → Q ( x ) 9 ; >D ;$ ,5 - & <b Q ( x ) P ( x ) 9 L5 •
. Q ( x ) S$ ##
$ %$ & -$: P ( x ) S$ ##
$ %$ &
& ; A: (Q(x)
,5 Q ( x ) P ( x ) ;
. $ (& P ( x ) ⇔ Q ( x ) 6$ 4$ 6 Q(x) V P(x) 9 ; •
.##
$ %$ &

IIFF
:;$ ' &

c <$ ' <c $ .D ;$ - & P ( x ) L5
∀x ∈ D , P ( x )
(P(x) # >D -$: x 4)
.D x ; ;9 # P ( x ) * A: ##

' <$ UA •
.D & $
& ;I - & (#
& ;9 # 1 P ( x ) * A: # 1 ' <$ •
.<$ ' < $ @< "
@ F ># 1 P ( x ) 4 9 $ x ; •
:C
D = {1, 2,3, 4, 5} : ∀x ∈ D, x ≥ x 2
∀x ∈ R , x 2 ≥ x

13
'
'

@

@
'

' $'
$' C#
C#
. 4 > ∀ 6$ <
∀x ∈ R , x 2 ≥ 0 :;F
BD x ; ;9 # P ( x ) * A: ##
' <$ UA •
B#$ ((&I & $F D ;$ •
B x 2 ≥ 0 $F P ( x ) •
.(+ ((& # ((& 9 2 ) ##
$ ' <$ •
∀x ∈ R, x 2 < 0 :;F
BD & $
& ;I - & (#
& ;9 # 1 P ( x ) * A: # 1 ' <$ •
B#$ ((&I & $F D ;$ •
B x < 0 $F P ( x )
2
•
((<$ P< 9 ($ >2 ((<$ A8C 9 5 @ $ # ((& 2 9 ") J8 $ ' <$ •
.(@ 4
9%
9% II FF
# D -$: x ( ) ∃x ∈ D , P ( x ) ;$ ( $ ' <$ A8C > D ;$ - & P ( x ) L5 •
.(P(x)
BD x SS$ ;I - & '(# ;9 # P ( x ) * A: # ' <$ •
.D & $
& 2 ;9 # 1 P ( x ) * A: # 1 ' <$ •
:C
∃m ∈ Z , m 2 = m
E = {5, 6, 7,8,9} , ∃x ∈ E , m 2 = m

14
9%
9%

@

@
'

'
.;I - & (# ( > ∃ 6$ <
∃x ∈ R, x 2 = x :C
B P ( x ) # ;I - & (# x ( ;# # P ( x ) * A: ##
' <$ UA •
B#$ ((&I & $F D ;$ •
B x 2 = x $F P ( x ) •
.(1 1 2 _# 1 ;I - & (# # ((& ( ) ##
$ ' <$ •
∃x ∈ R, x 2 < 0 :C
B P ( x ) # ;I - & (# x ( ;# # P ( x ) * A: ##
' <$ UA •
B#$ ((&I & $F D ;$ •
B x < 0 $F P ( x )
2
•
.(5
$ /
9 P< # ((& 9 ( ") J8 $ ' <$ •
((2
288
IIFF
:<$ $ ' <$

∀x , if P ( x ) then Q ( x )
(# Q(x) = P(x) *# A: >x 4)
:@ 9 $$ ;$ - & $ $ ' <$
∀x ∈ D , P ( x ) → Q ( x )
(Q(x) # -$: ( P(x) # >x 4)
∀x ∈ R, if x > 2 then x 2 < 4 :C
.D ;$ -$: x ; ;9 @J8 P ( x ) A: @J # 49 ' & & ;
∀x ∈ R, if x 2 < 0 then x > 0 :C

$ $ ' <$ 9 ; A$ >#$ ((&I & -$: x 9 ;9 @ J8 P ( x ) $#$ UA
.@ J # ' &

15
G
GFF

(
(
∃x ∈ D , ∼ P ( x ) ∀x ∈ D , P ( x ) <$ $ ' <$ 5

:C
.# * >& $ $ *$ 2 :' <$
.# 1 >& $ ;I - & '(# ' ( :' <$ 5
. ∀x ∈ D , ∼ P ( x ) ∃x ∈ D , P ( x ) $ ( $ ' <$ 5

:C
.5
>& $ ;I - & '(# ' ( :' <$
.5
1 >& $ $ *$ 2 :' <$ 5
. ∃x ∈ D , P ( x ) ∧ ∼ Q ( x ) ∀x ∈ D , P ( x ) → Q ( x ) $ ' <$ 5

:C
.# & $ $ *$ 2 #9 & $ A: & $ $ *$ 2 ; :' <$
.# 1 '$ #9 & $ _# >& $ ;I - & '(# ' ( :' <$ 5
$
$
:
( ? .1
.L 1
( ( : *
($ 2 •
.;
e # ( $ ; :;# 4$ $ L< •
.@ 20 ;9 - & # COBOL N L< :@ 20 F9 - & # COBOL N 2 •
1 4< N ;I - & 6 ##
((& ( : 6 ((& 6 ##
((& 9 2 N •
. 6
. 6 1 ((& P< ;I - & (# 6 D#
((& ( : 6 ((& 6 D#
((& 9 2 •
:
0 $ .2
D
: x 2 > 0 = x + $ D#
$ ((<$ 4 •
C8 : x > 0 = x D#
$ ((<$ 4
2
•
D
: x 2 ≥ 0 = x D#
$ ((<$ 4 •
D
: x 2 < x # # ((& ;I - & ( •
C8 : x < x # D#
((& ;I - & (
2
•

16
:L5 > x #$ ((<$ 4 f<b P ( x ) L5 .3
r = ∀x ∈ Z , P ( x ) ;
s = ∃x ∈ Q, P ( x ) ;
t = ∃x ∈ R, P ( x )
.+$ - & #$ (<$ ##
$ ((&I *& & R Q Z < _#
:# t s r _# P ( x ) g •
. x2 ≥ 0 o
B# 1 r # t s _# P ( x ) g •
x2 < x o
(5
(5 8
8 D:
D: 8
8
K J8 (" ∀x , r ( x ) ' <$ 9 ;

: ($ # A: > s ( x ) ;9 !
.0 s ( x ) $L5 30 r ( x )
@- 3 ∀x
: ($ # A: s ( x ) ;9 D 8 (" ∀x , r ( x ) ' <$ 9 ;

.0 r ( x ) $L5 0 s ( x )
@- 3 ∀x

@

@

y < x E y ' 7N &' % 3?% x $ M

y < x >@ @((& y 4 ># x ((& ;I - & (
y ? x E y 8 7N &' % x 8 $ M

y ? x = y O8$ 4 # x O8 ;I - & (

17

@

@

(
(
∃x , ∀y , ∼ P ( x , y ) @ V ∀x , ∃y , P ( x , y ) ' <$ 5 :
∀x , ∃y , ∼ P ( x , y ) @ V ∃x , ∀y , P ( x , y ) ' <$ 5 :
:C
. y < x _# y ((& ;I - & ( >+ $ x ((<$ 4 :
. x < y = y ((<$ 4 _# >x + ((& ;I - & ( :(
.y +# x = y O8$ 4 # x O8 ;I - & ( :
.y +#" x _# y O8 ;I - & ( >x O8$ 4 :(
M
M 0
0 0
0
%
% N
N

7:

7: @
@
: ~ P ( 7:' .1
P
~P
T F
F T
: P ∧ Q AND 7:' .2
P Q P∧Q
T T T
T F F
F T F
F F F
: P ∨ Q OR 7:' .3
P Q P∨Q
T T T
T F T
F T T
F F F

18
: ~ P ∨ Q 65 7:' (" P → Q OR 7:' .4
P Q P→Q
T T T
T F F
F T T
F F T
:C
(P → Q) ∨ (P ∧ Q) : 7: 0 %
P Q (P → Q) (P ∧ Q) (P → Q) ∨ (P ∧ Q)
T T T T T
T F F F F
F T T F T
F F T F T
$
$
.0 '% , M ( ODN 3

OD# $ $ .1
(1) ∀x ∈ D, ( P ( x ) ∧ Q ( x ) ) vs ( ∀x ∈ D, P ( x ) ) ∧ ( ∀x ∈ D, Q ( x ) )
(2) ∀x ∈ D, ( P ( x ) ∧ Q ( x ) ) vs ( ∃x ∈ D, P ( x ) ) ∧ ( ∃x ∈ D, Q ( x ) )
(3) ∀x ∈ D, ( P ( x ) ∨ Q ( x ) ) vs ( ∀x ∈ D, P ( x ) ) ∨ ( ∀x ∈ D, Q ( x ) )
(4) ∃x ∈ D, ( P ( x ) ∨ Q ( x ) ) vs ( ∃x ∈ D, P ( x ) ) ∨ ( ∃x ∈ D, Q ( x ) )
:( ( &- 5 P

$ ' ? .2
B5
$ @ 9 x 9 5
$ @ /
9 x : >D#
((& x 4 .a
B##
$ ((&I & -$: ##
((& 9 ;
# " .b
BE(x) 9 Q(x) <$ (#9 # -$: P(x) # ( x 4 .c
.@ # Q(x) ;< x " y 9 @ # P(x) _# x ( .d
B5
$ n 9 n = $ 1 n * A: : % ( " .3

19
:( $ .4
"#" Z#"=A :' <$ .a
"#" +"=B :' <$ .b
" #` <"=C :' <$ .c
:& Z &
B A ∧ ∼ B ∧ ∼ C .a
B A ∧ B ∧ ∼ C .b
B A ∧ ∼ B ∧ C .c
:($L5 ...@-) if-then 8 &' % '# .5

B< $ &$ ;C I 8C9 $ .a
B$ A P $9 (9 $ = ": '$ UA ;1 & + .b
B$ * 9 ": ) .c
:($L5 ...@-) if-then

' &- (@- 5) only-if
.6
BW8$ [ -49 A: W8 .a
.45JY *49 A: 6 +A .b
: % '# .7

[ ~ P → ((P → Q) ∨ (P ∧ Q))] ∨ (P → Q)

20
:, , Q
( <
:

>J 8 >(< E& >< E& >JF E& >+ E& >N($ $ >Wh($ >$ "
.,C$ ( + >,C$ '( &
:
.Wh($ $ *$X *$X $ " )< - & ;
5$ A )<
: !"#
:- & ;
5$ A +$$ )<
B< $ ((&I & )<
8$ 8$ *i b$ •
BWh($ $ •
BJ6$ $ $ +$ E& •
B,C$ ($ " +$ •
.J" 8$ •

21

'N
'N '%
'%
:(Giuseppe Peano) < $ ((&I & )< * ib
B< ((& 5
$ •
Bn+1 P < ((& >n < ((& ;$ •
B5
$ P < ((& 9 ( " •
B ((& >$$ < $ ((<$ ,5 4$ < ((& ; •
9( ) & $ & $ * >$ ((& 4 < ((& ;$ 0 ((<$ - & & * # A: •
.(W($
:R:
-$: )<$ *i b$ 7(#: : ( _# >< $ ((&I & )< 7 9 $ ,8$ * $
)<$ ;< -$: )<$ -$ I i b$ : ( >;F$ ; - < .< $ ((&I & $ V8 )< %(8
.'8I n < ((& 9 ;9 ##

P(n)
8$ 9 - & $
BP(0) ;9 ##

8$ •
:($ >n < ((& ; ;9 •
P(n) ⇒ P(n + 1)
(P(n+1) &- 94 P(n))

22
((22)) T
T $'
$' E
E :: (5
(5 OS
OS
$"
$" @
@
:$$ $#$ _# $
A ( " P= >' $ J '(# < >( < n - & # (
(j
c b A: >n < $ ((<$ 4
.' $ J 2 ": (
$
;9 4 $ >< n - & # (

;9 ##
49 L5$ .n=1 ;9 ##

8$ UA
:< n+1 - & # (
.' $ J '(# < - & # >( < n+1 @ 5$ @ (
($ 9 @A: L5$ •
.A$ 5\ <$ & 5 8$ (
$ ($ 2$ 7(#: +#$ •
.' $ J < 4 ( < n - & # @ (
(& ($ - •
.' $ J 2 & ' & $ (
$ 2 2 >n - & D#
$ L5 $ @< •
- & 4 ( < n - & # @ (
($ (& - >5 8 < +#$ > # $ <$ )^$ •
.' $ J < ;I
.' $ J 2 & ' & $ (
$ 2 2 >n - & D#
$ L5 $ @< •
S$ >' $ J < (&9 # $ <$ >' $ J 2 - & ": #" (
$ A @A: •
!!!!! ' $ J 2 @A: < n+1
lC8$ 9
$7 $ 9# 3( < n+1 )$ (
( ;# 5 .n=1 (& @##
W($ " >#$
' $ J & 5 8 < # A= .P2 789 < ' $ J P1 < - & (& # (
$ = 3$
>(P1 $# ) ' $ J '(# < - & # (
- & ;
# = >(P2 $# ) $ +#
9 #" ) 8 (
- & ;
# = P1 # (
$ -$: (&9 >' $ J & 5 8 P2 * A: $
.' $ J <
9
9 OS
OS

:9 - & $ 5 >n 9 ;9 ##

P(n)
8$ 9 - & $
B##
P(0)
8$ •
:($ < n ; ;9 •
[∀m < n, P(m)] ⇒ P(n)
( $ P(n) $L5 3 n $ /0# m %# $ P(m)
@-)

23
:9 O &' $"
.0 ;9 ##
P
8 ( L5$ •
:9 9 >n /
9 m 9 ;9 n ;9 ##
P 9 L5$ •
[∀m < n, P(m)] ⇒ P(n)
. n 9 ;9 ##
1
8$ UA 9 L5$ •
B$8 F " L5$ BJ8 P
8$ 4 9 $ < $ ((&I & F 9 L5$ •
.n0 $ /
9
& - & @A: # 4 > $8 1 J6 & F 9 >A: •
,$ -$: $ ) n0 /
9 $
<$ 2 ;9 ##
P
8$ >P & •
B(F -$:
.F - & [ $ L5 $ )$8 n0 ;9 ##
P
8$ $ •
:C
- & P5 - & ": $ ; " A$ ((<$ $ I ((<$) .$ 9 ((&9 ( N + < ((& ; 9
.((# $
:U
:9 OS $"
B$ 9 ((& @ 9 2 n=2 ;9 ##

8$ :$" '7
:n + < ((& 9 ;9 :OS
@ /
9 ((& ; P & >n @ /
9 + < ((& ; ;9 ##

8$ 9 L5$ •
B( $ Wh($ [∀m < n, P(m)] 6$ \ 9 9) $ I ((&I & ( N >n
B( $ Wh($ [∀m < n, P(m)] ⇒ P(n) 6$ 9) $ 9 ((&9 ( ;
# n 9 - & $ •
B$ 9 ((&9 ( ;
#$ n (& (# $ - & P5 - & ": $ ; $ P= >@$ 9 n A: •
Bn /
9 p d _# n=d*p _# P5 & 1 & ) 8 d % n M >@$ 9 n %$ A: 9 •
n 9 < >$ 9 ((&9 ( ;
# 4 = n @ /
9 p d 9 >L5$ +# $ •
.$ 9 ((&9 ( ;
#

24
?
? 7:'
7:'
:=C 7:
A × B -$: $ *JF$ & J6 & 4C B -$: A JF$ E<$ )d<^ .& B A $
. A × B = {(x, y) | x ∈ A, y ∈ B} _#
: ℜ E<$ y S x 9 + ℜ 6$ JF$ E< $ 6
(x, y) ∈ℜ 9 xℜy
< $ ((&I & - & ((&I $ E& :C
:$$ FI ($ P & .y - & $ ; x A: ( xℜy 9) y 2 ( $ ; : ℜ ) E<$ @ x
6 ℜ 2, 9 ℜ 3, 20 ℜ 5
:9 R 3,

:A & - & ℜ E<$
B ∀x ∈ A, xℜx # A: : .1
∀x, y ∈ A, if xℜy then yℜx # A: :R .2
∀x, y, z ∈ A, if xℜy and yℜz then xℜz # A: : .3
: < $ ((&I & - & ((&I $ E& :C
BP5 - & $ ; ((& C : .1
- < > A: ": x - & $ ; 1 y 9 ($ y - & $ ; x A: :R A .2
BD#
1 ,<$ $ 3 - & $ ; 6 ;F$ ;
- & $ ; 20 = 2 - & $ ; 4 4 - & $ ; 20 A: >;F$ ; - < : .3
.2
:? 7:'
.(< >'Y 1 >< JF E& * A: L<$ -<$ + E& A & - & ℜ E<$
.(< >'Y 1 >< 1 * A: %
$ -<$ + E& JF$ E<$
E< 4 L<$ -<$ + E& >< $ ((&I & - & ( 9 /
9) ≤ E<$ & :C
: _# <
+
x < y ⇔ x ≤ y and x ≠ y

25
(=D%
(=D% ?
? (
( ?
?
: # A: A: + E& E & $ - & ℜ +$ E&
∀x, y ∈ E, xℜy ∨ yℜx
(x V y # y V x - 3E $ y x 9# %# $)
.J6 +$ E& = ":
:C
; ) E<$ # > + E& ( 9 /
9) ≤ +$ E& >< $ ((&I & - &
.J6 + E& ( $
$
$
BE & $ 69 & P(E) $ >& E $
: # E& P(E) - & #" E& 9 .1
xℜy ⇔ x⊆y
(y 9 # (5 x
@- 5 @- y V x)
l; & >J6 9 + E& E<$ UA ; .2
:U
B(< 'Y 1 >< E& .1
.J6 + .2
9%
9%N
N ?
?

&'
&' ?
?
B( 9 A $ •
_#) v=v1v2…vi… vn $ $ ( u1...u i ...u n ∈ A _#) u=u1u2…ui…un $ $ •
B( v1...vi ...v n ∈ A
: # ;8 v $ (Prefix) ; u $ 9 ; •
 n≤m
u (is Prefix) v ⇔ 
1 ≤ ∀i ≤ n, u i =vi
B m _# v=um >8X -< •
.( 9 + $ +$ %j(8mb

26
1
1
'%

'%
9 9 > 9 /
9) ≤ + E< '( 6 * A: (E, ≤) 6$ 4$ 6 b 49 E & $ & ;
.( 9
.5 8 ℜ2 ℜ1 E<$ * A: >5 8 49 (E, ℜ2 ) (E, ℜ1 ) b$ & $ 9 ;
:E b$ & $ J6 & E′ $

Bm /
9 E′
& 9 A: A: E′ & $ <$ ( (#$ P9 E m
& & ; •
Bm 9 E′
& 9 A: A: E′ & $ ($ ( (#$ P9 E m
& & ; •
$
$
lE & $ <$ ( (#$ 9 E &

<$ ;
.E={2,8,23} & $ <$( (#$ 23 (N, ≤) ;F$ ; - < >%< :;
e #$
lE & $ <$ ( (#$ E 9 E & 5 8
<$ ;
< y<x x<y (& >E -$: E E & $ <$ ( (#$ y x ; = >E :;
e #$
.x = y 9
l4 E * ;# (2 ) $

8$ V 9 / ;
.E :;
e #$
l +$ E& * ;# (2 ) $

8$ V 9 / ;
.E :;
e #$
&N
&N
&'N
&'N

.E & $ ($ ( (#$

&
& >E & $ -$:
& PC E & $ -(I (#$ )fE & $ -$:
& PC E & $ -(I (#$ )f-(9 @(# 6 (, ≤) E’=6,8,23 & $

27
9/0N
9/0N 0
0 (R'N
(R'N 0
0
: # A: E′ Y&9

& P9 E′ m
& & ; .E J6 & E′ $
∀y ∈ E′, y ≥ m ⇒ y = m
: # A: E′ /

9
& P9 E′ m
& & ; .E J6 & E′ $
∀y ∈ E′, y ≤ m ⇒ y = m
:%
.& $ (# $ Y&I
<$ - &I (#$ A = >- &9 @(# E′ & $ A: •
.& $ (# $ /
I
<$ -(I (#$ A = >-(9 @(# E′ & $ A: •
:C
(P( ), ⊂)  6,8,23,42 , 8,23,37 , 6,8,23 & $
8,23,37 6,8,23,42 : Y&I
<$
6,8,23 8,23,37 : /
I
<$
P 9
& 9 M %$ A: E′ Y&9
& P9 E′ m
& & ; .E J6 & E′ $
.+$ E<$ @
/
9
& 9 M %$ A: E′ /
9
& P9 E′ m
& & ; .E J6 & E′ $
.+$ E<$ @ P
,T
,T %
% ?
? ,T
,T %
% '%
'%
(Well-funded Set & Well-funded Order)
; 4 $8 1 J6 & ; * A: A: ,T % '% 49 (E,≤) E & & ;

& $ %$ A: ,T % W & $ - & )f<b$ +$ >$ .@ /
9 @
&

<$ J4"
:C
. (P( ), ⊂)  6,8,23,42 , 8,23,37 , 6,8,23 & $

28

'N
'N '%
'%
:& 4C )<

B& $ /
I
<$ ; A$ 5
$ - & # •
.,C$ ( + '( 6 •
,T
,T %
% <
<
:E & - & ,C$ '( & $

B≤ ,C$ ( + '( 6 E 9 + •
BE - & W($ $ •
:- & $ + >E - & P
8 - & $ •
BE /
9 y
& ; ;9 P(y) ^# o
.# P(x) >z<x ; ;9 P(z) *# A: o
(=
(=

.E - & * <$ & W $ >E & $ J6 & B $
( #" -< ) E J6 X & /

9 PC >W f<b$ * <$ %(8 B S$ J" E1" )d<^
:#
BB # X o
<$ N = X
& x1,x2,....,xp 4 >;c
<$ UA - & w
.(B,W) 8$ J ; )f<b X C @ 9 ; $
:C
:$$ (B,W) J" 8$ < $ ((&I & )<
B$ I ((&I & =( B & $) (&$ & $
.< ((& ( = (W 7 # 9) $ j(8mb$ <$

29
((
&-
&- '
' $
$)) (=8
(=8

:$$ ;$ f <b $ Bi $$ - & @(& X & $ :
B0 = B
Bi +1 = W(Bi ) ∪ Bi
:C
IN )<
B$ I ((&I & = ( B0 9 B & $) '(&$
.< ((& ($ =(W 7 # 9) <$
(('
' &-
&-
$
$)) (D
(D

.(B,W) 8$ < X $
:A: A: X -$: x .

& & _# X )<$
BB S$ x o
x = : _# X
& (x1,x2,...,xp) ;cX
& (` 6E$ $6$ ; #$ & <
$
.X @
& w(x1,x2,...,xp)
(=
(=

$'
$' XX C
C
.4 ( 9 A $

:$$ J" 8$ f<b$ * $ $81 & A+ $
BA+ @ A ( I )# ; :'(&$ •
; 4( & $ nm mn $ = A+
& n m $ E
@ * A: : $ '(& •
.A+ >$

30
,7N
,7N /
/ !
!
.{(,)} ( I - & @(& 6 , 9 %(8 & $ * $ & LP $
:LP )<$ $$ J" 8$ %(8$

B$8$ $ - & #$ & $ :'(&$ •
: $ & •
BLP -$: uv = LP -$: v u A: o
.LP -$: (u) = LP -$: u A: o
:C
.LP -$: (())() (()) () * $ >/ $ UA
Q
Q (=
(= !
!
B(B,W) J" 8$ f<b$ E & $ $
: f : E → B :f 2 )<
BB b ; ;9 f(b) )< •
.f(xi) xi $"( f(w(x1,x2,…,xp)) )< •
:C
. - & (factorial) <$ 2 )<
(B,W)=({0}, +1) J" 8$ f<b$ ($ $
factorial(0)=1 :)d<^ •
:)d<^
factorial(n+1)=(n+1)*factorial(n)

31
8 Q $C Q

'% :N Y
:

B& % >2 >[ >$8 & >&
:
.4 'F$ ; <$ 'F$ M$A >( ; # 9 * : &: >&" 9 (
" ;J$ . F > "
.4 #$ ( 9 2 &: ;J$ UA ;F 2 ;<$ *"#" % & (& *Y
.4 & I * <$ ,( >*"#" ( $ *& $ n( '(# $ UA ,(
: !"#
:- & ;
5$ A +$$ )<
B& $ % 45 •
B$8$ & $ •
B%$ [" 2$ •
. *8 •

32

'%

'%
S/ $ '( +E & & % E

@ F .((#$ )<$ *A
<$ ((& 49 - & & $ )f<^ •
.< #$ & >J( ( _$F$ )
$
Z ( & >6 `
((&I & & % >;F$ ; - < .((&9 @ 5$ @ $1 4= > *& 2 ;< (& •
.;
5
<$ ;
5 .& $
& <b$ , I ((# _# >< 4 3,4,5
.5 4
< $ $ ;#$ M$A .` 6 ' < $ 6 {3,4,5} & $ -$: 3
<$ 9 ; •
.` %(& 6 ' < $ 6 {3,4,5} & #$ -$: " >8
<$ 9 ; •
9 5 4 3 5$$ & $ B E

@ F + *& $ $ D B ;F ' $ )#I '@ (& %(8 •
.D -$: 3 D -$: " 4 :; " E& %(8 3 7 8 5$$ & $ D

'%
'%
S$ * S
($ & 9 ; $ E
@ F . φ 4$ 6 $8$ & $ >
& 9 # " $ & $
.@ 9 $8 & 9 3 %4$ o A$ O8I & $8 & '#$ ( - & *$6"
S @(# @
& # & $ UA4 {0} 9 0
<$ # $ & $ $8$ & $ 8$ + " :P
.5
$
φ ≠ {0}
0 ∉φ $ 0 ∈ {0}

'%

'%
:;F
<$ ,5 # (& 49 & & ;
{6,7,5} = {5,6,7} = {7,6,5}
.@ 4 ,$ & $ , 9 ;8(
<$ + 9 Y#"
1 & $ 9 ; '/$ $#$

{5,6,7} ≠ {5,6,7,8}

33
=D%
=D%
'%

'%
:$$ & $ A8C$

B={2,3,4,5,6,7,8} A= {3,4,5,6}
.B -$: A
& ; A: B J6 & A & $ 9 ; •
- & #" 6 %(8 M$A + B 9 ' # A & $ 9 ; B J6 & A * A: •
:;$
A⊆ B
45 J6 & & 9 : •

A⊆ A
& 9 J6 & $8$ & $ : •
φ⊆A
:P
>A & $ -$: a
<$ 9 ; ) a ∈ A & @
& $ " E& 6$ $
5$$ & $ 9 ; ) {a} ⊆ A $ a ⊆ A + " _# >789 & & $ #" E&
(A & $ ' # a
<$

34
'%
'% $
$ =D%
=D%
'%

'% %-
%-
- & $ ;
# ‫ أي‬φ ،{a,b} ،{b} ،{a} {a, b} & $ '( $ J6$ *& $ ((& & F# A:
: ‫ ذ ا ا‬.*& 2 9
a J6$ & $ -$:
%<
"
b J6$ & $ -$:
%<
" %< "
φ {b} {a} {a, b}
،{c} ،{b} ،{a} : ‫" ه‬#‫ت ا‬%‫{ (' أن ا‬a,b,c} 5$$ & $ ;9 ;<$ ,5 %$ •
. φ ،{a,c} ،{b,c} ،{a,b}
: * ‫ ﻡ‬,'- 9 $$ .8 < & $

& ; 9 $ ; ($ 7
& 2n S$ @ >@
& n # A & J6$ *& $ ((&

35
$$IZIZ

:p *8 &( *8 & 4 F % *& $ 2 ;<$ ;4$ •
;F 5 $ 8$ 4Y :C

.p *8 & A ⊆ B E<$
A B %# + ' $ ( ")
J ($
.(*& $ %#
U & $ 2 $ ;8( #$ ;F
U <$
A⊆ B
'%
'%

.<$ & $ & $ [ (& B & $ % B′ 9 ; •
< :C
U = {1,2,3,4,5,6,7}
B B = {3,4,6}
B′ B′ & $ u -$: B & $ % •

B′ = {1,2,5,7} _#
U ′ & $ u -$: u & $ % •
U ′ = φ _#

36
Y%
Y% Q
Q
A ∩ B P$ 6 B A & $ 2 )< •

B A $
<$ & PC
:C
B
A = {1,2,4,5,7}
B = {2,4,5,7,9,11}
A ∩ B = {2,4,5,7}
UA 2 _#

5$ *& $
& # " $ *& $ •
φ $8$ & $ @ *& $
:C
A A = {9,15,25} B= {1,2,4}
A ∩ B = φ _#
5 & B A
B
'( $
<$ 5$$ & $ PC > A ∪ B 6$ P$ 6 >& [ )< •
.@< 4 9 B 9 A
A
:C
B = {3,5,7,9} A = {1,3,5}
B
A ∪ B = {1,3,5,7,9}

'%

'% &'
&'

: ;F$ A 9 _# >'(&$ UA - & @(& 4 F ` = > '(& 4< & $
& 9
. '(& 4< x _# x

<$ & >A & $

37
: *& $ - & * <$ )d<^ 9 ;F$ A %(8
:<$ & $ u & B A $
: A & $ $ A ′ & $ )d<^ .1

x A S$ " x _# x
<$ & A & $ $ A ′ & $
U S$
: B A & $ 2 )d<^ .2

B S$ x A S$ x _# x
<$ & B A & $ 2
: B A & $ [ )d<^ .3

x 9 B S$ x 9 A S$ x _# x
<$ & B A & $ [
@ < 4 $
Y%
Y% 0
0
((& 9 L5$ .y 4<

& ((& 9 < & $ 9 L5$ B > A & $ A8C$
> x (B -$: " 9) 2$ -$: " $ A
&
z (A -$: " 9) 2$ -$: " $ B
& ((& 9 L5$
A
B
x + y + z A ∪ B & $
& ((& 9 N
z y
(x + y ) + ( y + z ) − y ;$ - & M$A
x

& ((& P g B & $
& ((& P$: ) A & $
& ((& A ∪ B
& ((& 9 9
.& $ 2
:+ S & $

& ((& -$: A$ n(S) 6$ %(8
n( A ∪ B ) = n( A ) + n( B ) − n( A ∩ B )

38
:C
-$: %4 +E 7 >6 ` / $ '( # -$: %4 +E 5 %( >*#" -$: +E 10 5$ & %(
- & (# # -$: ( '<$ +E$ 9 @ & (# X #" -$: %( @ $ % +#$ . <$ '( #
.;I
/ $ #" ( A$ +E$ A & $ L5$ •
* <$ #" ( A$ +E$ B & $ L5$ •
( A ∩ B ) & $ +E ((& & @A: _# •
["
8 +# •
n (A ∪ B) = n (A ) + n (B) − n (A ∩ B)
10 = 5 + 7 − n (A ∩ B)
n (A ∩ B) = 2 $$
@ < #E$ ( A$ +E$ ((&
$$ZZ

&'
&'

:$$ NJ$ 4 $ $ [ 9 <$ @

8 60 - & 9 9 [E Z
# $ @
8 19 •
$ @
8 18 •
%($ ' @
8 50 •
# $ $ @
8 13 •
%($ ' $ @
8 11 •
%($ ' # $ @
8 13 •
_EF$ *$ O89 9 •
: ((#$ *<$ UA %(8
_EF$ *$ 9 " A$ O8I ((& 1
%($ ' A$ O8I ((& 2
.%($ ' " $ # $ A$ O8I ((& -3
A
B :p 8 % % JI UA - & q$
R7 R2 R3
A # $ A$ O8I & %Z$ •
R1
R6 R4 B %($ ' A$ O8I & %Z$ •
R5 C $ A$ O8I & %Z$ •
C

39
& < >*<$` +# A ∩ B ∩ C 9 %4< ;F (R1) _EF$ *& $ $ $ :
.O89 9 45 $$ _EF$ *$ A$ O8I
(R1) $ F 8$ - & % 13 %((& A ∩ B F # $ %($ ' A$ O8I ((& :
.O89 4 (R2) $ - O89 9 # (R1) $ 9 ( 9 >(R2)
.O89 < 9 # (R6) $

8 # (R4) $ 9 N 9 $ ,5
.@
8 19 # (R7) (R6) (R2) (R1) $ 9 9 # $ @
8 19 9 -$: *<$
.
8 # (R7) $ 9 N $$
.O89 3 # (R5) $ @

8 35 # (R3) $ 9 N $ ,5
._EF$ *$ 9 , " (# O8 ($ $$ @

8 59 ( C B A O8I ((& < @A:
.((R3) $ ) %($ ' @

8 35 9 ( 8$
.((R6) $) 4 %($ ' " $ # $ A$ O8I ((& 9 ( 8$

40
8 Q $C Q

[ :(C Y
:

;#" > b$ _(#I >;# _(# >(9 _(# > _(# ><$
:
S .4 'F$ ; <$ 'F$ M$A >( ; # 9 * : &: >&" 9 (
" ;J$ . F >"
.4 #$ ( 9 2 &: ;J$ UA ;F 2 ;<$ *"#" % & (& *Y
.*"#" % & *9 '(# $ UA ,(
: !"#
:- & ;
5$ A +$$ )<
;#" % 45 •
_(#$ % 45 •
$ _(#I > #$ _(#I >'(I _(#I > $ _(#I •
_(#I *& - & * <$ •

41

&-
>1 =>
+ +# O8$ A 2 . '$ 25 4 ; F ( 4 + -$: ;8( @
8 9 L5$
. 4 × 25 ( P<( P &
&: ; # ; >4 9 [ 9 ' ;E8 >4< $ ($ ((& ( @ ((# 9 2 " $ +#
9 ":
.J 6$ + @ < @ J & ((<$ A - _# ((<$ A4$ (
((# ; # 9 9 >;#" % 45 %(8 J & Y $ * $ ;J$ *"#$ UA ;F
'(# $ UA 4( (& ,9 & ;# $ #$ $

&-
>2 =>
S $ NJ$ & >$ # ($ 4 ' ; >* '(& ($ # % 9 L5$ •
: <$ UA .<$ $ # ; (< 4 & ;
# 9
S = {1,2,3,4,5,6}
:;F$ ; - < .<$ J6 & 9 @F(# &( •

E1 = {1,3,5} :$$ & $ < (( ((& ($ # ) :_(#$
E 2 = {2,4,6} :$$ & $ < ( 6 ((& ($ # ) :_(#$
E = {1,2,3} :$$ & $ < (4 @ /
9 ((& ($ ) :_(#$
:& $ _(#$ A < .(4 ($ ) _(#$ & _# 9 L5$ •
.@ @ F(# _(#$ A '(# P & ;
#$ 9 9 E = {4}
>S<$ P9 9 E = {1.2.3.4.5.6} _(#$ A < (10 /
9 ((& ($ ) _(#$ <$ •
.@(9 @ F(# _(#$ A 10 /
9 ((& @ J( ($ 9 _#
S .7 S - & ;

# 9 $ " E = φ _(#$ A < (7 ($ ) _(#$ <$ •
.E
@ # @ F(# _(#$ A

42
EN
'% &'

: S <$ F(# F E L5$

(# X F E ;
# (& E ∩ F _(#$ - & ;
# •
F 9 E ;
# (& E ∪ F _(#$ - & ;
# •
E _(# " (& ( S -$: E _(#$ %) E′ _(#$ - & ;

# •
:C
: $$ _(#I )Z< .%4 ;& 8 %$ 2
;& & A8C$
@ & 20 /
9 8$ ;<$ & : E
L 9 8$ ;<$ : F
-F9 8$ ;<$ : G
:$$ _(#I )< ; #$
: E′ _(#$ •
.@ & 20 9 9 8$ ;<$ & C Z < A$ _(#$ P9 9 E S$ %$ _(#$
: E ∪ G _(#$ •
."-F9 P9 9 20 /
9 ;<$ &" _(#$ P9 9 G 9 E ;
# & Z< A$ _(#$
: F ∩ G ′ _(#$ •
."-F9 ,$ L 9 ;<$" _(#$ P9 9 (# X G ′ F _ (# < A$ _(#$
EN
. F(# (# X E

# 9 " F(#
. $ - & ;
#$ E 2 _(#$ ]$ - & ;
#$ PC E1 _(#$ )Z< ( < E
@ F
.(# X ] - & ;
#$ " PI F(# E 2 E1 F(#$
.$8$ & $ 4< < (& E F F(#$ %& ;

43

P(E ) P$ 6 E _(#$ _ (# ;# )d< >J

<$ 2 P S & ;9
:9 S & $
& ((& - & E & $
& ((& PC
n (E )
P(E ) =
n (S)
9 /
9 @ # E
& ((& = S <$ J6 & & ' & E _(#$ 9
.Z<$
& ((&
:1 0 $ @#
# ((& < _(# _ (# ;# 9 N
0 ≤ P( E ) ≤ 1
:;F
: S = {1,2,3,4,5,6} : $#$ UA <$ .($ # ;F -$: (<$
E1 = {1,3,5} & $ (( ((& - & ;

#$) _(#$ & < •
n (E1 ) 3 1
= = ( ((& - & $
# ;#
n (s ) 6 2
E 2 = {1,2} & $ (3 @ /

9 ((& - & ;
#$) _(#$ & < •
n (E 2 ) 2 1
= = _(#$ A ;#
n (S) 6 3
E 3 = {φ} & $ (8 - & ;

#$) _(#$ & < •
n (E 3 ) 0
= =0 _(#$ A ;#
n (S) 6

44
8 Q $C Q

: N " :EC Y
:

. $ >+$ > <$ ($ >6 E& > _(#9 >$ ;#" >' _(#9 [ >F(# [ ;#
:
+#$ 6 E& ,( $ ;#" +# (& - & )< _# *"#" %5 ( '(# $ UA 2
.;#"
: !"#
:- & ;
5$ A +$$ )<
[" ;# '(& •
'$ _(#I [ '(& •
$ ;#" •
4J( '(& $ _(#I •
6 E& •
<$ ($ •
+$ •
$ •

45
Y%P '7
n (E )
.<$ S _# P9 ( E _(# ;# ( •
n (S)
n (E ∪ F) = n (E ) + n (F) − n (E ∩ F) :9 *& $ ( •
.& $
& ((& & n < _#
n (E ∪ F) n (E ) n (F) n (E ∩ F)
= + − :( n (S) - & ' $ UA %$ •
n (S) n (S) n (S) n (S)
n (E ∪ F )
E ∪ F _(#$ ;# )<$ &( •
n (S)
P(E ∪ F) = P(E ) + P(F) − P(E ∩ F ) :$$ F(# [ ;# '(& W >$$ •
:C
'
9 9 # $ 9 ;# +# +1 ( 52) +< $ +# 9 L5$
E >(# +#) _(#$ %d $ •
P >('
+#) _(#$ %Z$ •
(E ∪ F) ('
9 # +#) :_(#$ •
P(E ∪ F) = P(E ) + P (F) − P(E ∩ F) :[` ;# '(& +# $$ •
: P(E ∪ F) +#$
>( n (E ) = 26 9) +< $ # 26 ($ 9 ># +# ;# - & ;( P(E ) 9 •
n (E ) 26
P(E ) = = :
n (S) 52
: >( n (F) = 12 9) +< $ '
12 ($ 9 >'
+# ;# - & ;( P(F) 9 •
n (F) 12
P(F) = =
n (S) 52
: >( n (E ∩ F ) = 6 9) #
6 ($ 9 # '
+# ;# - & ;( P(E ∩ F) 9 •
6
P(E ∩ F) =
52
•
26 6 32 8
(
P EUF )= + = =
52 52 52 13

46
5 E\ Y%P
F(#$ $ >$$ . φ 4< 9 9 >8\ [ (#9 [ 2 >F(# 4C F(# )<
:
r5
2$ ;# •
F(#$ $# [ [" ;# •
'7
. E ∪ E ′ = S # A$ _(#$ P9 - & E′ %$ _(#$ > E _(#$ $ &
E ∩ E ′ = φ :@A: > F(# E′ E F(#$ $
: >'$ _(#I [ ;# '(& +# $$ P(S) = 1 9

P(E ∪ E ′) = P(E ) + P(E ′)
1 = P(E ) + P(E ′) ⇒
P(E ′) = 1 − P(E )
.1 _(#$ ;# g N _(# % ;# 9 9
;
#$ ;# 9 " - & ;
#$" _(#$ % "] - & ;
#$" _(#$ >( < 5
1 1 1
.@ 9 = 1 − - & ;
#$ ;# = ] - &
2 2 2

47
(8 5
:$$ $ $
$#$ UA <$ 9 L5$ . 9 ] $ ;Z C $ ( < % L5
: ($ *"#$ )
S = {(] ]) > (] )> ( ])> ( )}
: E _(#$ A %Z$ ( ) 9 $ - & ;

#$ ;# +#$ .1
n (E ) 1
P(E ) = =
n (S) 4
_(#$ - & ;
#$ ;# < ( 9 > F _(#$ A %$ - & -$ I $
# 9 L5$ .2
5$ -$: O ( <$ 9 < -$ I $ - & $
# : .;
# ( F _(#$ C @ & E
:_# S′
S′ = {(] ) >( })
P(E / F) M$A$ 6 ;

# ( F L5 E _(#$ ;
# ;# = $$ .3
n (E )
P(E / F) =
n (S′)
1
P(E / F ) =
2
(8 !
$ ;#" C ; .<$ O L" 9 A: 8X _(# _ (# L (& E _(# _ (# ;# /
:E<$ -<
P(E ∩ F)
P(E / F) =
P(F)
. F _(#$ ;# F(#$ 2 ;# $ >2 ( F _(#$ 9 L5 E _(#$ [ ;# :
:;F
$#$ UA <$ 9 L5$ . 9 ] $ ;Z C $ ( < % L5
: ($ *"#$ )
S = {(] ]) > (] )> ( ])> ( )}

48
1
P(F) = : _(#$ A ;# .(-$ I $ - & ;
#$) _(# F _(#$ $ •
2
.($ - & ;
#$ -$ I $ - & ;
#$) _(#$ E ∩ F _(#$ $ •
1
P(E ∩ F) = : _(#$ A ;#
4
: F _(#$ [ L5 E _(#$ [ ;# >P & •
1
1
P(E / F) = 4 =
1 2
2
<% '7
P(F) ≠ 0 P(E ) ≠ 0 _# F(# F E L5

$ ;#" )< +#
P(E ∩ F) P(F ∩ E )
P(E | F) = P(F | E ) =
P(F) P(E )
P(E ∩ F) = P (F ∩ E ) $$ E ∩ F = F ∩ E = 2 $ ( $

8$ +# $
:$$ '(&$ N
P(E ∩ F) = P (F) × P(E | F)
P(E ∩ F) = P (E ) × P(F | E )
:;F
3 2
(#9 8 ;# .6 ` / $ ( * $$ 25% 9 % < >+E$ * $$ # )

5 5
.6 ` / $ ,( $ - & 8 2 9 ;# >J & ; +E$
E :( $ 8) _(# •
. F :(6 ` / $ ,() _(# •
P ( E ∩ F ) + $ ;#" •
P(E ∩ F) = P(E ) × P(F | E )
:*<$ •
2
P(E | F) = 0.25, P(E ) = = 0.4 ⇒
5
P(E ∩ F) = 0.4 × 0.25 = 0.10

49
% (< 1 4$# 9 _# F(# F E L5
:$$ '(&$ N 9 >2 $ ( $
8$ - & $ ;#" )< - & ^(&
:F(#$ 2 ;#
.; I [ F$ _(# $ $ ;#" + ; I _(#$ ;# •
9
.F$ [ ; I _(# $ $ ;#" + F$ _(#$ ;# •
E\ <% '7
: 8X -< .8\ ;

# - & F " (#9 ;
# A: E 49 F(# & ;
P(E | F ) = P(E ) 9 P(F | E ) = P(F )
: F(# F E s; ;# D

$ _(#t$ $ ($ '(& = $$
P(E ∩ F) = P(E ) × P(F)
:;F
9 ;# 0.20 %#(6 ;
# ;# 0.10 N F^ 9 ;# ( F$ %9 (& %
l E ( %#(6 ;
#) (N F^ 9) F(#$ ; .0.82 %#6 ;
# 9 N F^
: A: (Z(# 9 & + .( %#(6 ;

#) _(# T 9 (N F^ 9) _(# S L5$
P(S | T ) = P(S) 9 P(T | S) = P(T )
9 % <
P(S ∪ T ) = 0.82 , P(T ) = 0.80 , P(S) = 0.10
P(S ∩ T ) ((# [" '(& %(8

P(S ∩ T ) = P(S) + P(T ) − P(S ∪ T ) ⇒ P(S ∩ T ) = 0.08
P(S ∩ T ) = P(S) × P(T | S) ⇒ 0.08 = 0.01 × P(T / s ) ⇒ P(T / s ) = 0.8 = P(T)
.E T S F(#$ $$ P(S | T ) = P(S) 9 $ ,5
.@ ( $ @ P 9 P % ' $ u,u(#
j $ 2 " _(#I ;E :P

50
D 7:'
& 8( PC @ & J$ O8$ +

9 ;# *&9 O8I & - & *9 $ *($ 9 L5$
+
S PS9 @ & @ J & 8( O8$ 9 ;# < & + _# $ '(J5$ P9 L5$ .@ J
P(E | F) % < A: P(F | E ) < $ ; >8X -< .J$
: F E F(#$ $ PC ; A:.6 E& &( E& %(8 A :
P(F) × P(E | F)
P(F / E ) =
P(F) × P(E | F) + P(F′) × P(E | F′)
F ‫ ه ا ث ا
ث‬F′
:C
(& _(# [ ;# 9 0.1 W` 8 - & ;& V8 9 ;# >'((# 6 ' ;9 P9 L5$
@ & @ J8 ;<$ 9 ;# .0.2 C8 M " (& _(# [ ;# 9 0.3 C8$ A ;
#
.2 ( @F(# 9
($ $C$ *<
(;<$ C89) _(#$ F L5 •
(_(# [ ) :_(#$ E L5 •
:$C$ *< +# ($ •
P(F) = 0.1
P(E | F) = 0.3
P(E | F′) = 0.2
:6 E& •
P(F) × P(E | F′)
P(F | E ) = ⇒
P(F) × P(E | F) + P(F′) × P(E | F′)
P(F | E ) =
(0.1)(0.3) = 0.143
(0.1)(0.3) + (0.9)(0.2)
D 7:'
: >-F -F 4< ' _(#9 F1 , F2 ,......Fn L5
P(Fi ) × P(E | Fi )
P(Fi | E ) =
P(F1 ) × P(E | F1 ) + ..... + P(Fn ) × P(E | Fn )

51
( <%
lM$A$ 4 % 9 $ $ ((& >+ -$: @ - & + 5 + ( L5
; I + $ *8 ,8 ($ M$A$ + 5 ; I +$ 8 9 ( $ •
(+$ (#9 @ 8 I) *8 4 ($ - F$ +$ ;9 •
A *8 _EF ($ - _$F$ +$ ;9 •
(1 2 3 4 5 $# ) + ; 8 ((& ( ;
# P P$ $ ((& •
P = 5 × 4 × 3 × 2 × 1 = 120
5! 6$ $#$ UA P$ 6 <$ ($ ($ A
: & n U n! P$ 6 < ((& n _# n ((< $ <$ ($ %& ; )Z<
n!= n × (n − 1) × (n − 2) × ..... × 3 × 2 × 1
UA @
& n # &
& + 4 $ $ ((& & <$ ($ Z <
.& $ ;( $
:C
: {1,2,3} & $
& +$ 6 (
3! = 6
.(3,2,1) > (3,1,2) > (2,3,1) > (2,1,3) > (1,3,2) > (1,2,3)
?
+ FEF 2 $ $ $ ((& >)$ - & 8$ +$ + FEF 2 +1 9 L5$ +$ ;F -$: (<$
l)$ - &
: $ ((& 9 9 ._$F $ 3 F $ 4 >; I + $ *"# 5 ($ $#$ UA
5 × 4 × 3 = 60
n # & @

& 8" $ ;( $ ((& PC r ≤ n _# Pnr +$ %& ; )Z<
:;$ - & +$ ((& -)$ - & 8$ +$ + FEF 2 +1 9 L5$ +$ ;F -$: (<$
l)$ - &
:N P r = 3 n = 5 :($
5! 5 × 4 × 3 × 2 ×1
P53 = = = 60
(5 − 3)! 2 ×1
‫اا‬
lA4$ $ *"#" ((& .(

I (#9 -$: 8$ +$ + FEF (: ( 9 L5$ >+$ ;F -$: (<$
S8 9 < A4 % + ;$ 6 A: $ ."
@ # 60 9 @ U( -$ I $ <$ ` (
.%4 1 +$ + I $# D#
1 A 2,1,3 +$ 8 V " 1,2,3 +$
6S $

<$ + '& (
& n & @
& r 8" $ ((&
r ≤ n
& n
& r S$ $ ((& C ; . C nr 4$
n!
C rn =
(n − r )!×r!
‫ ا"اﺕ واا‬#$% &'‫ﺕ‬
.(8 >6 >5

>#) * 2 9 - & # , +# ( 9 L5$
.@< $ # ;# 8" $ ((& .1
.F ' # %F ' # ;# 8" $ ((& .2
" +$ @ < $ +# 9 _# (# >5

) @ J (5
>#) +#$ -$ I $#$
C 42 $ $ ((& $$ .@ 4
4!
C 42 = =6
(4 − 2)!×2!
V " F$ '$ 5
-$ I '$ # ' +# 9 9 @ 4 +#$ + F$ $#$
P42 +$ $ ((& $$ (# >5
) +#$
4!
P42 = = 12
(4 − 2)!

53
8 Q $C Q

(5
:Q Y
:

>) >< $ $ >;#" [6 >J <$ ; #$ >JF$ +$ >JF$ ;#" > >+
.;" 5
6 [< >Yb$ ;" 5

:
- & )Z< %Z F *"#" +# $ +$ %(8 5 - & )< _# *"#" ( >'(# $ UA 2
.* $ L< ) J <$ ; #$ ,( JF$ +$ % 45
: !"#
:- & ;
5$ A +$$ )<
$ +$ - & * •
J <$ ; #$ % 45 •
) ;E •
46 [< ;" 5


54
?
?

?
?
8X +$ >"
@ 9 @6& $ +E$ (#9 8 Z($ UA ( >% > >%$ :+E _EF - d( 7($
.($ 9 2 )6< _$F$ 9 .@ F @ 6& $
. I 2 )6< %$ - & F )6< % - & ,; 9 )6< - & 8 2 9 ;# "
@ 9 +#$ •
FEF 5$ & >(%$ >% >) FEF$ 9 >
& FEF 8 %9 # $C$ UA
.@ 4 '8b$
<$ + _# >@ 9
&
P& ( A$ _(#$ > P33 +$ (<$
& ((& 9 ) 8E$ Z $ $ ((&
:+ $ ;#" +$ UA (# 8
1 1
P(E ) = =
3 6
3P
> I 2 )6< - & F )6< %$ - & ,; 9 )6< % - & 8 2 9 ;# \ +#$ •
I 2 )6< %$ - & F )6< % - & ,; 9 )6< - & 9
& (%$ ,% ,) FEF$ 9 >( ,%$ ,% ) FEF$ 8 %9 # $C$ UA
.@ 4 '8b$
<$ + _# >@9
& FEF 5$
P& ( A$ _(#$ P33 +$ (<$
& ((& 9 ) 8E$ Z $ $ ((&
:9 FEF$ [ ;# +# $#$ UA .FEF$ 7(#: 8
P(E ∪ F) = P(E ) + P(F)
1 1 2
= + =
6 6 6
.*"#" +# - & (& +$ 9 N $ $
:P
E ∩ F = φ 9 (5 F E F(#$ 9 Y#" .1
.2$ < 9 S$ % 45 +$ < ;#" S$ % 45 m J( (5$ P9 Y#" .2

55
‫‪5‬‬
‫ ‪5‬‬
‫ ‬
‫‪ P‬‬
‫? ‪P‬‬
‫?‬
‫ ‪,8 - & +&E$ ;

# 9 ;# ,+&" ;$ 9 ,8 26 % > 52 )$$ +< $ +<$9 (#9‬‬
‫‪l" " 9‬‬
‫‪ > +$ %4 " _# > 52 9 ,8 - & +&E$ ;
# 9 4 A$ $ ((& :‬‬ ‫•‬
‫‪: C 552 $‬‬
‫!‪52‬‬
‫= ‪C 552‬‬ ‫‪= 2598960‬‬
‫!‪5!×47‬‬
‫‪ ( 13 ( P9 @ &) 9 ,8 - & +&E$ ;

# 9 4 $ $ ((& :‬‬ ‫•‬
‫‪5‬‬
‫‪C13‬‬ ‫‪ $‬‬
‫‪5‬‬ ‫!‪13‬‬
‫‪C13‬‬ ‫=‬ ‫‪= 1287‬‬
‫!‪5!×8‬‬
‫&(( ‪ $ 9 9 ,8 8‬‬

‫ "‪ : + $ ;#‬ـــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــــ‬ ‫•‬
‫&(( ‪4 I 9 ,8 8‬‬
‫‪5‬‬
‫‪C13‬‬ ‫‪1287‬‬
‫= ) ‪P(E‬‬ ‫=‬ ‫‪= 0.00495‬‬ ‫‪:9‬‬
‫‪C 552‬‬ ‫‪2598960‬‬
‫ ‪.*"#" +# - & (& $ 9 N $ $‬‬
‫‪(=C‬‬
‫ ‪(=C‬‬
‫‪ =C‬‬
‫‪=C ?%‬‬
‫‪?%‬‬
‫ ‪;# & _# $ * F ( < ;F >* 'Z(& $ ,5 *"#" ;J F$‬‬
‫‪.$ *$ P
: ;# )( - & * 6 9 >* 7 ] - & ;
#$‬‬
‫‪$ S +S +S$ S [ S$ AS Z E‬‬

‫ ‪@ NJ$ ;F @ # NJ$ L< ;F +$ UA ;F‬‬
‫)‪.JF$ +$ 9 (Bernolli‬‬
‫‪Universal Knowledge Solutions s.a.l.‬‬

‫‪56‬‬
:$$ OJ
8$ JF$ +$ 6
.* 'Z(& 45 $ 1
.";" "g" :NJ$ & M 2
. ; P5 ;5$ 9 g$ ;# - '$ +$ 3
=C
=C ?%
?% (5
(5
?
?
.,8$ *$ (1) %$ - & ;

#$ ;# +# ; #$ $ * 5 ($ # %c $
;
#$ @# (1) - & ;
#$ ;F * 5 $ % _# JF$ $ $C$ UA # •
. ,8$ *$ 9 E
@ 8X % 9 - &
:9 ; "1" - & ;

#$ *"# ( + $ ;#" •
5
1
P(E ) = P(1) × P(1) × P(1) × P(1) × P(1) =  
6
.,8$ *$ * 2 9 "1" - & ;

#$ ;# (: \ ; #$ $ * 5 ($ # \ %c $
:;$ - & ;#" A +1 ( -$ I $ •

P(E ) = P(1) × P(1) × P(1) × P(1) × P(not1)
A: I M$A > C 54 8

& 2 9 8 5 8 ,8 _(# ( +$ A $ •
:$$ *"#" ($ 1 S $ / ((& - & ;
# $ f S >"1" - & ;
# $ T S 6
f T T T T
T f T T T
T T f T T
T T T f T
T T T T f
: + $ ;#" @A: •

P(F) = P(1) × P(1) × P(1) × P(1) × P(not1) × C 54
4
1 5
P(F) =   × × 5 = 0.0032
6 6

57
=C
=C ?%
?%

>>
.1 − P $ UA ;5$ ;# >.JF . *" # 7(#: g$ ;# ;F P L5
( )
: > P E nx P$ >; n − x $$ g x _ (# ;# $ UA $ # n S A: 9
P(E nx ) = C nx × P x × (1 − P) n − x
:;F
* _EF >2 % - & ;
#$ ;# >($ (&
:- & ;
# n = 5, x = 3 _# $ E<$ %(8
3 2
1 5
( )
P E 35 = C 35 ×   ×   = 0.0032
6 6
(=8
(=8

OS#5 9 (S< >)S %ES" & ; $ 9 > # 12 @ 5$ @( * *$ 7(#: : L5$
.' * _EF ( >*$
$ ' $ *$ ((<$ x S 6$ >*$ UA O#5 * 2 9 5$ & A89 ( ; $ A 9 L5$
.J <$ ; #$ :*" #$ [ $ A &( 0,1,2,3 %$ x ; #$ A8C 9 .<$ (
. ; ; @# @((& < 2 P9 - & J <$ ; #$ )d<
:;F
<$ ' * 3 ($ C @ & * 4 & ' - & F<$ %(& ;# +# %$
. P(x = 0 ) + $ ;#" x=0 $#$ UA . 12 )$$
.9 * 4 ' * _EF ' 0 8 P(x = 0 ) ;#" <
C 30 × C 94 14
P (x = 0 ) = =
4 55
C12

58
<$ ' * 3 ($ C @ & * 4 & ' - & F<$ ;# >$ ,5
: 12 )$$
C13 × C 39 28
P(x = 1) = =
4 55
C12
' * 3 ($ C @ & * 4 & - & F<$ ;# >$ ,5
: 12 )$$ <$
12
P (x = 2 ) =
55
' * 3 ($ C @ & * 4 & ' * _EF - & F<$ ;# >$ ,5
: 12 )$$ <$
1
P(x = 3) =
55
C 0n = 1 0!= 1 :P

YD
YD
: $ $ ( $ NJ$ 2
x 0 1 2 3
P (x ) 14 28 12 1
55 55 55 55
.;#" [Z6 ; ( :; $ ;#" 4 #$ J <$ ; #$ % 2 A$ ; ($ -&(b •
+ @( )5 ; ) 8 9) (# $ >J <$ ; #$ %$ $ >*"#" 2 ;
# 9 + •
.(#I L< $ NJ +
F$ $ x -$ I $ 4 $ W 6I & ; - & ;#" [6 @ 9
:;F . P(x )
 14   28   12   1 
 0, , 1, ,  2, ,  3, 
 55   55   `55   55 

59
(=8
(=8
7
7

x1 , x 2 ,....x n n A8C 9 A$ x J <$ ; #$ L5$

P1 , P2 ,.....Pn %$ UA - & ;
#$ *"# 9 L5
_# E(x ) $ 4C J <$ ; # $ < $ $ )Z<
E(x ) = x1p1 + x 2 p 2 + ..... + x n p n
:;F
: $#$ UA x J <$ ; # $ < $ $ : .*$ & ;F -$: (<$
14 28 12 1
E (x ) = 0 × + 1 × + 2 × + 3× =1
55 55 55 55
1
<9 A: .<$ 9 .5$ '(# %E" ) $ )Y $ ( >* 4 & >@ P9 9
4
.5$ * 3 ($ 12 ;
9 I A 9 ( >$
=C
=C ?%
?% (5
(5 (=8
(=8
7
7

: JF$ + $ $ ;

NJ 2 $ ((<$ ($ E(x ) J <$ ; # $ < $ $ JF$ +$ ;9
E(x ) = nP ; g$ ;# g$
:;F
9 L5$ ._` % 1993/1992 %<$ F$ '(4$ #$ 79% = <$ *J4$ *J
#: -$: (
.# 5 @ J & 8
.O89 ,8 5$$ <$ UA _` ((& ;# [6 +# .1

.(<$ _` ((&) J <$ ; # $ < $ $ +# .2
9) 0.21 ;5$ ;# 79% g$ ;# 4 JF $C 49 ( $C$ UA 5$ <9 A: •
(1-0.79
:JF$ + $ $ @ U( +# ($ ._` ((<$ ;F$ J <$ ; #$ x L5
P(x ) = C nx × P x × (1 − P )n − x
P(x = o ) = C 50 × (0.79 )o × (0.21)5 ≅ 0.0004 E
@ F

60
:$$ [6 $ ; ( 4< $ x S$ 5 8$ %$ *"# ( $ ,5
x 0 1 2 3 4 5
P (x ) 0.0004 0.0077 0.0578 0.2174 0.409. 0.3077
:( J <$ ; # $ < $ $

8$ E<$ %(8 •
E(x ) = 0 × (0.0004) + 1 × (0.007) + 2 × (0.0578) + 3(0.2174) + 4 × (0.4090) + 5(0.3077) = 3.95
.O89 5 & @ F: O8I 3.95 @ $$
:- & ;
# E(x ) = nP ( $ < $ '(&$ +# A$ P = 0.79 n = 5 ;F$ ($ $
.< 3.95
!
!

$ $#$ 8X ; 9 4 $ $ $#$ $ < _# + '(< % 9 L5$
.) +$ [ $ A &( . $ *"#$ < " $#$ $#$ <
;" 5
&( 5
%(8 >789 $# -$: $# ;" *"# ;F ) ;E ;F$
:C
.(2) (1) 6 $ 4$ 6$ >+F$ 2 $ >'/
'(
+F $ >(1) $ $ '$ +F$ 7 ( > 6 '( & ;# 9 >*9 $ $ *( *
+F $ (2) $ $ '$ +F$ 7 ( 6 '( & ;# 9 >0.8 $ ,5 789
.0,35 $ ,5 789
6 +A ;# >+F$ 4 7 $ $ '$ < $ (#9 -$: 6$ +A ;# 9 L5
$ '$ 7 ( 6 +A ;# 1 − 0.8 = 0.2 (2) -$: >(1) $ '$ 7 (
1 − 0.35 = 0.65 (1) -$: >(2)

61
:$$ 8$ ; ($ NJ$ 2
0.2
0.8
1 2 0.65
0.35
$#$ 2 $ $$ 2 $
1 2
1 0.8 0.2
2 0.35 0.65
$# -$: $# ;" ;# <$ (& ;" 5
4 5
; - & $ ; ($
.789
(1) ( 2)
 0.8 0.2  (1)
A =  
 0.35 0.65  (2)
.A (1) $#$ $#$ 9 @ & (1) $#$ -$: ;" ;# < a11 = 0.8
<$ 9 < A
P
P 50
50
$D
$D Y
Y8
8
.@ &< >@( & n @(# @ # 5

; &( •
V × P = V # A$ V [<$ PC >) ;F P $ 5

O8$ 6 $ [< )< •
.Y P 9
.$" 5
$ *"#$ 7($ ; ;#" 6 $ [< ;F •
:C
;" 5
_# , E$ ;F 5
$ 6 $ [< ( $
 0.8 0.2 
A =  
 0.35 0.65 
V × A = V ($ V 6 $ [< )< +# •

62
S$ 6$ ( & (# )$ V [<$ 9 (* 5
$ + OJ
8 +# ) Y#E •
:($ V = (x , y ) :6$ V
(x, y )
0.8 0.2 
 = (x, y ) ⇒
 0.35 0.65 
(0.8x + 0.35y,0.2x + 0.65y) = (x, y )
:$ 4 $(< - & ;

# •
0.8x + 0.35 y = x
0.2 x + 0.65 y = y
: $ UA ;# < •

x = 0.64
y = 0.36
V = (0.64,0.36 ) 9 9 •
2 $ ;F V = (0.64,0.36 ) = >$" 5

$ *"#$ 7($ ; ;#" ;F 6 $ [< 9 •
0.64 (1) $ -$: +A$ ;# , E$ -$: *6$ > n >@( ((& ;9 :$$
.0.36 (2) F$ $ -$: +A$ ;#

63
8' (C 8' 9
# " ! :
%8N
:

>8$ ,9$ ( >,9$ ( > >+ib >Pf 1 >Pf >, >2 >'(& >,9 >
. 1 ' > >'( > > # > > 8($ ,9$ (
:
.4& 9 * $ < 9 )< %5 - & %$ A )<
: !"#
:- & ;
5$ A +$$ )<
BP $ 1 $ P $ $ )< •
B+ib$ $ $ $ )< •
B , *( )< •
B $ cFb$ * 5
$ •
B*($ $ * #$ ;E$ •
.I * /$ •

64
]^% A $ !
: 5$ G = (V, E, Ψ ) FEF PC (P) Pf 1 )d<^
.(m&
b 9 , &( $
<$ ( | V |= n _#) V 4 & •
.[E9 &( $
<$ ( | E |= m _#) E 4 & •
$ (<$ (u(e),v(e))=(a, b) +mb 1 W 6 e ∈ E 2 ; ; 2 U &( Ψ : E → P2 (V) 2 •
.e 2 $ )9 > &( $ V -$:
Bb a (<$ ;
e 2 $ 9 (& ; o
. b a (<$ 9 ; o
: 5$ G = (V, E, Ψ ) FEF PC (4) Pf 1 )d<^
.(m&
b 9 , &( $
<$ V 4 & •
.[E9 &( $
<$ E 4 & •
(a, b) +mb 1 W 6 e 2 ; ; 2 U &( >V - & mb $ *JF$ & -$: E Ψ 2 •
.e 2 $ )9 > &( $ V -$: $ (<$
Bb a (<$ ;
e 2 $ 9 (& ; o
. b a (<$ 9 ; o
9 (5 ]^% A $ C
.2 $ $ $ # 2 ; ;F $ (& '(& ; 2 $
V = {v1, v 2 , v3 , v4 }
E = {e1 ,e 2 , e3 , e4 ,e5 , e6 , e7 }

65
v2
e5
v3
e2 e4
e6
e1 e3
e7
v1
v4
e1 e2 e3 e4 e5 e6 e7
Ψ
u(e) v1 v1 v2 v2 v2 v3 v3
v(e) v2 v2 v4 v4 v3 v4 v4
.2 $ $ $ # 2 ; ;F $ (& '(& ; 2 $
]% $
: 5$ G = (V, E, Ψ ) FEF PC (P) Pf )d<^

.(m&
b 9 , &( $
<$ ( | V |= n _#) V 4 & •
.%4 &( $
<$ ( | E |= m _#) E 4 & •
V -$: $ (<$ (u(e),v(e)) +mb W 6 e ∈ E %4 ; ; 2 U &( Ψ : E → V × V 2 •
.e %4$ )9 > &( $
)$ b >%4 $ J( $ )$ a 9 ; >v(e)=b '(<$ -$: u(e)=a '(<$ ( e %4$ ;# •
.%4 $ J4$
: 5$ G = (V, E, Ψ ) FEF PC (P) Pf )d<^

.(m&
b 9 , &( $
<$ V 4 & •
.%4 &( $
<$ E 4 & •
> &( $ V -$: $ (<$ (u(e),v(e)) +mb W 6 E %4 ; ; 2 U &( Ψ 2 •
.e %4$ )9
)$ b >%4 $ J( $ )$ a 9 ; >v(e)=b '(<$ -$: u(e)=a '(<$ ( e %4$ ;# •
B%4 $ J4$

66
9 (5 ]^% $ C
.4$ -# ( $ ( P # %4 ; ;F $ (& '(& ; 2 $
V = {v1, v 2 , v3 , v4 }
E = {e1 ,e 2 , e3 , e4 ,e5 , e6 , e7 }
v2
e5
e1 v3
e4
e6
e2
e3 e7
v1
v4
e1 e2 e3 e4 e5 e6 e7
Ψ
u(e) v1 v1 v2 v4 v2 v4 v3
v(e) v2 v2 v4 v2 v3 v3 v4
.4$ -# ( $ ( P # %4 ; ;F $ (& '(& ; 2 $
(MN) Y: N

. # > U (%4) 2 ; &(
.6 @< 9 *4$ ,5 M $ 2 I &(

67
.6 @49 >*4$ ,5 >*( $ ,5 4$ $ %4I &(
.6 4 (,<$ F$ 4 ; I ( _#) <$ 4$ <b"
. # > U (%4) 2 ; &(
.6 @< 9 *4$ ,5 M $ 2 I &(
.6 @49 >*4$ ,5 >*( $ ,5 4$ $ %4I &(
.6 4 (,<$ F$ 4 ; I ( _#) <$ 4$ <b"
F

.(, $ W 6 ,5 4$ [E9) '$ [EI * #$ ;

. 8 A: P9 & ;
* $ 2$ $ # 4< $ NJ$ %Y< >M$A 2 >4( $ *"#$ $1 * $
.* #$ '$ [EI ( g$ : - & (C $ $ * $ & #I L< % $ .4$
A$ (+$ 1 9 +$ ) , $ 9 (<$ W 6 ((# & , $ 9 ( $ $ 2 ; ((#
.P4 <
W 69 & & E , $ & & V d< _# G = (V , E ) JF$ @ $#$ UA 2 $ ;F D

.(P4 ;F 2 ;) [EI *4

68
:C
]_% A $
]_% $

%
:+ G L5

.v ,9$ $ ([EI) %4I ((& 4C > deg (v ) 4$ 6 $ v ('(<$ 9) ,# % )< •
:R:
.,9$ ( +# (& 2 S % # ; = >* # '(& 9 # ,9 $ A:
:PZ + G L5

.v ,9$ & '(
$ %4I ((& 4C > deg + (v ) 4$ 6 >v % ,# % )< •
.v ,9$ (& 4 $ %4I ((& 4C > deg − (v ) 4$ 6 >v ,# % )< •
:R:
.$ Y: # ' ! W W %D W' $ 9# (5 ,#
% Y% $

69
]% A $ C
50
:* 5
$ & P 1 9 ;F
% 50
: $ , 5$ 9 4(&9

$ F$ 9$ ;
2 M A: ( & 2 & $ 5
$ 8 1 $ 2 •
.( <$
$ F$ 9$ ;
2 M %$ A: ( & 2 & $ 5
$ 8 0 $ 2 •
.( <$
:C
0 50
:[EI & 4(&9 d<^ # > $ , 5$ 9

.2 $ ,9$ A: (2 ) ( & (,9) 2 & $ 5
$ 8 1 $ 2 •
.2 $ 1 ,9$ A: (2 ) ( & (,9) 2 $ 5
$ 8 0 $ 2 •
:C

70
]% $ C 50
:* 5
$ & P 9 ;F
% 50
: $ , 5$ 9 4(&9

-$: $ ;mFj b $ ,9$ ;
%4 M A: ( & 2 & $ 5
$ 8 1 $ 2 •
.( <$ ;iFj b $ ,9$
.78I *"#$ 5
$ 8 0 $ 2 •
:C
0 50
:%4I & 4(&9 d<^ # > $ , 5$ 9

.,9$ -$: ( %4$ A: (%4) ( & (,9) 2 & $ 5
$ 8 1 $ 2 •
.,9$ W8 %4$ A: (%4) ( & (,9) 2 & $ 5
$ 8 -1 $ 2 •
.78I *"#$ 0 $ 2 •
:C

71
$ CGF
50 0

. 5
>FI - & # ,9 9 (& P$ 9 Pf 1 +ib ;F .1
:C
0 1 0 0
1 0 1 1 
B=
0 1 0 1
 
0 1 1 1 
.;
5
>* # ( (Pf 1 9 Pf ) +ib ;F .2
:C
 −1 0 0 0 0 
 1 0 −1 −1 1
A= 
 0 1 1 0 0
 
 0 −1 0 1 0 
.@ ( 'Y >Pf 1 $ $ 5

.3
:C
. 5
>FI - & # ,9 9 (& P$ 9 Pf 1 +ib ;F .1
.;
5
>* # ( (Pf 1 9 Pf ) +ib ;F .2
.@ ( 'Y >Pf 1 $ $ 5

.3

72
$ <D%# 3=D%

: G = (V , E ) 9 L5
B E ′ ⊆ E > G ′ = (V , E ′ ) A: G $ 6 G ′ 9 ; •
& E (W ) < W ⊆V _# > G ′′ = (W , E (W ) ) A: W U($ G J6 G ′′ 9 ; •

.W 44 $ [EI &
. G S$ J6$ * $ (#9 6 G ′′′ A: G J6 6 G ′′′ 9 ; •
:C
G $ 6 G ′ $ J6$ G ′′ $ A$ G ′′′ $

G $ G $ 6 ;
J6$ G ′′ $
G $
: G = (V , E ) 9 L5
B E ′ ⊆ E > G ′ = (V , E ′ ) A: G $ 6 G ′ 9 ; •
& E (W ) < W ⊆V _# > G ′′ = (W , E (W ) ) A: W U($ G J6 G ′′ 9 ; •

.W 44 $ [EI &
. G S$ J6$ * $ (#9 6 G ′′′ A: G J6 6 G ′′′ 9 ; •

73

: :M^% A

>
0 ! >
:'(< 4 '(< 9( >[EI (<$ $ 4C )d<^ •
C = ( u0 , f1 , u1 , f 2 , u2 ,......, uk −1 , f k , uk )
where (ui ∈ V , ∀i ) and ( f i ∈ E , ∀i ) and ( f i = {ui −1 , ui }, ∀i )
.4$ ,5 P$ @ < ;I - & # 4C )d<^ •
BM '(# '@ (& # $ $ &( •
. '(# '$ 4 '(& *4Y A: # #$ 9 $ •
. '(# '$ 4 2 ; 4Y A: #$ 9 $ •
.4&E9 ((< #$ 9 $ )d<^ •
. # 9 - & # %$ A:

$ K PC P 1 & ; •
.A PC * #$ $8$ $ & ; •

:M%

>
0 ! >
:,9 4 ,9 9( >%4I , $ $ PC )d<^ •
C = ( u0 , f1 , u1 , f 2 , u2 ,......, uk −1 , f k , uk )
where (ui ∈ V , ∀i ) and ( f i ∈ E , ∀i ) and ( f i = {ui −1 , ui }, ∀i )
.( 4 P$ @(# @4 ;I - & # 4C )d<^ •
B(M @(# @9 # A$ $ &( •

74
. '(# '$ P ,9 ; 4Y A: (# ('($) $ •
. '(# '$ P %4 ; 4Y A: ('($) $ •
.P49 ((< ('($) $ )d<^ •
. '( 9 - & # %$ A:

$ K PC Pf & ; •
7:'
:$$ P $ 1 +ib$ $ ($ $ •

G = (V, E, ψ )
: C E& V - & )d<^ •

. v j vi (;I - & 4( ) ( ⇔ vi C v j
.(< >'Y ><: : E& C •
.G $
$ E<$ & $ $ ) 5
((# •
. '(# < )$C ⇔ P9 & ; •
:C
: * $$ ;$ 'Y$ C3 C2 C1 * $ )$

75
.PZ 1 +ib ($ $ •
(;I - & 4( ) ( ;# (<$ W 6 - & f'Y ><: 4I E& $ E<$ •
. $
$ E<$ & $ $ ) 5
((# •
. '(# < )$C $ A: A: P9 & ; •
9 7:'
:$$ Pf $ +ib$ $ ($ $ •

G = (V, E, ψ )
: CF E& V - & )d<^ •

( > v j vi (;I - & 4( ) (
⇔ vi CF v j
. vi v j (;I - & 4( )
.(< >'Y ><: : E& CF •
.G $ 7
$ E<$ & $ $ ) 5
((# •
. '(# < )$C ⇔ 97 P9 & ; •
.PZ +ib ($ $ •
4( ) ( ;# , $ W 6 - & f'Y ><: 4I E& $ E<$ •

76
. $ 7
$ E<$ & $ $ ) 5
((# •
. $ '(# < )$C $ A: A: 97 P9 & ; •
]^% ?` $ (5

D
k ((& C = {C1 ,..., Ck } $ $ * $ ((# ( > G = (V, E, ψ ) :$$ Pf $ +ib$ $ ($ $
:G $
:D
Input: G = (V, E, ψ )
k=0;
W=V;
While (W ≠ φ)
{
Get v ∈ W ;
Sc v = {v} ; // Set of v Successor
Prv = {v} ; // Set of v Predecessor
For each x direct or indirect successor of v

Sc v = Sc v ∪ {x} ;
For each y direct or indirect predecessor of v

Prv = Prv ∪ {y} ;
Ck = Sc v ∩ Prv ;
k=k+1;
W = W − Ck
}
Result: k, C = {C1 ,..., Ck }
.G $ k ((& $ $ * $ ((# ( >Pf +ib ($ $

77

/ %8N
.A * # ( Pf 1 &(
.%8 Pf 1 &(
.' > 1 $ ; )d * * /$ I )d<^
.A * # ( Pf 1 &(

.%8 Pf 1 &(
.' > 1 $ ; )d * * /$ I )d<^
$
:1 $
A [E9 ((& % .9 >3 >2 >2 >0 : U(& *( ($ 9 L5$
l $
:;
e #$
.8=2/16 : P&E9 ((& A$ >16=9+3+2+2+0 : $ (

78
:2 $
E<$ UA _# (
E& )d<$ >@
8 15 & ($ $
.(x (
y = y (
x A:) 'Y
8
l(
9 3 $ & $ O8 ;$ 9 ;
:;
e #$
5 .((
2 ;) [EC (
$ *E& (< O8I F A:
P
[E9 3 P($ 9 < A4 (
9 3 & $ O8 ;$ ;#
((& 45=3*15 $ *( [ $ .3 '(& ; ( C
((& )< PI 6 ((& $ ( 9 )$8 (
.[EI
:3 $
:$$ $ ($ $
E2
E1 E3 E5
V1 V2 V3 V4
E4
lV4 V1 $ ;E$ ((& % •

lV4 V1 ;E$ ((& % •
:;e #$
3 •
12 •

79
:4 $
:$$ $
8$ $ 5
( 9
E1
E3
V3 V1 V2
E2
:;
e #$
0 1 1
 
1 0 0
0 0 0
 
:5 $
: >$$ $ 5
M A$ $ ;
0 1 1
 
1 1 0
1 0 0
 
:;
e #$
.%<

80
8' , 8' Q 8' EC

D 3
R 3# :
%8N
:

* #$ > 4$ * $ >$ 9 * # >$ 9 ;E >$ 9 * > >J6 A > ;db >;
./$ ' > 4$
:
6E$ I *6 8$ L< -$: ` >4
J
8 I * $ [ 9 L< - & %$ A )<
.I 9 * $ 2 ;< $
: !"#
:- & ;
5$ A +$$ )<
B* #$ - & ;($ ((<$ •
BI )
•
B;db$ $ ;$ $ •
B 4$ * $ $ 9 * •
B
I $ & _# $ •
BDjikstra 6 8 •
BBellman-Ford 6 8 •
B/$ ' •
.2$ '(: - & •

81

&'
v(G) * #$ - & ;($ ((<$ ((<$ )d< . p >2 m >'(& n )$ +ib G $
v(G) = m − n + p : G $ O8$
: N 9
:R
G >A: A: v(G) = 0 . v(G) ≥ 0 >G +ib ; ;9
. # 9 (
:$"
. p >2 m >'(& n )$ +ib G $
. Ei = {e1,..., e m }, i = 1...m _# i = 1...m _# G i * $ A8C$
:I >[E9 ( '(& n A$ G 0 = (V, φ) ;9 ##
Y$
v(G 0 ) = m(G 0 ) − n + p(G 0 )
v(G 0 ) = 0 − n + n
v(G 0 ) = 0
($ . G k +1 ##
49 $ G k ;9 ##
Y$ 9 L5$
:$$ $#$
> G k 5 8 ( 9 ek +1 2 $ .1
: $
v(G k +1 ) = m(G k +1 ) − n + p(G k +1 )
v(G k +1 ) = (k + 1) − n + (p(G k ) − 1)
v(G k +1 ) = k − n + p(G k )
v(G k +1 ) = v(G k ) ≥ 0
I v(G k ) = 0 = >* # ( G k ;# $ `
. v(G k +1 ) = v(G k ) = 0 9 < >P$ $ ##
Y$ 9
) G k $ $ ,5 ( 9 ek +1 2 $ .2
: $ >(;I - & # ( <
v(G k +1 ) = m(G k +1 ) − n + p(G k +1 )
v(G k +1 ) = k + 1 − n + p(G k )
v(G k +1 ) = v(G k ) + 1 ≥ 0
v(G) * #$ - & ;($ ((<$ ((<$ )d< . d p >2 m >'(& n )$ +ib G $
. v(G) = m − n + p : G $ O8$
: N 9

. # 9 ( G >A: A: v(G) = 0 . v(G) ≥ 0 >G +ib ; ;9

82
%8N !0
:R
:J $$ *5
$ .,9 n - & # G=(V,E) $
.' G .1
. >* # ( G .2
.2 n-1 - & # * # ( G .3
.2 n-1 - & # G .4
. '(# G 5 8$ (<$ W 6 ; .5
:$"
.)<$ (2) S$ J (1) •
: $ @ (3) S$ J (2) •
((& v(G) = 0 > * # ( G 9 A: o
: [EI ((& 9 -$: ` > p = 1 : $ * $
. m = n − p = n −1
>2 n-1 - & # * # ( G 9 A: 9 o
. p = 1 9 -$: ` m = n − 1 > v(G) = 0
: $ @ (4) S$ J (3) •
> v(G) = 0 >2 n-1 - & # * # ( G 9 A: o
. d ; G 9 2 n-1 # d G 9 A: >; $ o
= $$ v(G) = m − n + p = n − 1 − n + 1 = 0 9 < > p = 1
.2 n-1 M * # ( G
: $ @ (5) S$ J (4) •
(& 9 9 < A4 > & ' & G 9 A: o
&' ( P= >* # ( G A= .
.G 9 9 CN
-$: (& 9 '(# ( L ( >; $ o
.* # ( G 4( $ W"
:J $$ *5
$ .,9 n - & # G=(V,E) $
.' G .1
. >* # ( G .2
.2 n-1 - & # * # ( G .3
.2 n-1 - & # G .4
. '(# G 5 8$ (<$ W 6 ; .5

83
%8N =0 a
. (# 2 4 ; (& 8X -< > > n ≥ 2 _# '(& n 5$ 4 ' ;$ •
.' ;F @J6 @ M A: A: P9 G & ; •
S $ (S<$ %$ (: >J & ; v 1 '(& 8 > n ≥ 2 _# '(& n 4$ 4 ' ; •
. j < i _# v j v i (<$ e i _# e 2 , e 3 ,....., e n [EI %$ v 2 ,v 3 ,......v n
. (n − 1) × (n − 1) '(& n 5$ '$ ;

$ 5
(< 9 •

S W 6 ; @(# @ < $ # PC K n 6$ P$ 6 '(& n )$$ ;$ $ )Z<
.(<$
.@1 @ ;$ $ ;d$ $
:Y#E
5 8$ (<$ P A$ G = (V , E ) $ $ G = (V , E ) $ $ ;$ $
. G %$ A: A:
:
$' C#
.2 $ $ $ # 2 ; ;F $ (& '(& ; 2 $

84
$=D%
@

_S# V2 V1 & -$: 4 )$C $ (<$ & J6 9 A: J6 A P9 G = (V , E ,ψ ) & ;
.V 2 2 $ 78I 4$ V 1 G [E9 2 ;$ -$ I 4$
:C
:=0
.( 4$ * # # " A: A: J6 A P9 G (V , E ,ψ ) & ; •
S &S A: 8X -< > $ E
@ A: A: J6 A P9 G (V , E ,ψ ) & ; •
.5 8 $ $ _# > $ %$
kn,m $=D%
@

:# G (V 1 ∪V 2 , E ) J6 A k n ,m J6$ A ;$ $

.V1 = n, V 2 = m •
.v 1 ∈V 1 , v 2 ∈V 2 _# (v 1 ,v 2 ) (<$ W 6 ; 2 ( •
:C

85

.($ $ $ ":) P&E9 2 " _# @ P F $ A: P9 & ;
.@ $ PC $ A ;F & ;
:C
K4 $ $ ;F$ K4
.($ $ $ ":) P&E9 2 " _# @ P F $ A: P9 & ;
.@ $ PC $ A ;F & ;
#

. $ [E9 2 ; '(# ' * A: >$ 9 # 4C # & ;
. $ [E9 2 ; '(# ' * A: >$ 9 4C & ;
.$ 9 # - & 9 $ 9 - & 7 # A: $ 9 P9 & ;
:=0
.$ 9 # - & # P= > 6 *( *A (& 2 * A: •
A$ (<$ $ 9 - & # $ A = >( *( *A (& M A: •
.(5$ *($ *A
.( *( *A (& M 9 >( ( *A '(& 9 M %$ A: $ 9 > $ $ •
:$
. $ OJ
8$
8 ; D F9 %$ &9

86
M

. $ (& '(& ; '(# ' * A: > # 4C # & ;
. # - & 7 # A: P9 & ;
(: ; # $ % Q= T #

9 & _# $ & &( (6 9 4$ [E9 A) ;iFb
($ 2 '6 -# L< $ 4< 2 $ ($ & P 9 ; 2J $
9
.(($ *$ ; F $C$ UA [EI 6 9 ) P& 2 $
07N T
(i, j) %4 ; A$ c : E → :;F 2 $ A ( 6$ . G = (V, E) $ P $ $ $ ($ $
. R = (V, E, c) :6$ 4$ 6 8 >;F$ 2 2 $ 5$$ $ &( . cij ;mFc 9 6
:
I $ ;J ;J( < 9 ( >@'(&
.$ 4 ((# A$ t ,9$ >$ ( ((# A$ s ,9$ @ &
I $ ((# •
. $ , ,9 9 >$ ( ((# A$ s ,9$ @ &
I $ ((# •
.$ 4 ((# t ,9 -$: $ , ,9 9 @ &
I $ ((# •
. $ , W 6 9
I $ ((# •
:R:
.P5$ $ %4I ;F9 6 9 [ $ @ $ ;
2Cb\ Bellman #
s $ >
I $ A -$: u ,9$ A: >t ,9$ s ,9$ A$
I $ C A:
., $ UA
I $ t -$: u u -$:

I $ )$
I $ :%

87
Bellman

:($ R = (V, E, c) $ j ,9 ; ;9 .j -$: s

I $ ; λ j $
λ j ≤ λi + cij ∀i ∈ Pr ed[ j]
.(i,j) %4$ 4 j -$: s
9 ( ;# ' #$ D

:Bellman *"(<$ "

@ # >( ;# >R , -$: s
I $ ; 9 ; > λs = 0 $
λ j = min i∈Pr ed[ j] (λi + cij ) ∀j ∈ V − {s}
07N ? Dijkstra D
:G 2 F
&
. $ :G(V,E) •
.$ @ & 4$:
I $ +# % $ , $ & :S •
.$ 4$:
I $ +# (< %$ $ , $ :V-{s} •
.,9 ; ;9
I ;I *($ ; ( :d •
.i ,9$ $ , $ & ; ( :Pi •
:D
shortest_paths( Graph g, Node s )
{
initialise_single_source( g, s )
S := { 0 } /* Make S empty */
Q := Vertices( g ) /* Put the vertices in a PQ */
while not Empty(Q)

{
u := ExtractCheapest( Q );
AddNode( S, u ); /* Add u to S */
for each vertex v in Adjacent( u )
relax( u, v, w )
}
}

88
initialise_single_source( Graph g, Node s )
{
for each vertex v in Vertices( g )
{
g.d[v] := infinity
g.pi[v] := nil
g.d[s] := 0
}
}
relax( Node u, Node v, double w[][] )
{
if d[v] > d[u] + w[u,v] then
{
d[v] := d[u] + w[u,v]
pi[v] := u
}
}
Bellman-Ford D
:J( ` %$ 9(
λs = 0, λ j = ∞ j ∈ V-{s}
%$ A= λ j ≤ λi +cij :@ # $$ $ A: (i,j) %4 ; ;9 8 > $ %49 - & $
. $ 6 9 ( # %F > λ j = λi +cij 2 = >@#

89
function BellmanFord(list V, list E, vertex s)
BEGIN
// Step 1: Initialize graph

for each vertex v in V:
{
if v is source then v.distance := 0
else v.distance := infinity
v.predecessor := null
}
// Step 2: relax edges repeatedly

for i from 1 to size(V):
for each edge uv in E:
{
u := uv.source
v := uv.destination
// uv is the edge from u to v
if v.distance > u.distance + uv.weight:

{
v.distance:=u.distance+uv.weight
v.predecessor := u
}
}
// Step 3: check for negative-weight cycles

for each edge uv in edges:
{
u := uv.source
v := uv.destination
if v.distance > u.distance + uv.weight:
error "Graph contains a negative-weight cycle"
}
END
D
.W8$ &( < >* <$ & 6 8$ A5 >;8($ &( $ *<$ & @E
.(y$ ... 9 * 9 * 9 * n) n D#
((< *<$ %# ,
S >n PS# -<$ @ < +#$ 6 , A: >n ;8($ *< %#$ @ < 6 8 $ 6$ (<$
:6 8 $ %6E$ +#$ 6 ((6 n *((6
Bn %#$ *A *<$ 2 ;9 +#$ 6$ - &I (#$ < >*"#$ 9 9 •
Bn %#$ *A *<$ 2 ;9 +#$ 6 +# >@ •
-S<$ @S< S6 8 $ $ 'A$ # , A: >n ;8($ *< %#$ @ < 'A$ (<$
.nP#

90
c? $D , W 5 "
:$ >64$ & < +#$ 6 I >E

B(..>( >2 ) 'A5$ "I" * <$ ((& d( •
%S $ 6S4 $ %6E$ 6$ * F$ A ) * F ($ + +#$ 6$ ( - & M$A ;
# •
B(A$ 5\ * <$ <
.D$ (Z #$ U &( A$ (Z #$ ": N A$ ( (#$ F ($ A A8C " •
:C
:$$ 6 8$ +# 6 8

for (i=1; i<=n; i=i+1)
for (j=1; j<=n; j=j+1)
x=y*z;
Bx=y+z ' n2 ($ 9 < >' n ' x=y*z & n M •
di=i+1 ' n M •
.j=j+1 ' n ($ 9 < >' n ' j=j+1 & n M
2
•
+ +#$ 6 & @ n2 (< - & ;

# ( (#$ ;4 D$ (#$ %4 > - & @(&
. #$ * <$ & +#$ +# $ %6E$ 6$ * F
.O(n2) 6$ M$A$ 6 n 2 6 8$ (< 9 (& ;
c? $D , W 5 "
:$ >64$ & < +#$ 6 I >E

B(..>( >2 ) 'A5$ "I" * <$ ((& d( •
%S $ 6S4 $ %6E$ 6$ * F$ A ) * F ($ + +#$ 6$ ( - & M$A ;
# •
B(A$ 5\ * <$ <
.D$ (Z #$ U &( A$ (Z #$ ": N A$ ( (#$ F ($ A A8C " •

91
Bellman-Ford D !7
$ ;# FI - & %4 n-1 )$C .@ $ 9 @ $ A >j -$: s
9 ( ;#
.,9 n M
:;# ;<$ & Bellman-Ford 6 8 )

. ' ( (< λ j %$ L58 9 ;
# %$ •
. n (< ; #I 9 9 9 •
) +$ ; *A '( $ >8I $ ;E8 L58 ;

# ;# n (< ) $ % ;#
.
9 ( " >(s ( $ ,9$ @ & 4$: ;
$
.O(mn) 6 8$ (< %4 m ,9 n 5$ ;9
! :/ %8
.P49 %4 ;$ c ;F 2 ( 6 @ @ G=(V,E) $
./
9 $ 46 $ G T=(V,ET) /$ ' &( $ '$ & _# $ (
:
R:
.%4 n-1 /$ '$ ,9 n - & # 5 ., $ /$ ' , •
.'$ %4I /
I 6 I *A %49 8 >P * #$ )A# >@ $ %$ A: •
./
9 6 *A / 1 ;$ 7(# - & P ; 2 ;<$ >@ $ %$ A: •
/0N / %8 ? Kruskal D
:
.|E|=m |V|=n _# G=(V,E) •
.%4t$ c : E → :;F 2 •

92
:O
./
9 6 *A T=(V,ET) ' •
:D
:(%4I L< 6 9 ;# J & +) %46 I ;6$ 1 +$ G %49 %z +
c(e1 ) ≤ ... ≤ c(e m ) .

k=1
ET = φ
while | E T |< n − 1 do
{
if ek doesn’t make any cycle with E T then
E T = E T ∪ {ek }
k=k+1;
}
Q8 - &'
: @5
@(< @ & A8C$
.'((# * 9 4$ $ ;&I %4$ & •
.;&I & 9 •
:_# %A5 y 8 - & %4$ + : & _# $

. I # •
.[ $ A5$ 6E$ $ '($ [$ ( ; •
.[ $ '( - & A5$ 8C FC %d •

93
%@ :Q8 - &'
: $ $C$ WA

.[ $ %4 4 ;F •
.j i ; $ %4$ 9 (b A: 4 j i 9 9 ;
%4 ( •
;" ; i ,9$ $ 4$ A5$ 6E$ di 6$ '5$ & < cij 6 449 (i,j) %4 ; •
.j ,9$ $ %4 $
: $ $ )
. 9 4$ ,$ $ %4$ 2 %4$ UA >null '( P $ %4 $ >%4$ ( ;F α ,9 •
.#" %4 9 %4$ UA4$ " >null '( P $ %4 $ >;&I 4 ;F ω ,9 •
-$: [ $ A5$

I '($ ((# & ( < >*( ( & ' & >$ A [ $ $
.ω α
I $ +#
O D :Q8 - &'
: G
.[ R = (V, E, c) .1
w ,9 $ 1 %$ (( $) a ,9 $ _# 4 2 ; b (n ((&) , .2
.n %$ (4$)
:O2
.[ $ D
I 6$ .1
%6E$ Di 6$ >4$ ,5 ( $ @8C FI Ei y$ >4$ ( $ Bi I y$ >i 4 ; ;9 .2
.4$ -$: ;
$
:D
: I *( $ y +# .1
B1=0
for k=2 to n do
Bk = max j∈Pr ed[k]{B j + c jk } = max j∈Pr ed[k]{B j + D j}

94
:@8C FI *( $ y +# .2
D= Bn
En= Bn
for k=n-1 to 1 do
E k = min k∈Succ[ j]{E j − ckj} = min k∈Succ[ j]{E j} − D k
:e=
.[ $ A5 '( '(6 # 4 A5 8C ; ( A: >Bi=Ei ;# # i 4 .1
. # *4 # , @ 5$ A: @# w ,9$ -$: a ,9$ $ .2
.[ A5$ $
I '($ -$: W# ; .3

95
8' $C 8' Q 8' ,
RF
N $'
:

* 9 ># P * 9 >
" >; >$# >4 * 9 >+< >E1: > >( 9 >
*/$ >* 9
.#" P
:
>
$ */ $ $ */$ )< (& WA Yb$ <$ * I - & ;
5$ A )<
.*$ <$ YI ((<$ 9 * (C
: !"#
:- & ;
5$ A +$$ )<
B* I WA %(8" & •
B#$ 4$ * I •
B#E$ 4$ * I •
BY$ (& $ <$ •
.,<$ 4 * 9 -$: Y < ; #$ •

96

*# $ Y$ ,I [ $ A 2 ( .Y$ <$ : Y$ <$ * I [ 2
.*< $ E` <$ (4 $
(& .5 8$ $ */

8$ *$ : %
- & r b FC U(# #$ * I WA $ ($
>/$ ( $ */ $ #$
$ # $ )
>< $ */ $ )
$ E
@
9 V{9 A$ (& $ WA $
.*$ : & 9
*$ *8$ j c ^ ( 4Y< 9 ": >$ A **< $ ; I )
$
>
$ */ $ ($ $ (& WA 4A 6$ #$ *4Y >4$ * I WA 4Y >*8$
>Y$ <$ Y 7 . I WA$ 2 (& $ WA$ ((<$ $$ #$
*$< *$ $ *($ %
#$ M$A A WA$ UA *c(8^ ( .*$ 4$ * I 2
.O
$
c
N O@ O @
> % :(1) ' " >

e
("
90 )*
+$,‫ﺕ‬ ‫ﺕ"آ‬
( 9'7 ( D 2C#
*< -

97
UA <$ (4$ + $ <$ W# >
$ */ $ * I [ $ Y$ ;
5$ L 8$ ;
: %
>4( ((
# $ $ WA$ UA %(8 9 A ( .[ $ A ($
g ;E8 WA$ UA %(8 9 %45 '5$ UA 9( A$ >$ *($ O
$ *$< *$
. & $# *$
: % )$C

:( @ ( .1
B(DO, IF) ;F *(5 & -$: O$ % •
B(y$… Variable names, keywords) ;F *(5 [ 9 -$: O$ % •
;F / $ 4Y 9 " )#9 - & "EF #) $ 1 ;E ( %(& (C$ •
B(+ )#
B*15$ ;F 4$: + $ )#I L< ((# •
.4 F (# % '(5 ; &: •
:( @ 9'7 .2
B(A+B)*C $ ;F ($ / $ O8$
$ #$ 2 4 ( 5 8$ ;$ ; # •
.*(5$ 4 9 (& ' W8= ( $ •
:( @ ( .3
B(A+B)*C ;F <$ -< ; # •
B(
$ N $ ; & 4 •
:2C# ' @ D f .4
B4 N $ ($ + $ / $
I N $ V $ 9 WA •
'( $ *$ )A# 2 O$ - & Y5#$ - & (& Fm 9 & -$: P#$ $ 9 $ WA $ < •
.%$ & '( )< $ < '(& - : 1 FI & >P# L58$
c
N O@ O @
> 50 '7
/ :(2) ' " >
:;F / $ (& '((# $ M •

.;& ;< = < o
:;F >% '(& A8C 9 ;&5$ ;<5$ = 9 & ;F$ ;: ; #$ •
(" 9" -$: "|" 6 _#) + | ;9 = ;< o
& | ($8 = ;& o

98
:/ $ ##
; 2 9 ; %$ UA •
& + | & ;9 | ($8 + | ($8 ;9 o
D#
((& WI :;F >(& $ J4" ((<$ W# " 4$ ;$ J4" ((& - & /$ 9 # •
:$$ '(&$ %(89
Digit | Digit Number = Number
0|1|2|3|4|5|6|7|8|9 = Digit
c
N O@ O @
> %
/ :(3) ' " >
: /$ 9 )
)<
)
)#I ;) ) 5
&( *& -$: *(5$ % _# >4& 9 *(5$ :/ %# •
B(8X )
%I ; M$A
B(& $ M - & @(& 4 $ @ (& ##

$ ;$ & :50 ' •
.;$ M - & @(& $ N $ -< : •
N L 9 & )<$ A4 V ( 9 - & $ ;$ * $ & 49 - & L /$ )< >@
:V - & E1: &

L ⊆ V * The Closure of V
c
N O@ O @
> ( (5

N O@ "# :(4) ' " >
-$: $ N $ 4 )$C $ <$ * $ ($ $ (
$ N $ (5$ ; #$ D •
B4(8 $ / $
B <$ *E& '

#$ O
$ 9 $ *15$ ;F ) #$ L< (5$ ; #$ ;4b •
.* C > / O8$ (5$ ; #$ ;F

99
c
N O@ O @
> ( (5

N O@ "# $' C :(5) ' " >
: /$ *" # I (5 ; # $ •

.%I ) #$ [ )# 9( 9 9 )#9 )$C 9 ; #$ %: 9 L5 o
.‘\n’6$ 4 ; #$ %: 9 L5 o
: Y (& &( $ (& $ & ; #$ %: )
•
Identifier = Letter{Letter | Digit}EndChar
Letter =" a"|" b"| ... |" z"
Digit ="0"| .... |"9"
EndChar ="\n"
.Symbol ; # )#$ A 2 ) #$ $$ )#$ 9 GetNext() J9 ( \ L5$ •
.; # %9 & ' & ' $ $ # $ IsIdentifier() J: +$
int IsIdentifier( )
{
GetNext();
if (Symbol is a Letter)
{
GetNext();
while ((Symbol is a Letter) | | (Symbol is a Digit)) /*Case Switch*/
GetNext();
if (Symbol = = ‘\n’)
return TRUE;
else return Error();
}
}
else return Error();
}
:*E
$ *"#$ ( (# ((& 5$ * 9 ; - & $ (5$ ; #$ ;F$ •
Letter ‘\n’
ِStart A End
Letter OR Digit
. 9 ; D $ F$ IsIdentifier( ) J` = $ ;F$ A - &
# $ 9 Y#E •
(5$ ; #$ A5 $ *J` ($ ;9 * 9 -$: @$X $ (& $ ; # & A$ •
.#E$ *5$ P & )<

100
: %N :# "
:%N
+ I I * $ 6 $ UA ; .( I -&(^ P ((& 6 & - & WA$ 2 (< o
.Y5$
>$ *($ $# 9 >789 6 %I E$ ) #$ ( I )$C /$ 9 >@EF o
.{0, 1} 6 5$ ( I
:?7
A: >@EF .#I %Y< 4A# (.) 4$: 6b 6 $ - & I <$ +<$ & ; o
.6$ A ab >( I 6 6 b a
B< +<$ & o
. /$ )#$ ; <$ UA ;F o
:9 0

.15$ $ (#$
<$ ;F o
::AP
6 $ +<$ * & & N $ ;E$ 2 & PC ( I - & +<$ E1: )d<^ o
.( I
.'6 P P$ (A star 4Y5 ) A* 6$ E1` -$: 6b >A ( I * A: o
:
. $ UA ( I 6 $ ((& P9 - & (|x| 6$ P$: 6jb ) x ; )f(A ( 9 - & $ ;E$ 2 ; $) A* & $ ' # & 9 &(
:
$ */ $ - & * <$ L<
:+<$ o
L1 ⋅ L 2 = {u ⋅ v | u ∈ L1 , v ∈ L 2 }
:E1` o
L2 = L ⋅ L, L3 = L ⋅ L ⋅ L _# L* = {ε} ∪ L2 ∪ ... ∪ Li ∪ ...

101
:(1) C
:b )#$ ;E$ 2 4 9( $ / $ 4C >( I UA - & L1 /$ )< >A={a,b} $
L 1 = { w | w ∈ A * , w = bx }
:(2) C
:8 9 /
9 ;E$ 2 ; 4 $ / $ 4C >( I UA - & L2 /$ )< >A={a,b} $
L 2 = {w | w ∈ A * , | w |≤ 8}
(M
N O@
$ *($ A$ E

@
9 %Sb
( >
$ */ $ & 'Z <$ WA$ 9 4$ * I WA <
. $
.*< $ *$ O

$ *$< 4 > $ */$ A5 %
P(8 7($ P9 *((6
:4$ * I WA $ ;( 9 < 9 M

B#$ 4$ * I o
B#E$ 4$ * I o
BM#ε 2 #E$ 4$ * I o
.Y$ <$ o
.Yb$ */ $ &( & <$ 2 >'(# < 4<$ 9 ": >;( I UA ( %1$
(M
N
0
:4 4$ * I )

B(*#$) *E
$ *"#$ 4 & •
>*E
$ - & *
E$ 2 6 * 9 M >45<$ *"#$ - & *
" 2 6 * 9 M •
B$ ,5 - & ;
# $#$ E
BJ( $# * 9 ;$ •
B* I ;& 4 4$: ;
$ ;F $ J4$ *"#$ & * 9 ;$ •

102
B* <$ & 6 $ & - & (&" *
E$ )< % •
*A 4
>4 8( - & 6 ; ;9 ,2 J( " $#$ @ & * I ;& 9( •
B $ 6$
"
J4 $# -$: ;
$ < A: * 9 $ 49 & ; Y <$ * I ;F ;# •
. $ ) # 6 %(8 (J( " $#$ "E)
(M
N $'
:P %(8 * I ;F '@ (& %
:$$ ;$ 4 & * I 4 9( $ J( " $# $ •
q0
:$$ ;$ 4 & * I 4 4^ $ J4$ $# $ •
)# - & #

E ; ; j <b) $$ ;$ * I *"# $# *"E$ •
:(( I ) #
q2
a
b
q3

103
( (M
N
:_# (Q, ∑, δ, q 0 , F) 8 #$ 4$ * I )f( I (# 6 & @ & ∑* ;E$ & - & @f<b D
$ ;" 2 (Z •
:
δˆ : Q × ∑* → Q
δˆ (q, ε) = q
δˆ (q, w.a) = δ(δˆ (q, w), a)
w $ (& δ̂ 2 δ + , $E$ ; ( %(& -$: @Y δ̂ & @ & δ %(8
.a ( 9 6 & ' &
B* t$ J( " $#$ q 0 •
.Q J6 & * t$ J4$ *"#$ & F •
:C
:$$ #$ 4$ * I $ •
M = ({q 0 , q1 , q 2 , q 3 }, {0,1}, δ, q 0 ,{q 0 })
:$$ ; ($ ;" 2 )d<^ •

δ 0 1
q0 q2 q1
q1 q3 q0
q2 q0 q3
q3 q1 q2

104
: P %(8 * I UA ;F •
q2
0 1
0 1
q0 q3
0
1
0
1 q1
:$$ *5
$ #$ 4$ * t$
B( (# *"#$ ((& •
.
E$ ,5 - & @(& M$A >4 '(# $# ": $# ;$ ( 9 " •
.5 8$ *"#$ *"" )<$ ε 6$ %(j 8b " •
/ 7 7

: A: M = (Q, ∑, δ, q 0 , F) #$ 4$ * I ; $ w $ j m <^
δ( q 0 , w ) ∈ F
: M * I ; $ $ L(M) / $ )d<^ >$

L(M) = {w | δ(q 0 , w ) ∈ F}
./ : $ =7 =M &- 0

N $# 9#
:C
:$$ #$ 4$ * I $ •
M = ({q 0 , q1 , q 2 , q 3 }, {0,1}, δ, q 0 ,{q 0 })

105
:$$ ; ($ ;" 2 )d<^ •
δ 0 1
q0 q2 q1
q1 q3 q0
q2 q0 q3
q3 q1 q2
: P %(8 * I UA ;F •
q2
0 1
0 1
q0 q3
0
1
0
1 q1
:I $ 1 01110 $ .01110 $ ; * I A: \ $ •
δ(q 0 ,01110) = δ(δ(q 0 ,0111),0) = δ(δ(δ(q 0 ,011),1),0) = δ(δ(δ(δ(q 0 ,01),1),1),0)
= δ(δ(δ(δ(δ(q 0 ,0),1),1),1),0) = δ(δ(δ(δ(q 2 ,1),1),1),0) = δ(δ(δ(q 3 ,1),1),0)
= δ(δ(q 2 ,1),0) = δ(q 3 ,0) = q1 ∉ F
@ 6 5
I ((& 4 $ ;E$ & ~ & # $ / $ M * I $ $ / $ •
:(# $ ((& M$A
L(M) = {w | w ∈{0,1}* , ∃(p, q) ∈ × , w 0 = 2p, w 1 = 2p}

106
$
.01 S 4 $ {0,1} ( I ;E$ 2 ; A$ #$ 4$ * I V9 .1
M = ({q 0 , q1 , q 2 }, {0,1}, δ, q 0 , {q 2 }) :;
e #$
1 q1
0 1
0 0
q0 q2
1
:$$ ;$ -<b$ A * I ($ $ .2
1 q1 0, 1
0
0 1
q2
q0
B* I UA $ 1 ;E 3 &9 .a

.* I9 4 F $ / $ @ 5
&9 .b
:;#$
.000001111101 >00111 >0001000 :$ 1 ;E (a)
.0 S 4 4( ": 1 ( 9 " $ ;E$ & (b)
(: (M
N
:_# (Q, ∑, δ, q 0 , F) 8 #E$ 4$ * I )f( I (# 6 & @ & ∑* ;E$ & - & @f'(# $# & @ & P *"# & - & @f<b D
$ ;" 2 (Z •
ˆ
δˆ : 2Q × ∑* → 2Q
ˆ
δˆ (P, w) = ∪ δˆ (q, w)
q∈P
ˆ ˆ
(& δ̂ 2 δ̂ 2 δ + , $E$ ; ( %(& -$: @Y δ̂ & @ & δ̂ 9 δ %(8
.q '(# $# & ' & P *"#$ &
B* t$ J( " $#$ q 0 •
.Q J6 & * t$ J4$ *"#$ & F •
:C
:$$ #E$ 4$ * I $ •
M = ({q 0 , q1, q 2 , q 3 , q 4 },{0,1}, δ, q 0 ,{q 2 , q 4 })
:$$ ; ($ @ f<b ;" 2 •

δ 0 1
q0 {q 0 , q 3} {q 0 , q1}
q1 φ {q 2}
q2 {q 2 } {q 2}
q3 {q 4 } φ
q4 {q 4 } {q 4}
:$$ *5
$ #E$ 4$ * t$
B( (# *"#$ ((& •
B
E$ ,5 %(8 4 # *"# '(& $# ;$ ( 9 $ •
Back ) ' 2 * & -$: W# '(< * I [ $ A4
8$ D$ *6 8 •
B(Tracking
.5 8$ *"#$ *"" )<$ ε 6$ %(j 8b " •

108
/ 7 7
: A: M = (Q, ∑, δ, q 0 , F) #E$ 4$ * I ; $ w $ j m <^

δ({q 0 }, w) ∩ F ≠ φ
: M * I ; $ $ L(M) / $ )d<^ >$

L(M) = {w | w ∈ ∑* , ∃p ∈ δ({q 0 }, w), p ∈ F}
./ : $ =7 =M &- 0

N $# 9#
:C
:$$ #E$ 4$ * I $ •
M = ({q 0 , q1, q 2 , q 3 , q 4 },{0,1}, δ, q 0 ,{q 2 , q 4 })
:$$ ; ($ @ f<b ;" 2 •

δ 0 1
q0 {q 0 , q 3} {q 0 , q1}
q1 φ {q 2}
q2 {q 2 } {q 2}
q3 {q 4 } φ
q4 {q 4 } {q 4}
: M * I $ $ / $ •
L(M) = {w | w ∈ {0,1}* , ∃w1, w 2 ∈ {0,1}* , w = w111w 2 ∨ w = w1 00w 2 }
(: (M
N ( (M
N 45
.#E$ 4$ * I

8 $# #$ 4$ * I •
.L(M)=L(M’) _# V M’ # 4 * 9 ( M #" 4 * 9 ;$ •

109
:C
:$$ #E$ 4$ * I $ •
M = ({q 0 , q1},{0,1}, δ, q 0 ,{q1})
:$$ ; ($ @ f<b ;" 2 •

δ 0 1
q0 {q 0 , q1} {q 0}
q1 φ {q 0 , q1}
:$$ ;$ #E$ 4$ * I A4$ •
0 1
q0 0,1
q1
1
: V$ #$ 4$ * I •

M′ = ({φ,[q 0 ],[q1 ],[q 0 , q1 ]},{0,1}, δ′,[q 0 ],{[q1 ],[q 0 , q1 ]})
:$$ ; ($ @ f*"#$ '(&= •
M′ = ({P0 , P1, P2 , P3},{0,1}, δ′, P0 ,{P1, P2})
:$$ δ′ ;" 2 - & ;

# •
δ 0 1
P0 P2 P1
P1 P3 P2
P2 P2 P2
P3 P3 P3

110
g>ε Q (: (M
N
.#E$ 4$ * I

8 $# M#ε 2 #E$ 4$ * I <b •
.( I -$: ε = * I A ;F - & ;

# •
(1) RF '
:(Y (& &()

(& ; # %9 )
-$: (<$ •
Identifier = Letter{Letter | Digit}EndChar
Letter = "a " | "b" | ... | "z"
Digit = "0" | .... | "9"
EndChar = "\ n "
- & $ .($ 4 >%9 >)#9) $ 9 6 )$ < ($ $ $ *"(<$ ;# ; #$ •
:@ Y @ (Y (& &()
(& ; # %9 )
-$: (<$
.@ Yb @ %9 >)#9) $ 9
(2) RF '
.(ε) -$: ` ( I 6 %(8 /$ '(&$ )

:%Y < •
:$$ *F$ %(8 •

.{a|b|c} 9 (a|b|c) :;F | 6$ P$ 6b :
o
.(a)* :;F * 6$ P$ 6b ::AP o
.(a)+ :;F + 6$ P$ 6b :7N &' :AP o
.(aa) 9 aa :;F 6 $ $ ;F$ :?7 o
.Y < %(8 >Y$ (& $ & ;F @J( •
.((& $ *"(< ;# *6 8) %Y < -$: >Y$ (& $ & 9 ; # % *6 8 M •

111
@ # ;F A$ 6$ -$: ` ( I 6 %(8 /$ '(&$ )
P9 - & %Y < )< •
.(ε) @ 1
:$$ *F$ %(8 •

: < A$ (a|b|c) :;F 6 $ (#9 ( ;# ;F$ %j(8mb | 6$ P$ 6b :
o
.c 9 b 9 a
4E$ 5
$ g *$ ((<$ 6 $ ;F$ %j(8mb * 6$ P$ 6b ::AP o
.4E$ 5
$ g *$ ((<$ a $ 6 A$ (a)* :;F
g *$ ((<$ 6 $ ;F$ %j(8mb + 6$ P$ 6b :7N &' :AP o
.4E$ '(# $ '$ g *$ ((<$ a $ 6 A$ (a)+ :;F 4E$ 5
$
.(aa) 9 aa ;F 6 $ $ ;F$ :?7 o
.Y < %(8 >Y$ (& $ & ;F @ J( ` P9 - & $ % •
.((& $ *"(< ;# *6 8) %Y < -$: >Y$ (& $ & 9 ; # % *6 8 M •

N RF
:* 9 ; - & $$ %Y$ <$ )

; #$
(a | b... | z)(a | b | ... | z | 0 | ...9)* '\ n '
:$$ * I - & ;

#
a 0
C0 E0
a ε 0 ε
ε B F ‘\n’
D
z ε ε
C25 9 E9
z
9
ε ε

112
(M
N R $ 45
-$: $ [ $ * 9 ; # Y#$ #$ .M#ε 2 #" 4 * 9 %Y < ;$ 9 $
.* I ;/ (& '$ '( <$ * & + _# # 4 * 9
./ $ ,5 ; V %Y < ( # 4 * 9 ;$ 9 $
:$$ ;$ D * I ;( 9 2$ ($ $

#
(

# (
#
( g-ε Q

R
())
' #
@ < @A >@ A +# ; $ *(5$ UA & ' <$ * I ($ >@$X /$ *(5 ; # ($ $
:; #$ J: & @
49 (C$ 4# ( $ *(5$ & & 'Z <$ (Y (& $) (& $ & )< •
B $ / $
B%Y < -$: Y$ (& $ & ; # 6 8 %(8 •
B#" 4 * 9 -$: %Y < ; # 6 8 %(8 •
.# 4 * 9 -$: #E$ 4$ * I ; # •
.*6 8$ UA L< #E$ *5$ L<

113
( (M
# &- R $ D
a a
a⇔ (a) ⇔ *
ε
ε⇔ :‫ل‬
a
b (a) ab(a)*a
*
ab ⇔ a a
a b a
a
a|b ⇔
b
(
# &- ( (M
# $ D
-$: 4 # @J( ; # >#E$ 4$ * I A5 (& (Back Tracking) ) 8$ -$: '( <$ + •
.A5 ( $ ; # 4 * 9
.
I * I *"# & 4 ; ;F *"# 5$ # 4 * 9 •
>$#$ UA 4 F $

I *"#$ 7(#: * A: J4 $# $# 9 >#$ * I > < •
.J4 $#
4$ J$ #$ * I *"# ((& = (N) @4 #E$ * I *"# ((& 9 9 •
.FI - & (2 ) >@ 4
N

114
$
:N $
:$$ Yb$ < $ @J @ # @ 9 V9
A = 10 + ((0+11) 0* 1)
B = 0* 1*
C = 0+ 1+
:(C $

:$$ #$ * I ;$ @ Y @ < V9
M1 = ({A, B, C},{0,1}, δ1, A,{A, B})

δ1 0 1
A A B
B C B
C C C
M2 = ({A, B, C},{0,1}, δ2, A,{A})

δ2 0 1
A A B
B C B
C A B
M3 = ({A, B, C},{0,1}, δ3, A,{C, B})

δ3 0 1
A B C
B A C
C B A

115
5
<7
• http://www.acts.tinet.ie/induction_645.html
• http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/pdf.html
• http://www.utm.edu/departments/math/graph/
• http://www-db.stanford.edu/~ullman/ialc.html
• http://archives.math.utk.edu/topics/discreteMath.html
• Discrete Mathematics with Application, Susanna S. Epp, Thomson third Edition, 2004

116

الرياضيات المتقطعة - المحتوى الكامل PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

الرياضيات المتقطعة - المحتوى الكامل PDF

Uploaded by

Copyright:

Available Formats

 

Universal Knowledge Solutions s.a.l.

$ > F C8$ >T D

  -$: ( *5$   $ 2   : $

# ((& x $ :;F

:9 ( &( 

Universal Knowledge Solutions s.a.l.

:( ' & ) 

Universal Knowledge Solutions s.a.l.

( ( p ∧ q ) ∨ ~ r ) $ 5 $ #$ ; ( :

.  $ *5$  (    5$ $ %$ +# 5 ; # "

:1  (   :;F

Universal Knowledge Solutions s.a.l.

4) 4" #$ $ %$ * 4 M$A (T) D

Universal Knowledge Solutions s.a.l.

Universal Knowledge Solutions s.a.l.

: J $$  < $ : >  Q p $ : )<

. $  4 9 Q & ;  > ($  4 9 p & ;  p → Q 5$  $ 

:$$ ;F$ $ > $ 5$ -< D $

.( 6 - &  $ ;  4,688 ((<$)  p $ 5$ UA  ($ •

Universal Knowledge Solutions s.a.l.

: $  $ #$ ; ( V (p→Q) ~ p ∨ q  $ $  $

Universal Knowledge Solutions s.a.l.

:    2  ~ ( p → q ) ≡ p ∧ ~ q $ $  $

$%&'‫! )ء ا‬+' 

:)Z< (if p then Q)$ " ($ $ :)<

(if Q then p) S (if p then Q) $ " ? •

Universal Knowledge Solutions s.a.l.

: ` 5$ 2 $ $ %(8 9

: Q p 5$ ($ $ :)<

(& @J8   %$ ,5 $ P" #$   (& @##

Universal Knowledge Solutions s.a.l.

Q p 5$ ($ $ :1 )<

Q p 5$ ($ $ :2 )<

(if ~p then ~Q)

Universal Knowledge Solutions s.a.l.

Universal Knowledge Solutions s.a.l.

.'((# @  *" #$ UA A8C (& ' &

:;$  ' &

.D  x ; ;9  # P ( x ) * A: ##

Universal Knowledge Solutions s.a.l.

. 4 > ∀ 6$ <

Universal Knowledge Solutions s.a.l.

.;I - & (# (  > ∃ 6$ <

: <$ $ ' <$

∀x ∈ R, if x > 2 then x 2 < 4 : C

∀x ∈ R, if x 2 < 0 then x > 0 : C

Universal Knowledge Solutions s.a.l.

∃x ∈ D , ∼ P ( x )  ∀x ∈ D , P ( x ) <$ $ ' <$ 5

. ∀x ∈ D , ∼ P ( x )  ∃x ∈ D , P ( x ) $ (  $ ' <$ 5

. ∃x ∈ D , P ( x ) ∧ ∼ Q ( x )  ∀x ∈ D , P ( x ) → Q ( x ) $ ' <$ 5

Universal Knowledge Solutions s.a.l.

K  J8 (" ∀x , r ( x ) ' <$ 9 ; 

:   ($ # A: s ( x ) ;9  D 8 (" ∀x , r ( x ) ' <$ 9 ; 

y < x E  y ' 7N &' % 3?% x  $ M

y ? x E  y  8 7N &' % x  8 $ M

Universal Knowledge Solutions s.a.l.

∃x , ∀y , ∼ P ( x , y ) @  V ∀x , ∃y , P ( x , y ) ' <$ 5 :

∀x , ∃y , ∼ P ( x , y ) @  V ∃x , ∀y , P ( x , y ) ' <$ 5 :

Universal Knowledge Solutions s.a.l.

. 0   '% , M ( ODN 3   

:(         ( &- 5 P   

Universal Knowledge Solutions s.a.l.

$ > F C8$ >T D

-$: ( *5$ $ 2 : $

# ((& x $ :;F

:9 ( &(

:( ' & )

( ( p ∧ q ) ∨ ~ r ) $ 5 $ #$ ; ( :

. $ *5$ ( 5$ $ %$ +# 5 ; # "

:1 ( :;F

4) 4" #$ $ %$ * 4 M$A (T) D

:J $$ <$ : > Q p $ : )<

.$ 49 Q & ; >($ 49 p & ; p → Q 5$ $

:$$ ;F$ $ >$ 5$ -< D $

.( 6 - & $ ; 4,688 ((<$) p $ 5$ UA ($ •

: $ $ #$ ; ( V (p→Q) ~ p ∨ q $ $ $

: 2 ~ ( p → q ) ≡ p ∧ ~ q $ $ $

$%&'‫! )ء ا‬+'

:)Z< (if p then Q)$ " ($ $ :)<

(if Q then p) S (if p then Q) $ " ? •

: ` 5$ 2 $ $ %(8 9

: Q p 5$ ($ $ :)<

(& @J8 %$ ,5 $ P" #$ (& @##

Q p 5$ ($ $ :1 )<

Q p 5$ ($ $ :2 )<

.'((# @ *" #$ UA A8C (& ' &

:;$ ' &

.D x ; ;9 # P ( x ) * A: ##

. 4 > ∀ 6$ <

.;I - & (# ( > ∃ 6$ <

:<$ $ ' <$

∀x ∈ R, if x > 2 then x 2 < 4 :C

∀x ∈ R, if x 2 < 0 then x > 0 :C

∃x ∈ D , ∼ P ( x ) ∀x ∈ D , P ( x ) <$ $ ' <$ 5

. ∀x ∈ D , ∼ P ( x ) ∃x ∈ D , P ( x ) $ ( $ ' <$ 5

. ∃x ∈ D , P ( x ) ∧ ∼ Q ( x ) ∀x ∈ D , P ( x ) → Q ( x ) $ ' <$ 5

K J8 (" ∀x , r ( x ) ' <$ 9 ;

: ($ # A: s ( x ) ;9 D 8 (" ∀x , r ( x ) ' <$ 9 ;

y < x E y ' 7N &' % 3?% x $ M

y ? x E y 8 7N &' % x 8 $ M

∃x , ∀y , ∼ P ( x , y ) @ V ∀x , ∃y , P ( x , y ) ' <$ 5 :

∀x , ∃y , ∼ P ( x , y ) @ V ∃x , ∀y , P ( x , y ) ' <$ 5 :

.0 '% , M ( ODN 3

:( ( &- 5 P

:($L5 ...@-) if-then 8 &' % '# .5

:($L5 ...@-) if-then

: % '# .7

:9 - & >n < ((& 9 ;9 ##

;9 4 $ >< n - & # (

:9 - & $ 5 >n 9 ;9 ##

:9 R 3,

:E b$ & $ J6 & E′ $

lE & $ <$ ( (#$ 9 E &

l4 E * ;# (2 ) $

l +$ E& * ;# (2 ) $

.E & $ ($ ( (#$

: # A: E′ Y&9

: # A: E′ /

. (P( ), ⊂)  6,8,23,42 , 8,23,37 , 6,8,23 & $

:& 4C )<

:E & - & ,C$ '( & $

( #" -< ) E J6 X & /

.(B,W) 8$ J ; )f<b X C @ 9 ; $

.(B,W) 8$ < X $

:A: A: X -$: x .

.4 ( 9 A $

:LP )<$ $$ J" 8$ %(8$

B(B,W) J" 8$ f<b$ E & $ $

S/ $ '( +E & & % E

9 5 4 3 5$$ & $ B E

1 & $ 9 ; '/$ $#$

:$$ & $ A8C$

45 J6 & & 9 : •

a J6$ & $ -$:

b J6$ & $ -$:

: * ‫ ﻡ‬,'- 9 $$ .8 < & $

;F 5 $ 8$ 4Y :C

B′ B′ & $ u -$: B & $ % •

A ∩ B P$ 6 B A & $ 2 )< •

UA 2 _#

. '(& 4< x _# x

:<$ & $ u & B A $