012 - math.birjand.ac.irmath.birjand.ac.ir/images/pdf/syllabus/mbas_math.pdf ·...

$: 012 - math.birjand.ac.irmath.birjand.ac.ir/images/pdf/syllabus/mbas_math.pdf · !&!%rzdf!{#qcm!6x:8f![%rf!_$%od:$![8wi&3!;[qpqp|]![8wcy8m!;8w:`!ed=f!&!h}8w:!@y8m!&!xd#38op!~hij5!&!hm38n2!k8ldef$
!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, --

!

./0

!"#$%

&$'() *+),-., /012

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, -.

!

!

+)345 67897:1

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

!"#$ %&'()*!123$2!'!!45$67-.!

!

L/12 !"#$%

!"#89:!;<=#3!&!>%?!&!@9A!;BCDEF!2$6G$!"#89:!;<=#3!&!>%?!&!@9A!;BCDEF!2$6G$!;HIJ5!K8LDEF!;HM38N2!K8LDEF

!;HODPQRS!;TP$3!&!UV!67!;T#8WXRY!32!67!&!T#8WXRY67!;ZQY%F![8#8\5!&!67!;@Y$QM%IA!;@Y8M!;BCDEF!2$6G$!HP6X]

!;^RO:8RF!<R\5!;_3!<R\5!;8W:`!aQbcF!@Y$QM!&!HM8dCdF!@Y$QM!eD=F!;1`!eD=F!&!aQbcF!@Y8M!;[%Rf!eD=F![8]3QDP2!;eD=F

![8]!<=#3!g#%hM!32!eD=F!2%Y38N!;HIJ5!K8LDEF!32!>8Di!&!TG%P!;8W9j!;eD=F!k#lRm!&!HP6X]![8]2%Y38N!;%CRn!BoY

![8Wi&3!;<Rp&$!@Y8M!;_$%OD:$&!4Ro:$%q#2!>8o7!HP8P$![8#8\5!;<DPQRS!<cJ5!<cJ5!&!<DPQRS!@Y$QM!_$%OD:$!r#%cM!;Ks28cF

!32t!uuu!&!38N!&!4hn!lN%F!&!3&8D=f!&!HXvXF!_Qw!&!xy7!&!T78oF!<IP8vF!32!_$%OD:$!2%Y38N!;_$%OD:$!23&`%Y!HI#%hM

!&!%RzDF!{#QcM!6X:8F![%Rf!_$%OD:$![8Wi&3!;[QpQp|]![8WcY8M!;8W:`!eD=F!&!H}8W:!@Y8M!&!xD#38Op!~HIJ5!&!HM38N2!K8LDEF

!&!�6:89R58Y!8Y!%CRM!<R\5!&!1$QM![%P!H}$%O9]![8#8\5!&![26G![%P!;@Y8M!1$QXcY![%P!&!<p8I:2!;8]%oN!<#lyM!&!�lA!<Y!�lA

u�6:89R58Y!1&6Y

![8]!�#%M8F!;[26G!>%?!;8\m!32!3$2%Y!;H}8\m!K8LDEF!;[%DF$38S!Ks28cF-�-!;HpQWyF!<P!HJj!Ks28cF!�8ODP2!;

!32!<#8S!;HJj!_�hDP$!;Ks28cF!�8ODP2!47!;�#%M8F!aQbcF!;8]%JP![&3!K8RC9GR'!&!R-!�#%M8F!&!HJj!4#6IM!;!

!18XRF%M2!;1`-�-!;1`!eD=F!&![3$2%Y!@Y8M!;&2!<A32!<#&3!;<vq�!&!Bj!Ks28cF!;[3$2%Y!>%?!;��#&!3$2%Y!&2!3$6hF!;

!;x}85!Bj!&!a89F!<vq�!;H}lA!&!H}QP!eD=F!;[%RzDF6XV!@Y8M!;HXvXF%Y!x}85![8]3$2%Y!&!Hf6R9j!;>8Di!&!TG%P

!4}8oF!32!8W:`![8]2%Y38N!&!<:8f!<P!&!<:8f&2![8Wp$%OD:$!;4F8N!4Ro:$%q#2!;H}lA!eD=F![$%Y![%Ry:�!�6G85!;18#$2%f

!_$%OD:$!;[3$2%Y!1$6RF!;[&%N!&![$!<:$QDP$!K8LDEF!;~eR52!K8In$!1&6Yt![%Rf!_$%OD:$!gRM%M!{#QcM!;Hb#lRm!&!HP6X]

u�bDP$&!�:$�3Q#2!&!^#%f![8#8\5!;4Ro:8DS!;^RP�Ss!;<j%V!;�:$�3Q#2!;[$!<#&3!_$%OD:$!;BEp$!HXvXF!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, -�

!

!

!8MB,$N:2 6O27?)

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

!"#$ %&'()*!!HFQ9G!K8R?8#3!a32!^Rp&$!�$!�S!'!!45$67'�!

L2,3) -:1 0 /12 !"#$%

<F6hF!>$QA!23QF!32!HCN!K8b:! 4Ro:$%q#2!Ks28cF!%Y![$8]!<DP2!;4Ro:$%q#2!Ks28cF![!<R�\5!;4R�o:$%q#2!Ks28cF![6XY!

>$QA!H#8Db#!&!2QA&![t�(0u~TG8P!!

<IM%F!Ks28cF![!H#$6A!Ks28cF! _&$!Ks28cF!Ô9]!Ks28cF!<Y!4#6IM!4Y85!Ks28cF!;Ô9]!Ks28cF!;%#|S!!;4F8N

!go7!%Y!HcY8Mt!;_$%OD:$![8]3QDN8mX Y! , y, x!!HCN!&!"(z)!<Nz!HJj!%R�!Ks28cF!/_&$!<IM%F!HJj!Ks28cF!~�QCcF!

<DP2!~uuu!&�:$%fs!;HpQ:%Yt!xWF8]!%RoF!;HXvXF![8]!_6F!/x}85![t!_&$!<IM%F!Ks28cF![�8P�(0)u~TG8P!!

<IM%F!Ks28cF"]8N! !�&2![HJj!Ks28cF!��s!HM8F6hF!xR]8qF!/<IM%F–!&!Ô9]!HJj!<p28cF!HFQ9G!>$QA!Hm%cF!

%R�<IM%Ft!TY8n!g#$%?!8Y!Ô9]!HJj!Ks28cF!/%O#2!HY$QA!^Dm8#![$%Y!�QCcF!>$QA!k#!�$!�28qDP$!/Ô9]!!&!�&2![

!~%Ms8Y–%R�!HJj!Ks28cF!!Ô9]–�&3!8]!%R�!g#$%?!8Y!Ks28cF![%OC9G![Ks28cFt!TY8n~uuu!%C#&$!/HiQN!<#%�:!![

~uuu!&!��#&!@Y$QM!&!%#28hFt![�%F!B#$%i!8Y!Ks28cF!HM8F6hF!t0'u~TG8P!!

>$QA8]![![%P!@Y$QM!&!H:$QM![%P!%Y![3&%F! �8j8]!>$QA!/H:$QM![8]!<p28cF!;[28G!Z8h�:!_Q7!!6�XV!;36:$��p![!<C9�A!

[$8]!6XV!�$Qj!;36:$�p![!<C9A![$8]!>$QA!/36:$�p![8]!%R�!Z8h:!_Q7!!<p28cF!/~aQRXY&%m!�&3t![28G!!8F8f!@Y8M!;4oY![

t!u4oY!@Y8M!�$Qj,~TG8P!!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, -*

!

!/_$%OD:$!&!eD=F!;a�Ss!4#6IM!;[2QA&![!<R\5!~a�Ss!<#%�:!23QF!32!HM8b:t!<F6hF! !1`![8]2%Y38N!&!a�Ss!4#6IM

<CS!@Y$QM!Hm%cF!&!_8hD:$![8#8\5!!�$%#2![8Dp2!@Y8M!&!67$&![$–Ks28cF!32!_89cDP$!23$QF!!!_$%OD:$!&!eD=F!;4Ro:$%q#2

!~îQpQ:8Nt!"�RS!Hm%cF!/a�Ss!4#6IM–ta�Ss!4#6IM!8Y!HJj!�8ODP2!47!/Hp$%OD:$!Ks28cF!Hm%cF!,u~TG8P!!

�8ODP28]![!Ks28cF!HJj! !!Hm%cF!!�8ODP28]![!�8ODP2!47!;HJj!8]!%R�!&!Ô9]!HJj![!�&3!;TY8n!g#$%?!8Y!Ô9]8]!![

t!��#&!@Y$QM!&!%#28hF-~TG8P!!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, -�

!

PA7% Q)7B$R 0 $@38S)7T +B7U)

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P!!!TRm8cF!18bF$!8Y!'!!45$67-.!

LV=D

!<Y!<AQM!8Y!a32!2$QF!l#3!<N!TP$!��s!uTP$!%MQR�F8N!32![�8P!<F8:%Y!H:8IF!8Y!Qy=:$2!H#8Xi`!a32!^#$!HC�$!�6]

[3&8Xm!Tm%=RS�!3$23Qj%Y!TRm8cF!18bF$!�$!�8O=:$2!K$3%hF!>QV38V!32!a32!^#$!u6#89:!%RRzM!&!�6i!�&3!<Y!<wQY%F![8]

!uTP$

L3WWX(B,2 0 /1=) 7R +YZ%

[ *!6Xi8Y!<Di$2!<AQM!�%DvF!18#Qy=:$2!&!1$28DP$!<N!TP$!��s!TP$!�&3![�QpQXbM!<Y!<DoY$&!a32!^#$!<N!H#8y:`!�$

![�QpQXbM!gP8XM!<Y!8]!1`!2%Y38N!<N!HIp8JF!�#36M!�$!&!2Qi!>8ED:$!<:8F�!�8R:!gP8XF!�6i!�#36M!18Y�!&!a32![$QDvF

!!u6XXN![3$22Qj!$6A!TP$!�6i!�QoXF!<:8F�

'!^#$!<N!4Rp2!^#$!<Y!^RX�9]!&!;TP$!3$23Qj%Y!TRm8cF!18bF$!�$!�8O=:$2!K$3%hF!>QV38V!32!a32!^#$!<N!H#8y:`!�$!/

!<Di$|f!^#$!%Y!�%m!�&%i!32!<N!TP$!<Do#8i!;TP$!Ho#Q:!<F8:%Y![!��Q7!8Y!BIM%F!a&32![!�2Qp8i!&!a32!^Rp&$!a32

!<:Qf!�R]!�$!18#Qy=:$2!<N!2QiH�8j!":$2!�$!<N![2$%m$!u6XDoR:!3$23Qj%Y!Ho#Q:!<F8:%Y![!<XRF�!32!H9N!<Y%yM!^#$!32!

!<Nt!6:Qi!HF!<A$QF!H:$&$%m![8]![3$Qi2!8Y!�6i!<#$3$!gp8JF!x\]![$%Y!�Q?QF!^#$!8Y!23Qj%Y!^Rp&$!32!6:3$23Qj%Y!<XRF�

!Ho#Q:!<F8:%Y!�Q?QF!<N!TP$!TCG!1`!<Y!^#$!~uToR:!�32!4Y85!HD7$%Y!Ho#Q:!<F8:%Y!%F$!32!�LEDF!2$%m$![$%Y!�Q?QF!^#$

!^]�!&!6XbRF!Hm%cF!8]!1`!<Y!$3!":$2!�$![6#6A!��F8N!�Q:!Qy=:$2!u23$6:!$3!��Q7!^#$!K8GQ?QF!�%#|S!Hf28F`!4I5!�$

!8Y!_&$!K8oCA!32!H#Qy=:$2!<�:8XV!&!6XDo]!H9WF!38RoY!K8oCA!a32!^#$!32!H#$6DY$!K8oCA!�QLEp$!HCG!^#$%Y8XY

!&!�6R=N!�&2!%Y!H:sQw![8WM6F!8M!$3!H:$QM8:!^#$!HX]�38Y!<N!TP$!�6F`!"RS!38RoY!2Qi!<A$QF!H:$QM8:!8#!Tobi!a8o7$

^#6Y!&!6XN!�%m!Ho#Q:!<F8:%Y![!<XRF�!32!1$QM8:![2%m!$3!2Qj!��9G!!^#$%Y8XY!u2Q=:!K38WF!^#$!goN!<Y!emQF!lf%]!gIP

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, -+

!

!x�XF!4Rb=M!&!gP8XF!K8X#%9M![!<#$3$!8Y!&!2Qi!>8ED:$!Hm8N!Z8RD7$!8Y!�#36M!TG%P!_&$!K8oCA!32!<N!TP$!��s!�8#Q5

Qy=:$2!<Y!^#%9M!47!a�N!HP32!gp8JF!%Y!BCoM![8DP$3!32!8]!k9N2%Rf!K3Q�!��s![!4bi!�$!�S!<N!TP$!HW#6Y!u

!!u2$2!"#$lm$!$3!gp8JF!<#$3$!TG%P!<Dm3!<Dm3!1$QDRF!18#Qy=:$2!^]�!32!6#6A!�8�:!^#$!^Dm%f

-!gIP!^#6Y!uTP$![�8P!<F8:%Y!&!%MQR�F8N!H:8IF![%Rf28#!;TP$!�E=F!1`!xP$!�$!<N!3QJ:89]!a32!^#$!HC�$!�6]!/

!^#$!u6i8Y!<wQY%F!H:8IF![&3!a32!lN%9M!%D=RY!&!2Qi![3$22Qj!a32!a�N!32!<Dm%=RS!gp8JF![!<#$3$!�$!<N!TP$!��s

!~T:%DX#$!&!<bIi!��dF!&t!%MQR�F8N!<Y!ZQY%F!HFQ9G!�78IF!4F8i!<bCY!;ToR:!Ho#Q:!<F8:%Y!18Y�!k#![!<#$3$!4F8i!Bhm!H:8IF

!lR:2%Y!6]$Qj![!<#$3$!;TP$!Ho#Q:!<F8:%Y!�$!%#|S8:!H#$6A!H#lA!8W9D#3QOp$!<#%�:!<Y!ZQY%F!�78IF!<bX#$!<Y!<AQM!8Y!^RX�9]!u

!H9D#3QOp$!%bqM!^RX�9]!&!K8GQ?QF!^#$!�$!H#$6DY$!HX#&8XG<Y!":$2!eR9cM!!TWA!H9WF!�8f!;18#Qy=:$2!H#8Xi`!TWA!

!6X:8F!<Dm%=RS!gp8JF![!<#$3$!�$!a32!^#$!32!2Qi!HF!<R�QM!<N!TP$!4Rp2!^#$!<Y!u2QY!6]$Qj!HCRLvM![6cY!47$%F!32!18:`

a32!lN%9M!&!�6i![3$22Qj!$%f!Hi!Ho#Q:!<F8:%Y%Y!!u2%Rf!3$%5![$!<#8S!�78IF![&3!

.![8]!a�N!&!18#QA!":$2!HC9G!38N!<Y!<N!TP$!��s!~ToR:![%�:![%F$!8WXM!&t!TP$!HM38WF!%F$!k#!Ho#Q:!<F8:%Y!1QV!/

![$!��#&!<AQM!^#%9M!472%Rf!K3Q�!8Y!8WXM!~^DiQ:!8=:$!6X:8F!<Y!TP32t!Ho#Q:!<F8:%Y!<N!6:Qi!<RAQM!6#8Y!18#QA!":$2!u

!HC9G!4#8oF!8Y!16i!&%Y&3!&!^#%9M<DjQF`&!2Qi!HF!22%f!H9:!4�87!H#8W:!�6]!a�N!32!3Q\7!8Y!Bhm!!!u

�!T#8P!_8dF!3Qw!<Y!u6:Qi!>8ED:$!>$|A!&!�QXDF!K3Q�!<Y!6X:$QDRF!a32!^#$![8]! #%9M!/Uhttp://projecteuler.netU!&!

![$QDvF!gP8XF!�$%dN$!&!�6i!47!Ho#Q:!<F8:%Y!e#%w!�$!<N!TP$!TEP!8M!18P`!H?8#3!�QXDF!38RoY!4#8oF![&87!<Y8=F!@Y8XF

!u6XDo]!a32!^#$

*!18Y�!a32!^#$!32!<N!2Qi!HF!<R�QM!/Java!!�$!4hDoF!�6i!�#36M!gp8JF!4Lm%P!<DIp$!u2Qi!�#36M!18#QA!":$2!<Y

!32!�28qDP$!Hf2%Dof!;12QY!�8Y! DF!&!2$�`t!23$2!<N!HM8R�QLj!TCG!<Y!$&8A!18Y�!u2Qi!HF!�#36M!<N!TP$!H:8Y�

![$%Y!HIP8XF![!<X#lf!~[%Rf28#!HIo:!HD7$3!^RX�9]!&!BIM%F![3$lm$!�%:![8]!<:8EY8DN!32!�QXM!&![38yM!&!H9CG![8]2%N38N

!�#36M![$%Y!$3!18Y�!1`!6:$QDRF!23$2!H�8j!!18Y�!%Y!<N!HJCoM!<Y!<AQM!8Y!a32!28DP$!<DIp$!u6i8IRF!a32!^#$!32!�#36M

18Y�!<#$3$!_8dF![$%Y!u6XN!>8ED:$!%R�:!H#8]Pascal8#!!Python![$!<#8S!xR]8qF!%Dc#%P!&!%DWY![%Rf28#!32!H#$loY!"h:!

H9:!%Rf32!<Dm%=RS!xR]8qF!8Y!6GQF!�$!"RS!$3!18#Qy=:$2!^]�!&!<Di$2!Ho#Q:!<F8:%Y!18Y�!�#36M!8#!&!6XNC!8#!C++!

eR9G!6#2!18:`!<Y!&!�2%N!8Xi`!%MQR�F8N!3$lm$!TEP![&3!8]!<F8:%Y![$%A$!HC9G![!�Qv:!8Y!$6DY$!�$!$3!18#Qy=:$2!![!�Qv:!�$![%M

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, -,

!

HCN!<Y!<AQM!8Y!8F$!TP$!<DqW:!HI#8cF!&!8#$lF!H:8Y�!%]!�#36M!32![6XY!@9A!1$QXG!<Y!u6]6RF!8]!<F8:%Y![$%A$!k#!32!g:$QA!�

;HGQ:!a�N!18Y�!JavaHF!28WX=RS!a32!^#$!32!�#36M![$%Y!!2Qi!u

L/12 !"#$%

!8W9D#3QOp$!<#%�:!H:8IF!;Ho#Q:!<F8:%Y!H:8IF!

L2,3) -:1

!;18Y�!�$!4hDoF!xD#3QOp$!<}$3$!&!Ho#Q:!<F8:%Y!;%MQR�F8N!38Dj8P!8Y!HM8F6hF!H#8Xi`/Hw%i!K$38IG!;8]!TY8n!&!8]%RzDF!Hm%cF

!�QWqF!;Hm%LF!<�m87!&!$%A$!18F�!�QWqF!;4#8m!&!<#$3`!8Y!38N!;8]%DF$38S!&!8]2QDF!;8]!<hC7!�$Q:$!;Hp%DXNrecursion

depthHD=f�8Y![8W9D#3QOp$!�QWqF!;[�8P!gM%F!&!QyDoA![8]!xD#3QOp$!;!u

L\H,$)

a) T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Introduction to algorithms,

The MIT Press, 2001.

b) P. J. Deitel and H. M. Deitel, Java How to Program, Prentice Hall, '))�u

c) B. Eckel, Thinking in Java, MindView Inc., '))-u

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .)

!

+97:1 ]3^5 +B7U)

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P!!!a32!^Rp&$!8Y!18F�!x]

K8R?8#3!HFQ9G!-!!45$67'�!

!

LV=D!!

!&!H]8qi!_8hD:$!H#8:$QM!&!�28qDP$!;H?8#3!xR]8qF!�32![$%Y!��s!K38WF!goN!&!@Y$QM!;8WWGQ9yF!;eJXF!H:8IF!8Y!H#8Xi`

1`!HIDN8]!u!

L3WWX(B,2 0 /1=) 7R +YZ%

!<j8i!&!8]!<Di3!<RCN![$%Y![28RXY!&!xWF!a32!^#$8]!�QCG!;[2%Y38N!;{vFt!H?8#3!�QCG![!HF$lp$!~uuu&!38F`!;%MQR�F8N

l#3!&!4Lm%P!^#&6M!32!<Db:!^#$!uTP$u2%Rf!3$%5!<AQM!23QF!lR:!�#36M!32!TP$!��s!&!!TP$!<Dm%f3$%5!%�:6F!a32!2$QF!

<C9A!32!a32!�6]!<N!xRi8Y!<Di$2!<AQM!6#8Y!$6DY$!�xRY8#!TP2!1`!<Y!3QJV!Hp&!uTP$!�6i!18RY!@RP&!Hp&!�8MQN![$

<GQ9yF!&!eJXF!<#%�:!eR9G!�JP!32!gp8JF8]!6:Q=:!<}$3$!189]tK8R?8#3!a&32!<N!3Qw!a&32!�JP!32!6#8I:!HFQ9G

lRp8:`~u6:Qi!<}$3$!<XR9j!<P6X]!&!H?8#3!!

HF!18=:!<Y%yM<p�oF!47!H#8:$QM!&!xR]8qF!�$![%]8 !H]8f`!2QA&!8Y!18#Qy=:$2!<N!6]28]!!1$6XV!H#8:$QM!;HM8IP8vF![

<Y!;H]8qi!&!HIDN!�Rv�!_8hD:$!��#&!<Y!2%yF!gp8JF!�32!&!16:$Qj![$%Y!HYQj�6#28:!u6:3$6:!$3!;H?8#3!gp8JF!��#&

189]!u23$2!HIP8XF8:!g5$QG!<p�oF!^#$!^Dm%f_8P!<N!3Qw8]!�3&2!32!H�D7!&!HP8�Xi38N!�3&2![6cY![8]!HF!18�=:!%�Ms8Y![

H9:!�%w%Y!18F�!3&%F!8Y!&!2Qj![2Qj!<Y!rc?!^#$!8XRh#!;6]2uTP$!^Do:$QM!;��M!&!^DP$Qj!;2Qi!

<AQM!^9?!&!6RqF!38RoY!<d78IF!&!a32!a�N!32!18#Qy=:$2!_8cm!TN%i!;�Q?QF!^#$!<Y!18P36F!&!18#Qy=:$2!<Y!12$2

HF!<R�QM!$6RN$!^#%9M!47![8WP�N!32!8W:`!23QF!32!�vY!&!HODq]!rRp8bM!uTP$!��su2Qi!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .0

!

L/12 !"#$%!!

K8In$!HM8F6hF![8Wi&3!&!��3$!_&6A!&!8W]3$lf!eJXF!8Y!H#8Xi`<C9At8]!!K3Q�!<Y![# $ %!;~uuu!rCj!18]%Y!&!uuuuuuu!;

<GQ9yF8]!<GQ9yF!;@Y8M!&!<JY$3!;8W:`![&3!_89G$!&!8]!uHC�$!2$6G$!&!$389i8:!&!$389i![

L2,3) -:1

!<R\5!�$!Hj%Y!K8In$!^9?!32!u2Qi!HF!28WX=RS!gp8JF!�#36M![$%Y!%#�![8WDG8P!;18F�!xR�XM![$%Y!8]!Qy=:$2!�6WG!<Y!

u2Qi!<Di$|f!

1`!�$!�#%�!�28qDP$!a32![6cY!gp8JF!32t!K8In$![8Wi&3!&!eJXF!8Y!%LDEF!H#8Xi`8]!t!~2Qi!^#%9M!-!UTG8PU!u~

<GQ9yF!Hm%cF8]!"#89:!;8]!%#�!;8W:`![<GQ9yF!;<GQ9yF<GQ9yF!�$![$8]!!��#&!<Yt!#(X)t!~0U~TG8P!U!�$%Di$!;�89DA$!u

!8Y!&!%O#6b#!8Y!Z8IM3$!&!8WRf�#&!;x9DF!&!4?8qM!;~H]8XDF8:!��#&!<Ytt!-U~TG8P!U~$lyF!�89DA$t!>%\9]!;>%\C�87!u!<Yt

t!8WRf�#&!�$!Hj%Y!;~H]8XDF8:!��#&-UTG8P!U1&3$&!&!gRN%M!;<JY$3!u~8]!t!0U~TG8P!U<GQ9yF!;3$2Q9:!;HIRM%M!<JY$3!u8]!![

Q\G!;gM%F8]!;^#%Df3lY![;_89RoN8F!;^#%DbVQN;_89RXRF_8dF!8Y!_QY!%IA!&!<bI=F!Hm%cF!;^R}8S!1$%N!;s8Y!1$%N8]!![

t!Hc5$&!&!2%yF.U~TG8P!U<GQ9yF!;eJXF!Z8IM3$!u8]!t!~8]3$6F!&!8]6RCNt!%MQR�F8N!8Y!_QY!%IA!&!;'U~TG8P!Ux]!<JY$3!u!;[�3$

t!8W:`!Z8IM3$!&!3$lm$'U~TG8P!U�Qj!;~Ti8O:t!@Y8M!Hm%cF!u6XV!;Hq#%cM!49G!;�%RzDFn<p8I:2!;H#8M8]!t!0U~TG8P!U!�38O:!u

t!uuu&!�$%Di$!;�89DA$!%Y!1`!%Rn�M!;aQbcF!&!xRhDoF'U!u~TG8P!U!&!>%\C�87!�$!%#QLM!@Y$QM!H:8WA!Hf�#&!;@Y$QM!gRN%M

t!>%\9]!<Y!_Q9i!@Y$QM'U~TG8P!U3QDb:8m!Hm%cF!u8]!t!<GQ9yF!1$QM!;>%\9]!;>%\C�87!['U~TG8P!U!;k#!<Y!k#!@Y$QM!u

1&3$&!;�|7!^R:$Q5!;8W:`!gRN%M!;H#QP&2!;8iQS8]!t!2QA&!�vY!&!.U~TG8P!U1&3$&t!HDE#%b#!u!8Y!12QY!_28cF!&!~[%#|S

HDE#%b#!�$!Hj%Y!K8In$!^#%9M!1$QXG!<Y!;H#QP&28]![!

, , PP , ,

, ,

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .'

!

t4RI5!^#$!�$!&!.Uu~TG8P!U%Y!T9o5!¡38j!HDE#%b#t!@Y$QM!HP8P$!<R\5!;@Y$QM!<Do]!!6XV!;@Y$QM!<#lyM!<R\5!;~�38O:!8Y!<Do]

t!_8dF'!UTG8PU&!HDE#%b#!K8In$![$%Yt!^#8D=:$%Y!/32&%i!<R\5!u~t!_8dF!6XV!;~K8In$!<��jt!~<GQ9yF'!UTG8PU!u~

<GQ9yF8]!<R\5!;$389i8:!;$389i!;H]8XDF8:!;H]8XDF![8]!t!_8dF!&!ZQY%F![-!UTG8PU!8W:`![&3!_89G$!&!gRM%M!;HC�$!2$6G$!u~

t-!UTG8PU_28cF!�$!Hj%Y!&!>8ED:$!4�$!18RY!u~8]!1`![xp!��#&!<Yt_8dF!;~13&�8]!t!1`!2%Y38N!�$!H#'!UTG8PUu~!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .-

!

!

_:$@7) +B7U)7D +`a $UH 0

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P!!H?8#3!�QCG!H:8IF!�$!�S!-!!45$67'�!

!

LV=D!!

[8]8\m!&!8Wo#%M8F!8Y!H#8Xi`[8]2%Y38N!&![3$2%Y�28F`!&!HJj!Ks28cF![8W]8ODP2!47!32!8W:`!HM8F6hF![�8P

38N!<Y![$%Y!18#Qy=:$23$lY$!^#$!12%Y8]!u%O#2![2%Y38N!&!{vF!a&32!32!!

L3WWX(B,2 0 /1=) 7R +YZ%

�QCG![8W=#$%f!&!8WWDi3!<RCN![$%Y![28RXY!a32!^#$23$2!�38i$!�Q?QF!<P!<Y!1`!4Lm%P!uTP$!HF$lp$!H?8#3!;8Wo#%M8F!

[8\m2%Y38N!&!Z8IM3$!;[3$2%Y8]!�6#28:!<N!2%N!<AQM!xR]8qF!^#$![2%Y38N!&!{vF!<IXA!&2!%]!<Y!6#8Y!&3!^#$!�$!u!%]!^Dm%f

HF!"]8N!$3!a32!^#$!H#$38N!;k#u6]2!

HF!K8F6hF!<Y!a32!^#$!<DIp$<Dm%=RS!gp8JF!;2�$2%SHF!$3!%Mu6:8yXf!%O#2!a&32!32!1$QM!

L/12 !"#$%!!

�8ODP2!47!&!8Wo#%M8F!<#%�:!4F8i8]!Ks28cF![[8\m!;HJj!8Wo#%M8F!&!HJj![8WC#6IM!;1`![8WRf�#&!&![3$2%Y

uTP$

L2,3) -:1!!

TG8P!;18F�!xR�XM![$%Y8]!HF!28WX=RS!gp8JF!�#36M![$%Y!%#�![u2Qi!

UJ 6O27?) b7c'%2 0 _:$@7)[d LI;57% U�#%M8F![%IA!�8ODP2!Hm%cF8]!t!�(0!^RRcM![8Wi&3!&!�#%M8F!<IM3!u~TG8P!

t!1`-x]!u~TG8P!t!8W:`!^RRcM!�&3!&!H:QDP!&![%JP![�3$-t!8Wo#%M8F!1&3$&!<IP8vF!u~TG8P!�(0!�vY!&!47!u~TG8P!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, ..

!

�8ODP28]!t!HJj!Ks28cF![-t!1`![8WRf�#&!&!<IP8vF!;18XRF%M2!u~TG8P!-t!1QDCRF8]!/HCRN!<R\5!u~TG8P!�(0!u~TG8P!

�#%M8F!H:8XRF%M2!<IM38]!t!�(0u~TG8P!!

UJ P1,2$R P7e#fLI;57% U[8\m_8dF!&![3$2%Y8]!t!�(0¡38j!;>%\C�87!;8\m%#�!u~TG8P!�Q9yF!;T9o5t!xRhDoF-!

_�hDP$!u~TG8Pt!HJj�(0t!6cY!&!<#8S!u~TG8P!-u~TG8P!!

U!:=U@7D _:$@7) 0 +`a P7D J [d LI;57% Ut!HM8F6hF![8WRf�#&!;_8dF!;r#%cM�(0<R\5!;�38O:!;<Do]!u~TG8P!

t!~TP$!�38O:!8Y!TE#%b#!<Do]!%Y!<XF$2!T9o5!¡38jt!HP8P$�(0kcY8M!&!HJj![8WC#6IM![8\m!u~TG8P!8]!t!�(0!u~TG8P!

4#6IM!�#%M8F8]!t!HJj![�(0t!<#8S!%RRzM!u~TG8P!�(0t!HJj![8WC#6IM!<IM3!u~TG8P!�(0��#&!u~TG8P!!3$6hF!��#&!&!3$2%Y

t'[%J5!�#%M8F!u~TG8P!t!16i'HdCdF!u~TG8P!t!12%N't!HCj$2!>%?![8\m!u~TG8P!-u~TG8P!!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .�

!

!

+97:1 -8.7Bg +B7U)

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P!!HFQ9G!K8R?8#3!a32!^RF&2!�$!�S!!-!!45$67'�!

LV=D!

�QCG!18#Qy=:$2!H#8Xi`!�6]!8Y!a32!^#$<RCN!32!H?8#3<Di3![8]!!�QCG!&!8]2%Y38N!&!38F`!;8]2%Y38N!&!K8R?8#3![

lRp8:`!H:8IF!8Y!;%MQR�F8N!TWA!$3!�Q?QF!^#$!32!��s![8]2%Y38N!&![%�:!K8F6hF!<N!TP$!��s&!�6i!H7$%w!H?8#3

6i8Y!<Di$2!%Y!32!�%D=F!a�N!k#!32!18#Qy=:$2!^#$!<RCN!TN%i.!

L/12 !"# $%

/HODPQRS!&!67!/[%P!&!<p8I:2!/HhRh7!2$6G$!189Dj8P![3&`28#!u@Y$QM![%P!&!<p8I:2!/^9#3!_$%OD:$!/eD=F!

L2,3) -:1

2$6G$![%IA!�$Qj�$Qj!/HhRh72$6G$!HIRM%M!eCJF!365!/HhRh7–!&!<p8I:2!/<X#%#�!&!<X#%Y�!�$Qj!/_89N!TR�8j!

!18i2&67–<p8I:2!%#�!/$QXb#![8]!<p8I:2!/67![8#8\5!8]!!6X:8F!k#%DF![8\m!H#$6DY$!xR]8qF!/a$%Di!%#$&!(Q:$lpQY!<R\5!&!

!HiQN!kvF!/[6XI9]!&!Hf2%=m–/@Y$QM!2&67/67![8#8\5!/Tj$QXb#!HODPQRS!/<DPQRS!@Y$QM!gRN%M!/<DPQRS!@Y$QM

�&3!/^RO:8RF!3$6hF!<R\5!/@Y$QM!eD=F!/aQbcF!@Y$QM!&!$QXb#!@Y$QM8]!!/189#3![%#|S!_$%OD:$!/3QCRM!<R\5!HI#%hM![

<Y!_$%OD:$!/18Y8o7!HP8P$!<R\5!/189#3!_$%OD:$!�$Qj<Jh:!H#$%O9]!/@Y$QM!<p8I:2!/HI#%hM![%Rf!_$%OD:$!/67!1$QXG!&![$

1QF�`!/@Y$QM![%P!H#$%O9]!/2&67!{#QcM!/Tj$QXb#8]!!&!H:$QM![8]![%P/@Y$QM![%P!/Tj$QXb#!&!eCJF!H#$%O9]![

u8W:`!HP8P$![8#8\5!&!3QCRM!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .*

!

!

P2=5 -8.7Bg +B7U)

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0!TG8P!HFQ9G!K8R?8Y3!a32!^RF&2!�$!�S!!-!!45$67'�!

LV=D

xD#3QOp$!4RCvM!&!¢%w8]!!;[3$6#8S!;<p�oF!Tp87!4RI5!�$!HM8R�QLj!H#8P8Xi!%Y!6RN�M!8Y!H9CG!4}8oF!47![$%Y!%n£F![

xD#3QOp$!H#$38N!&!H#$%O9]8]!u!

L2,3) -:1

!HJj!Ks28cF!�8ODP2!47!;xD#3QOp$![3$6#8S!&!<p�oF!Tp87!;8]8Jj!rCDEF!�$Q:$!&!HhRh7!2$6G$!3&8Xi!lR9F!"#89:

!<#lyMtLU&!�#%M8F![$%Y!8]!!<#lyM![3$6#8S!&!HX#lf!3QvF!;HM8IP8vF![8Jj!4RCvM!&!~TIdF!^RcF![LU!Tp87!&

�8ODP28]!�&3t!HY8R:&32!;HJj![8]!^#��P$!;�:$%fs&!^MQR:![8]!<=#3!8Y!Z8IM3$!&!TY8n!<Jh:!<p�oF!;~3$Q9]!HY8R:&32!&!!HY8#

�&3!H#$%O9]!�%:!&!H#$%O9]!;~^MQR:!<Ii!&!^MQR:t![�8P!x9RXRF!&!@Y$QM8]!!47![$%Y!^MQR:!�&3!;TY8n!<Jh:![3$%bM![

�8ODP28]!x9RXRF!&!HJj!%R�![6XV!@Y$QM![�8PeD=F!;�%RzDF_$%OD:$!;Hi%Y![8Jj!<IM%F!&![26G![%Rf![26G![%Rf

�&3t8]!_$%OD:$!&!HPQf!;¤%IF$3!;Hhm&!;lMQN!/^MQR:![8]!u~�%P8:![!

!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .�

!

G74'>, +B7U)

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P!!!a32!^Rp&$!8Y!18F�!x]

!HFQ9G!K8R?8#3!-!!45$67'�!

L2,3) -:1 0 /12 !"#$%!!

+!8]!�2$2!�$Q:$!;~HqRN!&!H9Nt![%Rf!��$6:$![8]!a8RhF!;~<DPQRS!;<Dooft!%RzDF!;<:Q9:!;TRc9A! HqR�QM!38F`!H:8IF

!~<DPQRS!&!<Dooft

+!�6X#89:!;H9cyM!HIo:!H:$&$%m!;HIo:!H:$&$%m!;Hc9yM!H:$&$%m!;H:$&$%m!r#%cM!;8]!�2$2![6XY!�&%f! [38F`!_&$6A

!H:$&$%m!_&6A!4Rb=M!;�&%f

+!;H:$&$%m![8]!HXvXF!;<Di8I:$!H:$&$%m!%Y6XV!&!H:$&$%m!%Y6XV!;[$!<VQCN!3$2Q9:!;�$%fQDoR]! [38F`![8]3$2Q9:

u[$!<IcA!3$2Q9:!"#89:!;~<j8i!&!<XM!t¤%Y!&!<j8i!3$2Q9:!"#89:!;Hc9yM!H:$&$%m

+!^RO:8RF!;HY8o7!^RO:8RF! [lN%F![8]38RcFHP6X]!;6F!;<:8RF!;[$!<=#3!^RO:8RF!;Hhm$QM!^RO:8RF!;H:�&!^RO:8RF!;

u8]!�6�!&!8]!k]2!;8]!�38V!;8]!¤6XV

+!;�:8#3$&!;<:8RF!�$!�$%v:$!^RO:8RF!;^RO:8RF!�$!�$%v:$!^RO:8RF!;HN38V!18RF!<XF$2!;<XF$2! Hf6XN$%S![8]38RcF

uK$%RRzM!g#%?!;38RcF!�$%v:$

+HES!;HODoA%Y!;HOpQV!;138hDF!;H#89:!kM! H:$&$%m!HXvXF!HY8#�3$![8]38RcF

+!�$Q:$!&!�$%fQDoR]!xP3!&!Hf6XN$%S!&![lN%F![8]38RcF!^RRcM!a8P$%Y!8]!�2$2!lRp8:`! [38F`!3$lm$!�%:!k#8Y!H#8Xi`

!u[$!<IcA!3$2Q9:!&!H:$&$%m![8]3$2Q9:

!/!!!!;8]!gRN%M!&!gM%F8:![8]!<:Q9:!;8]!T=O#8A!&!gM%F![8]!<:Q9:!;�389i!6G$Q5! �389i!HP8P$![8Wi&3!!

!!!!!l#89DF![8WD=O#8A!&!gM%F![8]�$%m$u!!!!!!!!!!!!!!!!!!!!

!_6Ft!Tj$QXb#!_89D7$![8\m!;_89D7$!@Y8M!;_89D7$!�$!K&8qDF!%RY8cM!;!uuu!&!~gN%F!&!�28Pt!Hm28LM!"#8F�`! _89D7$!/

!;lRY!_QF%m!&!Hw%i!_89D7$!2%Y38N!;gN%F![8W=#8F�`!;Hw%i!_89D7$!;_89D7$!@Y8M!HODPQRS!;~kRP�N!_89D7$

!_�hDP$

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .+

!

L\H,$)!

a~!;x]2l:8i!¥8V!;HM8F6hF!_89D7$!&!38F`!;2$QA!;18#2QIWY0-+-!!!u[Q?3!a65!18DP`!;

b~!;�&2!¥8V!;�&2!"#$%#&!;HP6XWF!&!�QCG!18#Qy=:$2![$%Y!38F`!&!_89D7$!H:8IF!;697$!;18RP38S0-++!

!u18Wq�$!HDcX�!�8O=:$2!%=:!lN%F

c~;kilS!6R97!/3$6DP&22l#$!�&3Q:!<9A%M!;[38F`!Z8IXDP$!&!_89D7$!;`!u_!;�RXM!;&u3!;¤8]0-+0!;

u1$%WM!�8O=:$2!K$38=D:$

d~!x]2!¥8V!;xD=]!"#$%#&!;H:$69]!HCG/18RP38S!697$!<9A%M!;_89D7$!H:8IF!;�!;a$3!0-+,!K$38=D:$!;

uH#8WY!¦Rie) G. R. Grimmet, and D. J. A. Welsh, Probability, An introduction, Clarendon Press,

0,+*.

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, .,

!

./'/0

!"#$%

Q'h1 +),-., /012

i 7D2$R17T 0 67897:1 j

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, �)

!

+97:1 -8.7Bg

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P!!!H?8#3!lRp8:`!H:8IF!�$!�S!.!!45$67'�!

V=DL/12

<Di3!18#Qy=:$2!H#8Xi`!�6]!8Y!a32!^#$!!47!&![%�:!H:8IF!^Dm%f!%�:!32!8Y!;H?8#3!lRp8:`!8Y!§8]2%Y38N!&!K8R?8#3¨![

HF!<N!HP&32!^Dm%f!%�:!32!8Y!2$QF!l#3!&![QDvF!TP$!��s!^RX�9]!uTP$!�6i!H7$%w![26G!&!HqRN!^#$!<F$2$!32!6X:$QM

"#$%f!�$!>%yF!6RM8P$!TN38=F!&!6Xi8Y!2QAQF!a328]!u22%f!xR�XM![2%Y38N!&!{vF![!

L/12 !"#$%

�%m!;�%RzDF!6XV!@Y$QM!lRp8:`!K8F6hF!!8Y!H#8Xi`8]!eD=F![u©Ip!��$6:$!;8W:`!2%Y38N!&!%#|S!

L2,3) -:1

!8W:`!HODPQRS!&!�%RzDF!6XV!@Y$QM–!/�%RzDF!6XV!@Y8M!eD=F!;1`![lRp8:`!�$Qj!&!HJj!4#6IM!<R\5!![8#8\5!;<IM3![

<R\5!;H}lA!K8hD=F!;[%Ry:�!&!x9RoN8F!<R\5!;aQbcF!Ti8O:![!3%bF!&!<:8f6XV!_$%OD:$!r#%cM!;HX9?!@Y8M![!©Ip

<R\5!;6RhF!x9RXRF!;�&%cF!H#$%O9]![8]!<R\5!;189#3!_$%OD:$!8Y!<o#8hF!&!HhRh7!�%RzDF!6XV!@Y$QM![$%Y!!{#QcM!;�:$%fs![

_$%OD:$!32!%RzDF<R\5!;<D�PQRS!@Y$QM!23QF!32![%Rf!T�i8O:!;HX�RYQm![8]!_$%OD:$!gRM%M!;67$&!�$%m$!;H#$6DY$![8]!![

�%m!;<:8f6XV8]!eD=F![u�NQDP$!�8G![!<R�\5!;ZQY%F![8#8\5!&!%#|S!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, �0

!

!

678U8T$@ +B7U)

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P! !HFQ9G!K8R?8#3!a32!^Rp&$!8Y!18F�!x] !.!!&!* !45$67'�

L/12 V=D

<#8S!&!HC�$!xR]8qF!8Y!Qy=:$2!12Q9:!8Xi`!a32!^#$!HC�$!�6]!<N![Qv:!<Y!TP$!<Doof!K8R?8#3!&!K8RIRN%M!32![$

�lRO:$!&!8]2%Y38N!8Y!xR]8qF!^#$!8Y!H#8Xi`!^RG!32!Qy=:$28]!!Hj%Y!8Y!&!�6i!8Xi`!23$2!2QA&!K8RIRN%M!xCG!32!<N!HC�$![

HF!lR:![%O#2!�$6]$!;a32!^#$!�Q:!&![QDvF!<Y!<AQM!8Y!&!8DP$3!^#$!32!u6#89:!23Qj%Y!lR:!1`!HC�$!4}8oF!^#$!32!6X:$QM

!�$!6XM38IG!<N!6:Qi![%RORS!a32!

_s6DP$!<}$3$!^#%9M!~rp$8]!~uuu!&!rCj!18]%Y!;H?8#3!�$%hDP$! %R�:t!8W:`!rCDEF!�$Q:$!&!H?8#3!eR52![!

_s6DP$!8Y!H#8Xi`!~>8]!_s6DP$! !%R�:t!HM8RIRN%M![8]!~uuu;H:$%vY!TRc?&!;�389i!%Y!HXDIF![!

<GQ9yF! %R�:t!<Doof!rCDEF![8]38Dj8P!8Y!H#8Xi`!~¡8]!�#%M8F!;H]8XDF!BY$&3!;H]8XDF![8]!@Y%F!;8Wm$%f!;8]!~uuu&!^RMs![!

_s6DP$!<}$3$!^#%9M!~28]!xD#3QOp$!8Y!H#8Xi`!&!H9D#3QOp$!%bqM!%Y!HXDIF![8]!uK8RIRN%M!��Q732!rCDEF![!

L3X(B,2 0 /1=) 7R +YZ%

!a32!8Y!18Fl9]!&!�6i!>QovF!<Doof!K8R?8#3!&!K8RIRN%M!<j8i!32!a32!^Rp&$!a32!^#$"�QCG!H:8IFH?8#3"HF!|j$!

!xR]8qF!^#%9M!^RX�9]!&!<Doof!rCDEF![8]38Dj8P!8Y!H#8Xi`!TWA!HYQj!T�%m!a32!^#$!;a32![QDvF!<Y!<AQM!8Y!u2Qi

HF!<R�QM!$|p!uTP$!H?8#3![�8op6F!^RX�9]!&!H9D#3QOp$!&!H?8#3!%bqM!;_s6DP$!;K8In$!%R�:!K8R?8#3![28RXY!<N!2Qi

!^RX�9]!&!rCDEF!�8b7$![$%Y!K8In$!rCDEF!�$Q:$!<}$3$!8Y!_87!^RG!32!&!�6i!<}$3$!xR]8qF!^#$!8Y!H#8Xi`!�lRO:$!8Y!a32!^#$

!6#%yM!�$!&!�6i!<}$3$!_8dF!%Y!<RbM!8Y!a32!^#$!<N!TP$!��s!u6i8Y!�$%9]!��Q7!^#$!32!�8Y!8#!xWF!8#!HC�$!4}8oF!Hj%Y!¢%w

u2Qi!lR]%S!1`!32!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, �'

!

L/12 !"#$%

�3$lf!eJXF!;xD#3QOp$!;@Y8M!;<GQ9yF!xR]8qF!@#%P!�3&28]!!a32!8Y!©X]89]t!_QY!%IA!&!"�QCG!H:8IFH?8#3"!;�389i!;~

�#%M8F!;8W:`!�$Q:$!&!BY$&3!;6pQF!@Y$QM!;HD=f�8Y!BY$&38]!_6F!&!8Wm$%f!;HM8RIRN%M!ª8vp!�$!8W:`!xWF!�$Q:$!&!8]!!%Y!HXDIF![

@Y%F!;8W:`¢%w!;^RMs![8]<P6X]!&!8]uH]8XDF![8]!

L2,3) -:1

<GQ9yF!xR]8qF!@#%P!�3&2�3$lf!eJXF!&!xD#3QOp$!;@Y$QM!;8]!a32!8Y!©X]89]t!_QY!%IA!&!8]"�QCG!H:8IFH?8#3"!~!

4#6IM!;[%MQIN!<:s!4�$!;!HC�$!xR]8qF! 4F8i!�389igRN%M!&!8]<C9A&2!g#$%?!&!8]!�6G!&!_Q9i!4�$!;[$

u6pQF!@Y$QM!;HD=f�8Y!BY$&3!;_Q9i!

!k#!38DoY!;4F8N!gRM%M!&!H}lA!gRM%M!BY$&3!;8]�$%m$!&![�3$!x]!BY$&3!;8W:`!"#89:!&!BY$&3! 8W:`!�$Q:$!&!BY$&3

!a32!8Y!HO�X]89]!8Y!"EY!^#$t!rCDEF!�$Qj!<Y!TIo:!<JY$3"�Q��CG!H:8IFH?8#3"H�F!<��}$3$!!<N![Qv:!<Y!2Qi

u~2%#|�:!K3Q�!3$%bM!

�#%M8F�#%M8F! 8]�#%M8F!xWF!�$Qj!Hj%Y!�js8Y!;HM8RIRN%M!�8f6#2!�$!8]�28F`t!k#!&!%q�![8]![$%Y![�8P

@Y%F!"EY�$%f!&!^RMs![8]�#%M8F!8Y!H#8Xi`!;~8]~28DP$!%�:!8Yt!23QF!^#$!32!«#8D:!Hj%Y!&!38F$2`![8]!

�$%f_6F!&!8]!%�:!8Y!_8dF!6XV!8Yt![�8op6F!32!1`![8]2%Y38N!%Y!6RN�M!8Y!�$%f!�QWqF!Hm%cF! 8W:`!%Y!HXDIF![8]

<A32!<p8I:2!;<A32!;%RoF!;3&2!%R�:!�$%f!<#%�:!HC�$!xR]8qF!8Y!H#8Xi`!;~28DP$�$%f!HC�$!�$Q:$!;[$�$%f!%R�:

Tj32!;4F8N![8]�$%f!;8]�$%f!;H=EY&2![8]�$%f!&!H:QDCRF8]!&![%C#&$![8]TWA![8]TX9:3QM!&!3$2!8]

eY8JM!;~8]2%Y38N!&!_8dF!%Y!6RN�M!8Yt©:3!;~8]2%Y38N!&!xD#3QOp$!¢%wt!x9RoN8F!&!4F8N![8]�$%f![lRF`!&!8]

6XV<C9A~xD#3QOp$!&!_8dF!<}$3$!8Y!t!HO:3![$!

@Y%F¢%w!;^RMs![8]<P6X]!&!8]!8Yt!xR]8qF!^#$!Z8IM3$!%Y!6RN�M!8Y!HC�$!xR]8qF!&!r#%cM!8Y!H#8Xi`! !H]8XDF![8]

<}$3$xR]8qF!8Y!xR]8qF!^#$!Z8IM3$!%Y!6RN�M!^RX�9]!&!~_8dF%R�:!;a32!^#$!32!�6i!¢%w!HCI5�$%f!^RX�9]!&!8]

xDoRP!�QWqF!<}$3$!;�QLj!^#$!32!�389i!23QF!6XV!<}$3$!l#89DF!Hf6X#89:![8](SDR)!¢%w!^RX�9]!&!

!_8]!URCRm!<R\5!K3Q�P. Hall!@Y%F!32!2%Y38N!&!_8dF!<}$3$!&8]!u~28DP$!%�:!8Yt!HC9G!2%Y38N!6XV!&!^RMs![!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, �-

!

L\H,$)

HF!28WX=RS!u6XDo]!2QAQF!�Q?QF!^#$!32![38RoY!@A$%F!��&%F$!18#Qy=:$2![$%Y!<N!6:%Rf!3$%5!�28qDP$!23QF!HcA$%F!2Qi

HD7!&!6Xi8Y!�6i!<DiQ:!H9D#3QOp$!�%O:!&!8]2%Y38N!%Y!6RN�M!8Y!&!HP8Xi38N!�3&2!�6i!lR]%S!8W:`!32!6#%yM!�$!3&6h9p$

HF!�%DvF!28DP$!u6i8Y!¢%i!<Y!gP8XF!@A%F!6XV!u6#89:!<}$3$!lR:!gEDXF!K3Q�!<Y!rCDEF!@A$%F!�$!$3!gp8JF!Hj%Y!6:$QM

6XDo]!%#�

a) I. Anderson, A first course in combinatorial mathematics, second ed., Oxford

Applied Mathematics and Computing Science Series, The Clarendon Press

Oxford University Press, New York, 0,+,.

b) M. Erickson, Pearls of discrete mathematics, Discrete Mathematics and its

Applications (Boca Raton),

c) CRC Press, Boca Raton, FL, ')0).

d) R. Garnier and J. Taylor, Discrete mathematics for new technology, second

ed., IOP Publishing Ltd., Bristol, '))'.

e) R. Garnier and J. Taylor, Discrete mathematics, third ed., CRC Press, Boca

Raton, FL, ')0).

f) L. Lov'asz, J. Pelik'an, and K. Vesztergombi, Discrete mathematics,

Undergraduate Texts in Mathematics, Springer-Verlag, New York, '))-.

g) R.P. Grimaldi, Discrete and combinatorial mathematics, an applied introduction,

Addison-Wesley Pub. Co. Inc., 0,,..!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, �.

!

!

!

LV=D!!

<D#3$&!HM8F6hF!HWcp8JF!&!Hm%cF!!;H:8b#![8]!%IA!<C9A!�$!gM%F!&!HpQ9cF!kRP�N!&!HCN![%IA![8]38Dj8P![

xR:!;�3$Q]&%f!<Ii!;<bI=F!;�3$QbM!;�&%f!�&%f!%Y!%D=RY!6RN�M!8Y!;�&%f8]!<hC7!&!8]!u

L3WWX(B,2 0 /1=) 7R +YZ%

<Di3![$%Y!;[%IA![8]38Dj8P!32!a32!^Rp&$!^#$8]!l#3!32!<Db:!^#$!uTP$!HF$lp$!%MQR�F8N!�QCG!&!8]2%Y38N!&!K8R?8#3![!

6F!a32!2$QF!u2%Rf!3$%5!<AQM!23QF!lR:!�#36M!32!TP$!��s!&!<Dm%f!3$%5!%�:!

a32!<9]!32!8I#%hM!a32!^#$!gp8JF!<N!H#8y:`!�$!8]!�QCG![!<:Qf!<Y!H?8#3!HF!¢%JF![$!��$&32!&!2Qi!![%�:!a&32!<Y![$

�QCG!&!K8R?8#3!<R\5!&!xR]8qF!�$!18#Qy=:$2!�Rv�!�32!�$!18XR9w$!;TP$!%MQR�F8N8]!!%DWY!�32!<Y!H#$loWY!k9N!1`![

HF!1`![8]2%Y38N!&!K8R?8#3!u6#89:!

xN!2$6cM!<Y!<AQM!8Y!HS![%IA![6cY!a&32!32!xR]8qF!�$!Hj%Y!e9G!<N!TP$!HW#6Y!;a32!67$&!HF!<Dm%f!32!u2Qi!!<Y!^9?

<R\5!�$!Hj%Y!K8In$!;gp8JF!%DWY!�32![$%Y!^#%9M!3Q�XF8]!<Y!u2Qi!<Di$|f!18#Qy=:$2!�6WG!<Y!!%]!!6#8Y!18#Qy=:$2!_87

��M!%Y!�&�G!6XXN!K8In$!^DiQ:!&!�32!;�8b7$!&!xR]8qF!^DjQF`8]!!6#8Y!<N!HICJF!;K8In$!�6]!Ti$228#t!6:�QF8RY!$3!

HF!3QJV!&!6XXN!K8In$!~uTP$!6RqF!;6XXN!K8In$!$3!1`!6X:$QMa�N!32!TN%i!^9?!18#Qy=:$28]!!&![2$%q:$!47!8Y!;a32![

^#%9M!Hc9A8]!HF!goN!$3!��s!K38WF!!u6X#89:!

$UH +B7U)!

;57%<=>,0 2,=?@ A78B CD<A78B E8F G0=H A, I;57%J K:$4@ !>

-!(67$&!�0TG8P!! H?8#3!�QCG!H:8IF!�$!�S .&!*!!45$67'�!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

!"#$%#&''()*(+, ��

!

L/12 !"#$%!!

gM%F!&!HpQ9cFt![%IA!HCN![8]!38Dj8P!HM8F6hF!HWcp8JF!&!Hm%cF!¡38j!;~�6i!<R\5!u8]!HDE#%9]!&!T9o58]!!;HDE#%b#![

�&%f!23QF!32!��#&!<Y!xR]8qF!^#$!%M!eR52!<cp8JF8]!<hC7!&!8]!u

L2,3) -:1!

TG8P!;18F�!xR�XM![$%Y8]!HF!28WX=RS!gp8JF!�#36M![$%Y!%#�![!u2Qi

UJ P$UH +^T P7D17'a7%[d LI;57% U!49G!�ToRV!%IAn!��#&!<Yt!H#8M!';0;)!_8dF!~H#8M8]!!;@Y$QM!;2$6G$!�$!8Xi`![

�#%M8F8]!!;�$%Di$!;�89DA$!; ! " #$%& '()* !+,-.* /01234 #5-67 89:;03 " <-=$>0? !-.*-@A !#$&+ 89:;03

" 0B-.* :CDE FG0H ( #2IJKCB+'()* 0L (" #2M@-N@ ( #2M@-CB 89:;03 '0C;O ,O-L #$%&+P " 9#@0Q+ #5-67 89:;03

RS& !0B-.* T23G0B TU4067 , " 9VWH-%L T%=E X0%L" T2@GO( ( ,O+ #2M@-N@ ( #2M@-CB ( YQ-7 ,0B-.* #5-67 89:;03

XZ0B " +-@A !,-.* ,0BG02H03 AO #H-L #5-67 89:;03 -.* T$C* AO !0B-.* [@O :CDE FG0H ( <-\ !G02H03 0L" #]0N@

'0C;O^P " TN.I7 !/GOWNQ !/(-1C%] !/GOWB(-_ 9#@0Q+" 90B)& ( TC$&" 4OAZ /(-_ ( /GOWNQ [2H03 89:;03 + 89:;03

T;WC`7 ,(G /GOWNQ aC;0B " 0Q07WQO G4 Sb7 XZ ,0B4-LG0& TL /G0cO !+T.c #5-67 89:;03 dL-7 !/(-_0B TU4067" [%Qe , ,O

T2@GO( ( XZ X4WL0B " 9+89:;03

/(-_0B " +fg@-6Q ( /(-_ h9:;03 0B '0b7 !/(-_-@A !XZ '4067 ,0B " iWK27 ,+" 0JB(-_ #2M@-N@ ( #2M@-CB 89:;03+

" #$%& T%=E ( 0J2I1@0* 89:;03+jB ( <-\ 89:;03 " 94Wc T23OWH X0@W`I]O4 AO 0J]Z #]0J* #_k@( l0.mO" <-\+

" #2IJKCB ( '07-] /(-_ -@A 89:;03+FG0H 89:;03 " :CDE+/(-_ ,0J%_k@( 89:;030B " ,G(4 ,+ 89:;03

T%=E0B l0.mO AO #H-L" 0J%2M@-CB T@n`Q ( #2M@-N@ ,0B " 94Wc T2cOo_ X0@W`I]O4 /)J; TL +89:;03

U !"#$%&'()*+,-&.%U#_k@(0B " 0B Tp$? #Q07)p7 ,+-@A 89:;03 " #2IJKCB ( 'Z /)@O !Tp$?+<-\ ( #2M@-CB 89:;03

Tp$?0B " +89:;03 T%=E0B " #2M@-N@ ,+T$C* )Kq Tp$? AO #Q07)p7 89:;03 " ,O+89:;03

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv wt

/01%23&.% 4567%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 #yH -.* ( 0B z@-Q07 #]0.7 { ( v ( ^+ 4GO)]

%

%*J9'%

)? G4 RG4 [@O G4 [%K|CB 8:3O #yH ,A03 TK%JL #C2@GW1UO ( ,-}] ,0B ~(G -L ,O T7)p7 RG4 [@O #$>O V)B

8j@Wc #7 0KcZ n%] �%�> ,A03 TK%JL 0L [NC7

*KLM?:<%;%NO9P%&7%/4Q.%

lGW> TL T& a�0D7 [@O #$>O ,0B T234 ( /4G(Z :3)L OG ,A03 TK%JL a�0D7 ,)KL lGW> #@0]OWQ W`I]O4 RG4 [@O G4

8)L0@ #7 G4 n%] OG 0B <OW* #�%& �OWH ( /)c 0KcZ g$2M7 a? ,0B ~(G 0L [%K|CB 84-%_ #7 O-5 OG )]-@o� a? #$C;

#yH ,A03 TK%JL a�0D7 a? 0L 4GWH-L G4 #yH -.* ( T3)KB '406Q #1]W1q 0L #@0KcZ RG4 [@O jJ7 ,0B #_k@( AO #N@

�%�> ,n@G T70]-L AO � �?0.7 ( :%30D? n%U0]Z !#1]0_(4 �WJ�7 !zN$�C3 ~(G 0L X0@W`I]O4 023OG [@O G4 ( :3O

84WC] )BOWH 4GWH-L

*<:KP%RFO%;%NO<%ISTG.%

TK%7A 0L #@0KcZ')7 iOW]O !l0%$C; G4 �%p�Q ,0BT70]-L !#\0@G ,0B')7" #yH ,n@G~(G !,)KL !#C%3-Q ,0B

~(G !X0_(4 ( T%U(O zN$�C%3(4 ,0B ( ,A05MTN.c !9:%�30D? n%�U0]Z !XZ �@02] ( #]0�_(4! �GnL ( aC? ')7 ( 0B

')�7 -@03 ! �%��MQ ( �$p�]T70]-L 0L #@0KcZ !TL0I7 ,0B~(G" �%�> ,0B-%�27 ,n@G T��> ( XO-& ( TH0c ,0B

89#c-L

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv w�

*UD:GP%

a) P.E. Gill, M. Murray, and M. Wright, Practical Optimization, Academic Press,

1918 .

b) P.E. Gill, M. Murray, and M. Wright, Numerical Linear Algebra and

Optimization, Addison Wesley, Volume 1, 1991 .

c) F. S. Hillier and G. J. Liberman, Introduction to Operation Research, 5th

Edition, Holden-Day, Oakland.

d) D. Luenberger, Linear anad Nonlinear Programming, 2nd

Edition, Addison

Wesley, 1989 .

e) W. L. Winston, Operation Research: Applications and Algorithms, PWS-Kent,

1990 .

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv wu

%

%*J9'%

j2@GW1UO a%$�Q ( �-�j2@GW1UO ,GO)@0� ( #@OG0& -L )%&�Q 0L #yH -.* a�0D7 ,O-L #Q0.30�7 ,0B80B%

RFO%;%NO<%ISTG.*<:KP%

0=5 a70c #yH -.* l07)p7 -L ,G(-70B !,GO4-L ,'Sp23OT@0� ! #yH!0=5<-\ !z@-Q07 ( GO4-L�-] ! #$HO4 ( ,GO4-L

/01234 a? ( #D@-Q070B #b$b7 T@n`Q ( #yH ,LU/01234 :%30D? !0B 0L RW_ ~(G ,GO)@0� !:U0? 4); ( #yH ,

z@-Q07 !GW�7 <0M2]O0B ~(G !l(-& ( #NDUWq T@n`Q ( :.b7 [%67 ,0B /01234 a? ,O-L ,GO-NQ ,0B a70c #yH ,

j�0E T@n`Q !')@OA PRW_ !#LW&O�QR/4O4 ~AO-L ( #yH l06L-7 [@-2C& TU�D7 a? ! !/k@( ,0BGO4-L ( -@40p7 !0B

~(G AO /k@( -@40p7 T.30�7 ~(G ( #]OWQ ,0BQL8G)UWB R(0B

*UD:GP%

a) W. Hager, Applied Numerical Linear Algebra, Prentice Hall, ^vuu.

b) G. W. Stewart, Introduction to Matrix Computations, Academic Press, ^v�x.

2<9-%/01%GVD%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 %#yH -.* ( 0JD@-Q07 #]0.7 AO z� { ( t% aEO)?+w

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv wv

%C&HW#:(%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 '0C2?O #]0.7 AO z� { ( w ( ^x aEO)?^�

%

%*<:KP%RFO%;%NO<%ISTG.%

d@AWQ !T23W%� #540�Q ,0B-%�27 !T2DD_ #540�Q ,0B-%�27 !d@AWQ dL0Q !#540�Q -%�27 g@-6Q h#540�Q ,0B-%�27

#540�Q ,0B-%�27 AO #6LOWQ

:HOWKN@ !T2DD_ :HOWKN@ !XW3OW� !#�K7 ,O T$C* (4 !#3)KB �W5 8#3)KB !,O T$C* (4 h4GO)]023O ,0B d@AWQ P

,0& �" 070_ !#@0C]– 8888 WQOG0� !a.@O( !�%2D`U !#cW& !02L !'07-] !9(4

)%7O ,0B4-LG0& ( �OWH 8#540�Q -%�27 �@ AO #6L0Q #\0@G )%7O !#\0@G )%7O h#_)K&O-� ( ,n&-7 ,0BG0%67 P

,0BG(02I_ !#1UWq ( XG0pQ !-1@4 #_)K&O-� ,0BG0%67 ( z]0@GO( !d@AWQ �@ )7 ( T]0%7 ![DK* ,(0D70] !#\0@G

9888( g|%.q!g&G07" '0C2?O G4 jJ7 ,0J@0D7 0] !'0C2?O )UW7 dL0Q !G(02I_ )UW7 dL0Q !#540�Q -%�27 �@

0B ,O T$C* )Kq d@AWQ ( /-%�27 )Kq T2DD_ #540�Q ,0B-%�27 !/-%�27 )Kq #540�Q ,0B-%�27 h/-%�27 )Kq ,0B d@AWQ

Y@-\ !z]0@GO(W& !ap2D7 #540�Q ,0B-%�27 !/-%�27 (4 '07-] d@AWQ ( /-%�27 )Kq T23W%� #540�Q ,0B-%�27 !

8#12D.CB

%*UD:GP%

a9 jB4 �0q !j2IB r@O-@( !#]O)CB #$;PX0%3G0� )C?O TC*-Q !'0C2?O #]0.7 !~ !ROG^xuv 8#@0JL �%c lOG0I2]O !

b9'(O �0q !G0NB0c TC*-Q !'0C2?O !)%63 !#]07-JE^xuf 8)JI7 #3(4-5 /01I]O4 lOG0I2]O !

c) G. R. Grimmett, and D. Stirzaker, Probability and Random Processes, xrdEd.,

Oxford, +ff^.

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv tf

%2O&PX%2&6Y;O

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 '0C2?O^ { ( w aEO)?^�

*<:KP%RFO;%NO<%ISTG.

!,O Typ] #L0@4G(Z-L !,G07Z �0.K23O !,O T]WC] ,0B d@AWQ !,n&-7 )? T%=E ( ,O T]WC] [%1]0%7 d@AWQ !#540�Q T]WC]

0L #Q07)p7 #@0KcZ !�GnL ,0B T]WC] /AO)]O 0L X0K%C�O T$>05 !,O T$>05 4G(Z-L !�W$670] 9,0B"-27OG0� #L0@4G(Z-L ,0B ~(G

:.D] ~(G ( T5-�(4 ,0B �-5 XW7AZ !T5-� �@ ,0B �-5 XW7AZ !/403 ,0B �-5 XW7AZ !0B �-5 XW7AZ j%B0�7

![%1]0%7 (4 4GW7 G4 �0.K23O !�GnL ,0B T]WC] /AO)]O 0L :.D] ( [%1]0%7 XW7AZ !'07-] :%6C* z]0@GO( XW7AZ !#@0CK23G4

!T5-� �@ z]0@GO( a%$�Q !�GnL ,0B T]WC] /AO)]O 0L :%6C* (4 :.D] ( [%1]0%7 XW7AZ !lO)B0I7 :�* 4GW7 G4 �0.K23O

/403 ,0B XW7AZ !#K1CB ( 'Sp23O h#p5OWQ ,0B '()* !#cAO-L #@WN%] XW7AZ !#12D.CB Y@-\ ( /403 #yH XW%3-_G

,-27OG0�0]

*UD:GP

a9 ,W\G R)E X023Z !jB4n]0c �0q !#Q07)p7 '0C2?O ( G07Z !4OW* [email protected]^xux 8

b9 /01I]O4 -I] n&-7 !�(4 �0q !�(4 r@O-@(!#3)KJ7 ( �W$; X0@W`I]O4 ,O-L G07Z ( '0C2?O #]0.7 !)C?O !X0%3G0�

!X0J�>O #26K>^xuu 8

c9 !XO-JQ /01I]O4 lOG0I2]O !�cn� )%C? PGO)23(44n@O A(GW] TC*-Q !,G07Z �0.K23O ( '0C2?O !Z 8' !z%KQ !(8G !�0B

^xu^ 8

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv t^

2<&-%I5Z?:G[F<%\]<&=P% FG^?%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 #\0@G n%U0]Z #]0.7 ( a%D]O-�@4 le4067 AO z� { aEO)?+w

%*<:KP%RFO%;%NO<%ISTG.

%*/01%G5_%/6`<&=P8:L0m GO-NQ #JU0.]4 !-27OG0� ( T%U(O �-c TL <OW* #12DLO( #1]01@ !4W*( ,0@0=E

*/01%\]<&=P%a&bW.<8#303O ,0JD@-Q07 !#1]01@ !4W*( ,0@0=E

*acF;%GF<&!P%;%23GP%GF<&!P%2&66`&ZP 8)70627 ,0J@0J$C* )Kq !a@(W%UP�GW2cO T@-}]

%*/d5P&4F<%2&6HWZ5.8/G0N]OW� #J@-}] !~0I2�O !VW]0�0%U ,GO)@0� T@-}] !G0c

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv t+

%/eRD%\&!WMP%&7%I5Z?:G[F<%\]<&=P%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 #\0@G n%U0]Z ( a%D]O-�@4 le4067 { aEO)?+w

%*NO<%J9'%

�3WQ #N@n%5 a@0D7 AO ,G0%DL ,A0DU)7 #1]W1q ( #�n* l0p2I7 0L a%D]O-�@4 le4067 g$2M7 iOW]O 0L #@0KcZ

8#�n* l0p2I7 0L a%D]O-�@4 le4067 a? #$%$�Q ,0Jc(G 0L #@0KcZ [%K|CB !a%D]O-�@4 le4067

*KLM?:<%;%NO9P%&7%/4Q.

8)]GO4 #�n* l0p2I7 0L a%D]O-�@4 le4067 /k@( TL a%D]O-�@4 le4067 0L �@4n] �0.QGO ,4-L0& �W$; T%$& �c X()L

/W�] 0L #@0KcZ ( le4067 T]W1K@O 0L X0@W`I]O4 #@0KcZ ( �W$; G4 a�0D7 AO ,G0%DL �G4 G4 )]OW2%7 ,A0DU)7 ,

84Wc dEO( )%�7 #3)KJ7

*NO<%ISTG.%

!,W=%L le4067 !#@n* a%D]O-�@4 le4067 !T@GW5 n%U0]Z!,WCJ3 le40678,WUWUoB le4067

*<:KP%RFO%

* FOKT%R5`&?X 0J@-3– 0JUO-12]O –T@GW5 a@).Q 8

%*/FRD%I5Z?:G[F<%\]<&=P #yH �(4 T.Q-7 #@n* a%D]O-�@4 le4067 ,)KL T234–8,A-7 ( T%U(O �@O-c 0L a�0D7

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv tx

*2Kf57%\]<&=P ,A0DU)7 – #303O <OW* – ,A-7 �@O-c 0L a@0D7 ,O-L 0B-%�27 ,A03O)* ~(G – [3OW� ( RS�e le4067

–8TN%3 -@4 TU0D7 ( [@-_ dL0Q

*2KH6.%\]<&=P ,A0DU)7– T%U(O �@O-c 0L a@0D7 ,O-L 0B-%�27 ,A03O)* ~(G – ,A-7 – lGO-? le4067 – a>O

8<OW* #@02N@ ( 4W*( jC%D&07

2K`K`g'%\]<&=P 0JJ�MI7 ~(G h– ,)6L �@ G4 0pL XW]0E –8FW7 TU4067

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv t{

@WZ5.%/?&VP&'%/d5P&4F<%2%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 #\0@G n%U0]Z #]0.7{ aEO)?+w

*<:KP%RFO%;%NO<%ISTG.

^8%*/>&P9!P%@5'&[P%;%hFO&=>'0b70B a70c #Q07)p7 j%B0�7 ( g@G06Q ! :%6C* ')7 a70c #N%70K@4 ,0JC2D%3 AO #@

8GO-NQ ( #]0N$� GO4WC] !#L(0KQ GO)7 !:L0m Typ] !GO)7

+82&6WY&b?%O<%2O:9F&B(*29=7% ! ,nQGOWc �2I7 ! GO)@0�0] ( GO)@0� !,WUWUoB -%� ( ,WUWUoB #L(0KQ ( :L0m �0p]

8TL�0* TK7O4

x *i&=M?:%;%/d.KjO&Y% 5fk/-_ l0L06I]O ,A03 g;0=7 !<(0KQ /G(4 ,A03 g;0=7 !'01Kq !,GO)@0� '40.Q !#K@A

/G(4 0L #L(0KQ �0p] !<WcZ ,W3 TL #BOG <(0KQ /G(4 <(0KQ ,xT%=E ! 8XZ RWN67 ( #N3W&G0c ,

{9=7%O<%iKYXl(*T;WC`7 ![@40C] �%70K@4 �-c TL :.D] X4WL R0D? ! �@�WUW�WQ X4WL '4067 ! <WcZ( GW2]0& ,

8g]0�0%U ,0C] ( T%U(O

w 82&6WY&b?%O<%2O:9F&Bm%*29=7%/012340B !g]0�0%U dLOWQ !#L(0KQ ( :L0m �0p] ,GO)@0� !A05 ,0C] !#yH ,

8-N3P�G0C%] <06I]O ( X0KB ( #.3O a6] :c01] !9l0.mO X()L"GO)@0� )$�%K7 ( [CLO-_P[CQG0B ,0@0=E

t 8*&'<G7O&j8#Ncn� ( #;0C2*O �W$; !40�2EO !,�WUW%L G4 T2DD_ ,0B ')7 #H-L

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv tw

/PKH-%2nK`KBK>%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 #\0@G �W$; #]0.7 GO z� { aEO)?+w

ISTG.*<:KP%RFO%;%NO<%

T%U(O ,0J�@-6Q ( T7)p7: ,A03 O)* 'W>O #_4-I5 ,)K.CB )@)* �@�WUW�WQ ,0B0=5 [2H03 ( T23W%� ,0J6L0Q

lGW>G4" �@�WUW�WQ ,0JB(-_ 0JJK%CH #3)%$EO ,0B0=5 ,�WUW�WQ 0BGWQ ( 0JJ@e0� �@-27 ,0B0=5 ,�WUW�WQ

89:E(

%* 5`;:%2&6[FG=>%;% P9!P( GW� TL 0@" A0L ,0JJ;WC`7 iW\W7 'W>O AO /40�23O 0L ,�WUW�WQ g$2M7 ,0J�@-6Q 8

#ND5WQOGW& -1$C; ( #_)%.Dq !9T2DL ,0JJ;WC`7 iW\W7 'W>O '4067+ ,0J@�WUW�WQ 0L 0=5 AO g$2M7 ,0JU0b7 8

#.%Q-Q !�@-27 !T2DD_ 40� !T2DD_ !#B0K27xTyp] !Typ] �@ #1@0DCB g@-6Q8Typ] !#](G4 , Typ] !/)%.Dq , !,A-7 ,

T;WC`7 -@A ( T;WC`7 G02DL '01q ,{ iW] ,OG0Cc !-@o�N%N�Q ,0B0=5 !Typ] �@ G4 T@0� !,�WUW�WQ T@0� -@A ( T@0�8

�(4 iW] ( '(Ow ,0B0=5 80T !1T( 2T89VG)30B"

%*9F9D%oFnK`KBK>%2&'&fT%EW1&.%;% W.K5B%2&6=7&>^ !A0L :c01] !T23W%� dL0Q !Typ] �@ G4 dL0Q #123W%� 8

T2DL :c01]+ #L-\ a>0? ( #6C* a>0? ,0B0=5 !0B0=5 -@A 8x #2M@-]0DCB ( X)]0I] 8{ FG0H ,0=5 ( :c01] 8

#2CDEw8g%6\ ( ,WE ,0J@�WUW�WQ 8

294VH' h^ #_4-I5 8+ #.%Q-Q ,�WUW�WQ 0L /4-I5 ,0B0=5 8xT�UW7 ( #BOG ,)K.CB 8 #BOG ,)K.CB ,{ ,)K.CB 8

T�UW7 ( #6\W7 8#BOG #6\W7 ,)K.CB ,

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv tt

*23&.%:9D%CKp: ^ '07-] ,0=5 !j}K7 ,0=5 8+8[D@G(O jU8

%*&'OK>%;%&66F]&B^ 0BGWQ 8+ 0JJ@e0� 8xT%=E l0.mO 8 T@0� -@A , 8g]WM%Q , T%=E ( G)]0DNUO ,

*oFGWP%2&'&fT%2nK`KBK> ^ ,-@o�N@-27 ,0@0=E 8+T%=E 8 -¡L ,x8[& -� 0=5 jH 8

*/.95"k:%2&'&fT%2nK`KBK> ^Typ] T%=E 8 -�(-L :L0m ,+ -�(-L /AW? #@O4G(0] T%=E 8x XO4G(� jH T%=E 8{ 8

8#ND�QOGW& T%=E ( #K70B ,0J5O-_

%*+,k;%\OKp%O<$%oFnK`KBK>%2&6';Gq XZ #2CDE FG0H /(-_ ( /(-_ -@A !�@�W�WQ /(-_+ /(-_ aC; 8

[1CB ,0=5 ( �@�WUW�WQ ,0=5 -L �@�W�WQx �@�WUW�WQ ,0JB(-_ ,-@o�N@-27 /G0LG4 #]0QW&0&Pg&-%L T%=E 8{ 8

8#D@-Q07 �@�WUW�WQ ,0JB(-_

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv t�

.94'%/?&VP%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 #\0@G �W$; #]0.7 AO z� { aEO)?^�


T3)KB !,AOWQ ( #123W%� !#2IKJCB !:%K%L !R)%$EO 'W>O �@0p] !aNc ,0yH ,0BW1UO !Go_ 'W>O !R)%$EO 'W>O

0] , T3)KB gI& !,AOWQ a>O , T|M@G0Q !#bKH)7Z-L !,AOWQ a>O 'Sp23O l0.mO !#3)%$EO AO ,-�2M7 ( #�D$5 ,0B

T3)KB8,W=%L ( ,WUWUoB ,0B

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv tu

*J9'%

0@ #\0@G ,0B /01234 #L0@ #23G4 ( g%>WQ G4 #@0]OWQ YD& ( 0B T;WC`7 T@-}] l07)p7 ( #\0@G �yK7 0L WÌ]O4 #@0KcZ

8RG4 G4 /)c T�OGO ,GW> ,0BGOnLO �C& TL ,-QW%�70& ,0B j2D%3

*KLM?:<%;%NO9P%&7%/4Q.%

RG4 G4 WÌ]O4 /)c YD& l07W$67 RG4 [@O"#\0@G �W$; #]0.7" 8)B4 #7 T63WQ 0B T;WC`7 T@-}] ( �yK7 :CDE G4 OG

TL 0B T;WC`7 T@-}] [%K|CB 84Wc �$D7 #L0@ #23G4 ( #C3G -%� j%B0�7 ,A03 ,GW> !#pyK7 'e)23O -L )@0L WÌ]O4

844-_ #7 #5-67 WÌ]O4 TL -QW%�70& �W$; ( l0%\0@G ,O-L ,O T@0� XOWK;


r04P%&7%/F&4YX%

'07-] ,0B �-5 !:%70CQ ( :�> T%=E !#30Kc0K67 !#6%.� F02K23O );OWE !,O /GOn_ �yK7 X0LA !,0BGOn_ �yK7 0L #@0KcZ

,0B j2@GW1UO (SAT g%>WQ !#6%.� F02K23O );OWE !leWC�7 �yK7 X0LA !leWC�7 �yK7 X0LA 0L #@0KcZ!

X0LA 0L #@0KcZ !X0LA ,-@o�Prolog

&66-KHLP% FG^?%/F&4YX

a3OG z&(4OG0� !0JJ;WC`7 T@-}] 'W>O !TyLOG ( dL0Q g@-6Q ¢,-%_ j27 ( !�O-2cO !i0C2*O ,0B-1$C; -L ,G(-7

% F&B%s:K4-% 7%&'% -KHLP% FG^?

&'% -KHLP% FG^?%;%r04P%/?&VP%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 %#\0@G �W$; #]0.7 AO z�%{ ( t aEO)?+w

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv tv

#p%p? 4O);O :H03 !0@W_ 4O);O :H03 !#6%.� 4O);O :H03

/'&4WP&?%2&'% -KHLP

#.%Q-2cWH !#.%Q-Q 4O);O !#$>O 4O);O

*UD:GP%

a) J. M. Henle, an Outline of Set Theory, Springer-Verlag, 1986 .

b) M. Huth, M. Ryan, Logic in Computer Sciences, modeling and reasoning about

systems, Cambridge University Press, 2004 .

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv �f

{P+P+%

ISTG.%

WYO%/7&QW?:%N;O<%%

t%&'<G7O&j%;%\&5u&FO%v%%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv �^

*J9'%

#7 '0.]4 OG /)C; V)B T3 RG4 [@O h)K&

^8�H 0L T@(OA �%$bQ !Y6N7 g%6=Q !/-@O4 d%L-Q X4WL [NC70] l0.mO X-E G4 X0]O)%\0@G TNK@O 0L" 8G0_-� ( r&

:�1c T`%2] [@O TL jB4AW] T5-? -%� XOGO)23(4 AO #H-L !)])%3G G(Z G(0L OG iW\W7 [@O AWKB l0%\0@G ,O

#B0_AO-B ( )]GO)]"l0.mO0B #@"�0`]O ,O-L j%3-Q [@O X4WL -@o�0B #7 T@OGO #3)KB , X0]O)%\0@G AO ( )KB4

#7 4WH l0.mO #3G-L G023OWH /-*0I7 TL T& )]Wc0B 98)70`]O #7 n%] #@

+8T%=E X0%L0B /407Z ( OWU0_ GWJI7 , TES; X4-& R(G4 G4 0J]Z ,0B4-LG0& ( OWU0_ T@-}] �%E4 T6U0y7 ,O-L XO)K7

T%=E [@O #$>O iW\W7" 8-1@40B 'W7-5 4W*( �); l0.mO 0B )K]07" #U0N@4OG ,a? ,O-L X4-&

TU4067 a? ,O-L 90B T$C* )Kq , AO -2_GnL T*G4 AO ,O{8

x8 VO)BO TL X)%3G ,O-L^ ( + jJ7 j%B0�7 AO 4WH T& 4Wc #7 /40�23O XO)%7 !Tp$? !/(-_ ,-.* G02H03 T3 AO !

/4-LG0& ( l0%\0@G G4 �%3S&0B VO)BO TL X)%3G T]0JL TL 8)K2DB XZ ,^ ( + OG jJ7 ,-.* G02H03 [@O T6U0y7 !

#7 T7O4O !j@4-& A0�Z -.* #]0.7 RG4 G4 T& 8j%B4

*KwwLM?:<%;%NO9P%&7%/4Q.%

T2cG X0@W`I]O4 ,O-L -.* RG4 [%7(4 [@O"0B4-LG0& ( l0%\0@G"TES; X0@W`I]O4 RG4 [@O AO )6L 8:3O iW\W7 TL )K7

4-LG0& ( -.*0B �W$; G4" XZ , #\0@G /(-_ T& OG ,-1@4 R(G4 )K]OWQ #7 9888 !,A05 !�-] l0.30�7 !,G01]n7G !-QW%�70&

#7 T�OGO 8)K@0C] oHO !)K&

GVD%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 %-.* #]0.7 AO z�%� aEO)?+w

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv �+

-B T]0JL TL !'WC67 �L0y7 l0.mO [2cW] ( �G4 !�0N?O ( j%B0�7 [2HW7Z -L /(S; )KK& ~SQ )@0L X0@WÌ]O4 !RG40B OG

#7 GWyq ( )KK& l0.mO )@0L T& #.$y7 !l0.mO V)B :cO440@" )]AW70%L 89:3O )%�7 !)KK& l0.mO OG XZ )K]OWQ

:&-c 0L X03G)7 ��L TL ( X0@WÌ]O4 X4O4 #7 -2JL !YU0y7 [2cOo_ 05-> )@0.] X0@WÌ]O4 8)K3-L RG4 VO)BO TL )K]OWQ

a? ,O-L ~SQ ( RS& G4 0J]Z '065 :&-c !)Kc0L -_0c0CQ [@-CQ X4-&0B !)K3-] a70& <OW* TL -_O #2? !XZ ,

[@-%c X0I@O-L OG 4-`7 YU0y7 [2HW7Z 84-& )BOWH -Q

*NO<%ISTG.

T;WC`7 ,(G /(-_ aC;0B T%=E AO #H-L l0.mO ,O-L XZ AO /40�23O ( 0B 8W$%3 ,

,-30B /(-_ ,0B /(-_ ( 0B 8 -@o�$? XOW2qW� ,

T$C*)Kq Tp$? ( T@n`Q T@-}] ,O0B (ED, UFD, PID)

XO)%7 #Q07)p7 d%3WQ0B �H 0L j%3-Q ! [NC70] !G0_-� ( r& 8T@(OA �%$bQ !Y6N7 g%6=Q !/-@O4 d%L-Q X4WL

T%=E X0%L0B 8'0b7 )Kq 0L /O-CB 9l0.mO X()L" OWU0_ ,

*<:KP%RFO

:;03 !X07A j%}KQ ,O-L0B #7 40JKI%� YU0y7 z@G)Q ,O-L -@A , 84Wc

a;Gq$%&'(x%*+,-&.%#]0.7£ RG4 AO 0JB(-_ T@-}] G4 #.U0y7 ,G(Z40@ ¤-.*"^-@A" 0JB(-_ ,-3 iOW]O 89:;03 !'07-]

" 0J]Z AO #@0JU0b7 ( 9888!#.%&-Q !'07-]xT%=E l0.mO 89:;03 0B PXO4G(� !-@O-c , " '0b7 0L /O-CB !G)$B ws^ 89:;03

/(-_0B " 0J]Z :CDE FG0H ( <-=$>0? !/(-_-@A !XOW2qW� ( -@o�$? ,x ( 0JJ;WC`7 ,(G /(-_ aC; 89:;03

#_k@(0B " XZ #Q07)p7 ,x 89:;03 p" W$%3 ,0JJ%=E AO #@0B4-LG0& !W$%3 ,0JJ%=E AO #H-L l0.mO !0JB(-_ Pt89:;03

"HD%94y% !"#%;% FRL>% FG^?2:$%&'()*+,-&.%T$C* )Kq Tp$? AO #.U0y7 ,G(Z40@ ,O0B " ¤-.* #]0.7£ RG4 AO ^ 89:;03

T$C*)Kq ,O0B a@W�Q , a@W�Q ( -@o� " -@o�0]+TK7O4 89:;03 0B /)@O 0L #@ #$>O ,0JUZ(PID) #3G-L !F[x]" x89:;03

TK7O40B 02N@ T@n`Q 0L ,(UFD) #3G-L !F[x]" xTK7O4 89:;03 0B #3)%$EO ,(ED) #3G-L !F[x]" ^89:;03

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv �x

s:95P%U5.K>$%&'z,-&.%h9" #yH -.* AO #.U0y7 ,G(Z40@^XO)%7 d%3WQ 89:;03 0B d%3WQ" 0B )%UWQ #B0K27 ( #B0K27 ,

" 9/)cxT$C* )Kq !,-.* d%3WQ 89:;03 " ,-.* W=; '0C%K%7 ,Ox" T2DL ,-.* XO)%7 89:;03 ^89:;03

EdHP&?$%OK6MP%2&'{,-&.%h9�H 0L j%3-Q :H03 ,0B XO)%7 ( 4O);O !G0_-� ( r& " -@o�x[NC70] l0.mO 89:;03 X4WL

" T@(OA �%$bQ !Y6N7 g%6=Q !/-@O4 d%L-Qx89:;03

$%:K`&q% 5fk{,-&.%h9T%=E X0%L ,O-L �Ae l07)p70B " OWU0_ ,xT%=E X0%L 89:;03 0B " '0b7 0L /O-CB 9l0.mO X()L" OWU0_ ,x

:;0389

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv �{

%

%*J9'

T6U0y7 RG4 [@O #$>O V)B 8:3O 0@W_ ( �%�> 4O);O /k@( TL 4O);O /k@( TL 4O);O ,0J%_k@( T6U0y7 4O);O #J@-}]

8:3O ,GOo_)& ( ,G01]n7G G4 #@0B4-LG0& ( 9#2]05W@4" TU0%3 ,0JJU4067 a? ( 0J%2IJKCB !,-@o�IML ,0J%_k@(

%*KwwLM?:<%;%NO9P%&7%/4Q.

TU�D7 ( #K� �@G0Q -�0H TL 4O);O T@-}]0B T5-? X0]O)%\0@G TES; 4GW7 XZ dK2C7 ( aJ3 , -%� XOGO)23(4 [%K|CB ( ,O

T5-? '03 G4 #U( 8:3O /4WL XZ ,O0B 4-LG0& -�0H TL OG 4O);O T@-}] -%HO ,0B 4GW7 n%] ,GOo_)& ( ,G01]n7G G4 XZ ,

#7 GO-E T6U0y7 )KB4.

TU�D70B #7 -}] TL /403 G0%DL RG4 [@O , ( )K& Y$� OG 0Cc AO ,40@A :E( ( )c0.] [%Kq :3O [NC7 0J]Z a? #U( )K3G

~(G )%K& #63 [@O-L0KL 8)K& 4GO( TCyU -1@4 R(G4 TL0B RG4 TL T*WQ 0L OG 4WH :E( ( )@AW70%L OG 0B )@GO4 T& ,-1@4 ,

RG4 G4 8)%K& j%}KQ0B /G(4 ( )6L ,0B T2HW7Z )%]OWQ #7 #$%CNQ lS%��Q ,0B 8)@-.L G0& TL OG 4WH ,

*NO<%ISTG.

#2IJKCB Tp$? T6U0y7 ( #5-67 !<0D? #303O T%=E !jC& ( jCL !j%DpQ j2@GW1UO !,-@o�IML /(-_ (

#L-\TU4067 ��L ( a? 80B dLOWQ !TU0%3 , ( ,G01]n7G G4 #@0B 4-LG0& !#L-7 aL0pQ XW]0E 8#L0D?

8,GOo_)&

<:9-:%/>&P9!P% FG^?%%

,-&.89#:;%<:9=>%3&5?%@'83&5?%A5B%C;9D%3:%+,-&.$%EFGH>%I#%

x s)?O( w^:;03 %#\0@G �W$; #]0.7 AO z�%� aEO)?+w

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

h r@O-@(++sftsuv �w

*<:KP%RFO

84WI%7 40JKI%� YU0y7 z@G)Q ,O-L -@A ,0J2;03 !X07A j%}KQ ,O-L

U FRL>%;%2GFg|MQ7U$%{*+,-&.%T%=E !'(O 4O);O !j%DpQ j2@GW1UO !,-@o�IML <0D? #303O" Ux9:;03 U�WDp7 [@-2_GnL 8 !�-2I7 T%$;

r@0C]" R)%$EO j2@GW1UO ( #yHwsU9:;03 UTU4067 a? 8TU0%3 ,0B" #yH ,ws^ 89:;03

U/WM64H'$%&'}%*+,-&.%U/)]07 /01234 !#Q07)p7 ,0J%_k@( ( g@-6Q/)]07 g�M7 ( 0B Tp$? #5-67" 0B T #L-\ /(-_ ( AO aNI27

-@o�](GO( ,0BW=; #L-\ /(-_ ( #" 9#2IJKCB X0LA TL x#2IJKCB 89:;03 #K%q /)]07 #J%=E !#yH ,0J%2IJKCB /01234 !#yH ,0B

"xT%=E 89:;03 /(-_ 0L 0J]Z �0.QGO X0%L" [D$@( !-$@(O !07-5 ,0B ( " �@02] AO #H-L 89x89:;03

U MFO$% 5`;:%2&'{*+,-&.%UT.QG g@-6Q T]0C%� TL #L-\ , ! ,n ( p G4" ( #_k@( ( 9" XZ ,0Bws^TI@G 89:;03 T%U(O ,0B

)UW7" #L-\ /(-_ ,0B #" 0J]Z 4W*( 9+T$C*)Kq #2IJKCB ,0JJU4067 ��L ( a? 89:;03 T]0C%� TL" ,On !f(x) 0)5/2"#$%(.

U !"#$%&!'#()*+,-./$0!U&'$( )*+,- .*/0- 1 2345( 67'89 :7'$+;<=>#7? &'$( : @*='*- &'$( :$AB 8>C13D 234#3 :E%8- F13 234#3 6!"#$%

B G1H )$( 234#3 :)$(D6!"#$%

U123$4 !567!89:7!;$<+,-./$0!UI4J$-$J 1 I4J$-B $KJL M$K=NOC1 1 )12 <PQ2 MRSTUV :8>C13 WX- 6!"#$% :Y$Z[3 \14' 4C$] B@1$N

B !F$^- $' I38/ARSTB 75'8- _'$,( \*J$` 6!"#$% D6!"#$%

U !=>?7!@&$A4BC!,-./$0!UB _+>+- M$A8+aDB &'8- Q$Kb 1 12 .*/0- 6!"#$% c<% 6!"#$% 7C$(B 7[Q*d$^=? M$AcB _e <V2$5- 6!"#$% c

B MQ3fN4a 1 MQ$gJh-Q Q2 234#3 <C8iJ 28'Q$a <' IQ$]3 6!"#$%D6!"#$%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno pm

!,D2<!

Y$,qr- $' _=+J38sC2 Yt2$5- 1 7V*/5- _=+J38sC2 Yt2$5- _; M38' !M24#B 7ZC8,( M$K]1Q $' \$C*0rJ32 7C$u]L

67vhP

!,)EF3(7!6!G:24!$#!"HI0!

1 4uq+=J 7>=>X( w3*P M3Q32 $KV4- EC3 8^a3 1 4J*r=- MH$+V4- _=+J38sC2 Yt2$5- x%*( 7yCh=? M$KA4C4e H3 MQ$=+'

6"%3 8Cfe$J w$uqP3 z*? M$KV4- _=>X( M38' M24# M$K]1Q 3fV 64J*r=- <Z%$X- I4={=e Q$=+' $C

,G:7!JKL=0!

<Z(8- _=+J38sC2 Yt2$5- M24# _; <Z(8- _=+J38sC2 Yt2$5- I$gq%2 M24# _; :<=V13 xC38] $' F13 M xC38] $' F13 M

<Z(8- _=+J38sC2 Yt2$5- M24# _; :<=V13 67ChP Y$,qr- $' _=+J38sC2 Yt2$5- M24# _; :MH8- xC38] $' )12 M

,7()4!M?:!

8A*=4!JN%3(=O?7!PQ7$R4!;72/!J&!,8NS6(!T=U!$#!V6(!"? $(*a|}J3Q | Q*>=( ~1QB–|h-32L M$K]1Q

!YQ*sr'

JN%3(=O?7!PQ7$R4!;72/!J&!!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% ! Yt2$5- 1 M24# h=V$JL 7J$Z-

7vhP Y$,qr- $' _=+J38sC2!p _`34;cR

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno pp

8A*=4!JN%3(=O?7!PQ7$R4!1$>^07!;72/!J&!,8NS6(!T=U!$#!V6(!"? 8>C13 ~1QB– !$(*a|}J3Q

8A*=4!JN%3(=O?7!PQ7$R4!;72/!J&!;n,8NS6(!_?(=U!$#!<Z(8- _=+J38sC2 Yt2$5- I$gq%2 <' _C4Z(B !F13 M

8A*=4!JN%3(=O?7!PQ7$R4!;72/!J&,;X=4!_?(=U!$#!567!"? 7'$(8e ~1QB–!7A$uq- _9$s( ~1Q

,"`M9!P$a^F4!$#!JN%3(=O?7!PQ7$R4!;72/!J&!M*V*VfA Yt2$5- :M*/K% Yt2$5- :M*�=' Yt2$5-B

6MQ$NH$% |7C38g/A |MQ34C$e !\*+>y=J WJ38a |7u/9 |�C8�B 7A$uq- _9$s( M$K]1Q

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno pn

!

,G:7!JKL=0!

\L M8=NQ$a <' 1 F38gqJ3 :�qr- _=Z` H3 x>q�- &'3*( 7($-4,- U=A$s- $' 7C$u]L$A <u=-H UK? M38' $A <q?8r=e M &'3*( 8(

6x>q�-

,7()4!M?:!

&'3*( |\L WC�*V*e*( Y$-4,- 1 x>q�- 234#3 I$gq%2 MQ1L2$C Yt2$5- 1 7>=>X( &'3*( |$KJL 7q]$gJ �3*� 1 7($-4,-

F38gqJ3 |H$+/A &'3*( Y$-4,- |\$/CQ 7]*a x>q�- M8=N–<=�` |\L M$A28'Q$a 1 7]*a F38gqJ3 F*-8? 1 <=�` M

8ZP 7%$%3–M8% $A E=y( |4ZV$a U/=+a$- <=�` |Q*>=( M8% |7J3*( M$A <=�` |<]1Q <=�` |$A8s� 1 <=�` |�qC18A M

I4J$- w$+; |\3Q*V M8% |\$/CQ H$' "]$gJ M$A F38gqJ3 <Z%$X- Q2 \L 28'Q$a 1 $A <C8iJ 1 7�� 12 Y�C4Z( |7,=,; M

"]$gJ M$A 6�C4/A M

!_b^I4!'#()*!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% !79$CQ h=V$JL 7J$Z-!p _`34;cR

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno po

!,D2<

<�$] EC8qV$5? 1 EC8($ZCH H3 7yC $' \$C*0rJ32 \28a $u]L M38' @Q2 EC3$A H3 <�$] EC3 6"%3 M8ZP <%4uA 7u5C 79$CQ M

kA1Oe Mha8- Q*X- Y$=9$CQ$A <�$] $' \L �=/# �$=(Q3 1 "%3 I2*' Uq+=' \8` Q2 79$CQ M$A 4uJ$- 79$CQ 8gC2 M

I4/# $' 7($-4,- @Q2 EC3 Q2 6"%3 I21h?3 \L M$ud <' M�*V*e*( 1 x>q�- h=V$JL :_=+J38sC2 <%4uA :234#3 M <C8iJ EC8(

7NOC1 1 M8C*�( <Z] 1 M8C*�( :E=?L M$A!<qCQ31B$J*N4ub 7u5C M8ZP <%4uA M$AQ$q�$%$A 7- $u]L $KJL M8ZP M 6UC*]

62*' 4A3*� 4=s- 7-*/# M�*V*e*( $' 7C$u]L :$AH$=ur=e 8' I1�#

!,G:7!JKL=0!

<q%Q 4ub M <q%Q |E=?L M$A !<qCQ31B$J*N M$K=NOC1 |M8C*�( <Z] M$A$J*N4ub M <q%Q |M8C*�( M$A$J*N4ub M

<%4uA Q2 7($Z%$X- M$K]1Q |$A$J*N4ub 759*- 6M8ZP M

7()4M?:,

!,!;=A9!"3$A4<>/P 4ub <,>; 7($-4,- M$K=NOC1M36Y8Z>=A <C$e <=�` :\L M$KVL4C3 1 I8=�q- 4ub M$A

,\NLc!;$<$3)d2He :!_-$a \$A8' \14'BY8Z>=A M$A8s� <=�` :7y+CQ3H M�*V*e*( 1 E=?L M$A$J*N4ub :E=?L M$�?

<>/P 4ub &'3*( :8Cfe$u>C*X( M$A$J*N4ub <' $J*N4ub <Ch0( :$KVL4C3 1 $A$J*N4ub E=' 7C*%12 8�$u( M$A$J*N 4ub M1Q M3

M$J*N4ub WC 75'$( \34=- :7($�q�- M$A <,>; 7q�C8yC $' E=?L M$A$J*N4ub 7q�C8yC �$Z(Q3 :7($�q�- M <,>; 1 E=?L

6E=?L

,;=?)K*!;$<$3)d!2He<,>; :M8C*�( M$A$J*N4ub 1 Eg/A M$KVL4C3 :M8C*�( M$�? WC Eg/A 7($�q�- M

<=�` :M8C*�( M$J*N4ub WC E=?L k]*e :M8C*�( M$J*N4ub :M8C*�( M$A$J*N4ub 2Q*- Q2 Y8Z>=A M$A8s� M

"*$42a4!;=A9!802H<!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% !8ZP 7J$Z- :7�� 8ZP 1 $K+C8($- 7J$Z- H3 �e p _`34;cR

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno nl

Eg/A :M8C*�( M$J*N4ub WC M1Q E=?L �18�- "]$gJ :E=?L M$J*N4ub WC M8C*�( Q$q+' 1 FL4C3 WC MH$%$A M

6M8C*�( M$A$J*N4ub E='

,;=?)K*!8AU!;$<$3)d2He<C$e :M8C*�( <Z] M$A$J*N4ub �C85( WC M1Q 7y+CQ3H M�*V*e*( M38' E=?L M

<=�` :M8C*�( <Z] M$J*N4ub WC M1Q Uiu- &'3*( :M8C*�( <Z] M$J*N4ub :E=?L M$J*N4ub WC M1Q Uiu- &'$( M

<=��` <,>; :!\$A8' \14'B M8C*�( M$J*N4ub WC M1Q Uiu- &'$( M WC Q2 M8C*�( <Z] M$J*N4ub WC 759*- M

<,>; 1 E=�?L M$J*N4ub 12 w8�>�$; :M8C*��( <Z] M$�J*N4ub WC 75'$( \34=- : <�,J "]$gJ :\L 7($�q�- M

6M8C*�( <Z] 1 M8C*�( M$J*N4ub 12 w8�>�$; 1 I8g%

"df?6,"Rg)4!;$<<=�` :$J*N4ub WC 45' $A WC Q2 E=?L M$J*N4ub WC M1Q 8' @$/- M$�? :!\$A8' \14'B 45' M

<�,J �C85( |<�,J <#*/0- \2*' 7KC4'$J <=�` |Q3*/A M 6Q3*/A �$,J M

h6:!,;=A9!802H<!:7!"*$A0$i4!;$<<C$e$A 6M8ZP <%4uA Q2 \L M$A28'Q$a 1 8u'8N M

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno nT

!

,D2<

<a "%3 )Ht EC38'$u'6"%3 I4] 7;38� <q?8r=e MH$% <-$J8' F*�3 $' 8(*=�-$a )*># \$C*0rJ32 7C$u]L @Q2 EC3 7>�3 �4A

MQ1$u? "?8r=e <' <P*( $' @Q2 23*- hCQ� 64C$/J 8==�( 1 I4] H1Q <' <�*'8- M$A

!,)jjEF3(7!6!G:24!$#!"HI0

B!k 4u]$' <q]32 <P*( )8qX- \$C*0rJ32 1 \32$q%3 <a "%3 )Ht "%3 H1Q M�*V*uy( <' <q+'31 @Q2 EC3 <a 7C$0JL H3

M�*V*uy( �%$u( <' $A \L 28'Q$a <a 7ZV$�- �CQ4( H3 1 2*] w$�qJ3 <J$-H H$=J �%$u- I4] �CQ4( \$'H 1 @Q2 M3*qX-

64uua MQ322*� 34P "%3 I4] �*+u- <J$-H

c 4JQ34=-8' 3Q @Q2 EC3 <a 7J$C*P kJ32 "%3 )Ht :"%3 MH$% <-$J8' 1 8(*=�-$a 7J$Z- :@Q2 EC3 H$=J k=e <a 7C$0JL H3 |

�XZ- H3 _Z` M <=V13 U=A$s- 4; Q2 3Q <u=-H EC3 Q2 )Ht M$A YQ$K- 1 4u]$' Q32Q*�8' 7+C*J <-$J8' M <u=-H Q2 <=V13 23*% H3

1 8(*=�-$a 7J$Z- @Q2 Q2 \$C*0rJ32 "%3 Ey/- <yuC3 <' <P*( $' EC38'$u' 64u]$' I28a �+a 38N 7] 7+C*J <-$J8'

Q2 7V$/P3 YQ*� <' <�*'8- �;$Z- F13 M <+>P 12 7yC Q2 <a "%3 )Ht :4u]$' <q?8N 2$C 3Q 31$P H3 8=d 7J$'H MH$% <-$J8'

62*] UA38? \$C*0rJ32 )$/( M38' 38N 7] 7+C*J <-$J8' �;$Z- <' 21Q1 4#$+- M <u=-H $( 4J*] 7%Q8' 31$P \$'H

D $Ku( <J F*�3 EC3 6"%3 <q?8r=e 7+C*J <-$J8' F*�3 M8=N2$C :"%3 ��r- \L U%3 H3 <a Q*�J$/A @Q2 EC3 7>�3 �4A |

:I�18e "C8C4- M <u=-H Q2 7C34q'3 M$A YQ$K- _-$] <y>' :"%3 <q?8r=e YQ*� <' !31$PB7+C*J <-$J8' \$'H WC _-$]

"%3 7+C*J <-$J8' M <u=-H Q2 @Q2 EC8�L @Q2 EC3 64]$' 7- h=J 7/=( Q$a <' �*'8- M$A YQ$K- E=u{/A 1 Q3h?3 )8J 7%4uK-

8^L=FN[!;X$0!84$3=#!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% ! MH$% <-$J8' 1 8(*=�-$a 7J$Z-!m 1 p! _`34;D�

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno nc

1 7/># M$A I�18e )$0J3 "KP Q2 3Q <u=-H EC3 Q2 )Ht M$A YQ$K- @Q2 EC3 \4J3QfN H3 �e \$C*0rJ32 <a "%3 <q+C$] 1

64u]$' I28a �+a MQ$0( $C

� M$A @�a 1 \$C*P kJ32 7>/# Q$a <' <a "%3 )Ht !"+=J M8iJ M8-3 $Ku( 1B "%3 7(Q$K- 8-3 WC 7+C*J <-$J8' \*b |

1 EC8/( $' $Ku( !Eq]*J $rJ3 4uJ$- <' "%Q2B 7+C*J <-$J8' <a 4J*] <=P*( 4C$' \$C*P kJ32 62*] M3 IOC1 <P*( EC8/( _;

1 Eq]*J I1hP 1 @Q2 @�a 8% Q2 $Ku( Eq+rJ 1 2*] 7- <q?8N 2$C 7>/# _C$+- $' \4] 18'1Q… ��/# 3Q �a �=A

64uy=/J �C*J <-$J8'

R 7J$'H H3 _,q+- I4] �CQ4( �V$�- _�?8% <qZV3 62*] �CQ4( \$C*P kJ32 <' 31$P \$'H @Q2 EC3 Q2 <a 2*] 7- <=�*( |

M$A28aQ$a Q2 I2$sq%3 7N28q+N :\2*' H$' Eq- 1 23HLB 2Q32 <a 7($=�*�� "># <' 31$P \$'H 62*] 7- �CQ4( <a "%3

Q2 �CQ4( M38' 7Z%$u- M <uChN !M8=N2$C 7Z+J 7q;3Q E=u{/A 1 xZ(8- MQ3h?3 )8J M$A <J$�'$qa Q2 .*u( 1 MQ$0( 1 7/>#

64ua w$�qJ3 �CQ4( M38' 3Q \$'H \L 4J3*q=- 2Q32 7�$� \$'H 8' <a 7�>+( <' <P*( $' @Q2 2$q%3 <qZV3 64]$Z=- @Q2 EC3

\$'H <C3Q3 F$^- M38' 8=iJ 7C$APascal$C Python <q]32 7+C*J <-$J8' M3 <C$e U=A$s- 8q5C8% 1 8qK' M8=N2$C Q2 7C3h+' k,J

7/J 8=NQ2 <q?8r=e U=A$s- $' 4#*- H3 k=e 3Q \$C*0rJ32 EA� 1 \$'H �CQ4( $C 1 4uaC $C C++ $' 34q'3 H3 3Q \$C*0rJ32

�=/# 4C2 \$JL <' 1 I28a $u]L 8(*=�-$a Q3h?3 "�% M1Q $A <-$J8' M38P3 7>/# M I*XJ 64A4=- $A <-$J8' M38P3 M I*XJ H3 M8(

7>a <' <P*( $' $-3 "%3 <qsKJ 7ZC$5- 1 $C3h- 7J$'H 8A �CQ4( Q2 M4u' &/P \3*u# <':7#*J @�a WC Q2 �J3*P I \$'H Java

7- 2$Kur=e @Q2 EC3 Q2 �CQ4( M38'2*] 6

m 7N2$-L <>=%*uC4' $( 4=ua �C*r( 2*� M$A �%$e Eq?$C "KP "J8quC3 H3 8qr=' <b8A I2$sq%3 <' 3Q \$C*P kJ32 4=ua 75% |

64uua 34=e 4uq+A M28? 8A H$=J 2Q*- 7+C*J <-$J8' <u=-H Q2 <a MH18' 1 7ud &'$u- H3 8qr=' <b8A I2$sq%3 "KP 3Q )Ht

,G:7!JKL=0

:MH$% �(8- _=Z` H3 7C34q'3 M$K/qCQ*gV3 :M28'Q$a YQ*� <' $A I232 \$/q�$% H3 I2$sq%3 H8� :38N 7] 7+C*J <-$J8' U=A$s-

B M8'Q$a x'3Q 7;38�GUI : !

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno nD

!,7()4!M?:

:7%8q%2 �*�% :"[3Q1 :@�a 1 7] �C85( :38N 7] 7+C*J <-$J8' encapsulation :overriding and

overloading methods M$A8=�q- 1 $A2*q- :static M$AQ$q�$% :IOB 7y=?38N x'3Q 7;38� :GUI $�� ~H328e :!

BException HandlingB $A I232 \$/q�$% $' Q$a :!Array, ArrayList, HashMap, HashSet, Vector :!666 �

1 MH$% �(8- 1 *0q+P M$K/qCQ*gV3 $' 7C$u]L :<�*'8- _C$+- 1 7+C*J F3H*e18e :7/=( Q$a 1 I�18e "C8C4- M$A YQ$K-

6MQ*�( $XV H3 $A \L _=>X( M I*XJ

,'9(=4

a) T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Introduction to

algorithms, The MIT Press, 2001 .

b) J. Deitel and H. M. Deitel, Java How to Program, Prentice Hall, 2007.

c) B. Eckel, Thinking in Java, MindView Inc., 2003.

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno n�

!

!

,!D2<!

6"%3 <C8iJ EC3 M$A28'Q$a 7�8' <v3Q3 7u{/A 1 \L 7>�3 U=A$s- 1 IH34J3 <C8iJ 8' M3 <-4,- <v3Q3 @Q2 EC3 �4A

,7()4!M?:!6!G:7!JKL=0!

7,=,; 234#3 M1Q }ZV IH34J3 :F$/q;3 IH34J3 <>/P H3 �%$u- M$KV$^- <v3Q3 :IH34J3 �C85( j IH34J3

M$C$�` :\$/CQ F38gqJ3 $' <�'3Q :}ZV F38gqJ3 1 M8Cfe F38gqJ3 :I2$% &'3*( :8Cfe IH34J3 &'3*( j M8Cfe F38gqJ3

$A28'Q$a 8' 4=a$( $' 7C38g/A

Y8Z>=A M$�?Lc M$�? �C85( j L

c B $A28'Q$a <v3Q3 1 :\L WC�*V*e*( �3*� 1 w89 _�$; M$�? 8' 4=a$( $'

!2$q%3 8iJ $'

\L 8C$iJ 1 7�8] F$/q;3 �^- ! 2$q%3 8iJ $' B $A28'Q$a <v3Q3 $' <=V13 UK- �3*� <v3Q3 1 �C85( j w8�>�$; IH34J3

$<7=#:$l!6!1X(23(!8?=m3!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% !79$CQ h=V$JL 7J$Z-!p _`34;cR

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno nR

!:7!"n&$A4$<7=#:$l!6!P$Ng$?:!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% I18N IH$P3p |

!,D2<!

"%3 I4] 7;38� 4C4P $C 7>=/y( M$A @Q2 <C3Q3 Q*iu- <' @Q2 EC36

!,7()4!M?:6!G:7!JKL=0

8(t$' $C 7%$u]Q$a ��% Q2 "%3 7%Q2 8=�q- _�?8% $' <u=-H Q2 Y$=9$CQ <v3Q3 Q$' E=V13 M38' H$=J 1 Y$J$y-3 �+;8' <a

Q I18N M3Q*] �C*�( <' 7q+C$' <v3Q3 H3 _Z` <�*'8- 7%Q2 23*- hCQ 6228N 7- 79$C 64%8'

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno nm

�|c|D!

JKL=0!

8^U:!;:$N^o(!G6:7!!

pq!$<7=#:$l!6!P$Ng$?:!r!!!

Ih=/- "�=A \14' M$A I$grJ32 �q�-¡

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno np

G:7!JKL=0,7:()4!M?:!6!

7KC8iJ $K/� Q2 RC 1 R

s j ¢ua :<J8? $uXJ3 1 w$( : kC$/J 759*- WC U� Q2 7gC$+/A WC 7K�,J :M2$# 7K=�`

M2$=u' $K/� 6

7KC8iJ 759*- $KKC1Q Q2 Rs j "]$gJ 7%1$N : M$K-8? M2$=u' F13 1 :)12 M$A$uXJ3 :7>�3 M$uXJ3 7%1$N 1 :E=gJ$=-

M$KKC1Q x� 7ra :I4] M$KKC1Q :F$/=u=- Yt2$5- 7%1$N 1 7+(34a :M2Q$uC$- 7K=�` :@1$N 7K%4uA 7(3� $KKC1Q

1 7K%4uA 7J$/CQ 12 :M45' �qr- M8=N :2Q*/A :WCH2*v� M$uXJ3 7yCH2*v� M$K/� M1Q WC :<C1Q ¢ua :*'Q32

YQ*� 759*- 7K=�` @1$N! <J*' 6

"Rg)4!JN%3(=O?7!802H<!!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% 79$CQ h=V$JL 7J$Z-!UTTU |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno nn

,7()4!M?:!6!G:7!JKL=0!

7a2$% M�*V*/A <C8iJ 1 7r]*e M$�? :M2$=u' I18N 4uJ$- M8ZP M�*V*e*( H3 7^;$Z- $' 7C$u]L(Simplicial) 4=a£( $'

1 hqrsV <=�` :<PQ2 :)t13 ¤*% 8' <=�` :8>C13 ��$] :8v138' "'$[ <�,J <=�` :\32Q� <=�` \*b @*/>- M$A28'Q$a 8'

I8N 7($-4,- <C8iJ6$A

"*$42a4!;=A9!;t)S)[)*!!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% 7-*/# M�*V*e*( 1 8ZP 7J$Z- UTTU |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno no

,D2< �4A 7>�3 EC3 @Q2 7Kv3Q3 U=A$s- 7K=V13 7KC8iJ $KV14- 1 I2$-L \28a \$C*0rJ32 M38' @1Q2 8qKq?8r=e M$KAQ12

Y�=�X( 7>=/y( "%3 6H3 $0JL <a \$C*0rJ32 Ey/- "%3 @Q2 M$KK=�` *>=% 1 7KC8iJ 3*V$N 3Q :4uJ3QfgJ M$KK=�`

*>=% Q2 _�?8% EC3 @Q2 h=J I4J$0uN I4] "%3 6

G:7!JKL=0,7:()4!M?:!6!

_/# I18N 8' <#*/0- 1 M$KK=�` �*'8- <' :\L p |:$KA18N M$KK=�` *>=% 1 M$A28'Q$a \L 6MQ1L2$C M$KV¥A4C3 F13 1

:F$/=+a$- 7KCh0( :7C34q'3 7K,>; :$A8+a :F14- M$K�8] M$A8=0JH Q2 :$KV14- M$KKq]Q :�=`2 7K,>; 8Cf��C*5(

:M8(*J 7ZV$�- 8gC2 Q2 7KC8iJ F14- $A <' w$�qJ3 2$q%3 @Q2 6

V624!6!8ab&!8?=m3!!!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% 8ZP 7J$Z- !UTTU |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno ol

,G:7!D2<!

8ZP 1 <yZr- 280- U=A$s- $' \$C*0rJ32 \28a $u]L)*># Q2 $KJL M$A28'Q$a 7�8' 1 F*'8(*=�-$a

,)EF3(7!6!G:24!$#!"HI0

)*># @1Q2 H3 MQ$=+' 280- M$u' 8CH F*' 8ZP 1 <yZr- )*># 1 Y$=9$CQ Q2 U=A$s- EC3 $' 7C$u]L 1Q EC3 H3 64uq+A 8(*=�-$a

<C8iJ <' $/=,q+- @Q2 EC3 8qr=' "/+` 6"%3 4=s- Q$=+' 8(*=�-$a7- F*' 8ZP 1 <yZr- M<J*/J 62H328e28'Q$a H3 M3 M$A

7J$Z- @Q2 Q2 <aB &-$P 8ZP 1 U=A$s- EC37- 7?85- @Q2 EC3 Q2 !4] 7?85- 8ZP7- "%3*�Q2 )8qX- @Q4- H3 62*]

<yZr- 1 M8ZP I$N4C2 H3 3Q _�?8% Q2 Q*af- M8(*=�-$a U=A$s- 2*]64uC$/J �CQ4( M3

,G:7!JKL=0!

8(*=�-$a )*># Q2 $KJL M$A28'Q$a H3 7�8' 1 F*' 8ZP 1 <yZr- <C8iJ M8ZP 1 7Z=(8( Y$-4,-

,!7()4!M?:!

!8uAF4Bv!,-./$0!<�'3Q 1 M8ZP �C85(8CH :<yZr- M3<yZr- 7q�C8yC 1 7q�C8/A :<yZr- <yZr- .3*J3 7�8' :$A

I4C3 :!_-$a :Qt14- :8Cf�5CH*(B8q>=? 1 FL

!V)#!=A9Bv!,-./$0!I4C3 1 8q>=? :F*' 8ZP 8CH :F*' M$A8ZP 7q�C8/A :F*' 8ZP I$N4C2 H3B \*q%3 kC$/J <=�` :F13 FL

!7yC�*V*e*( 1 M8ZP

!=*)Nw4$l!5)b/Bv!,-./$0!I2Q :!M8ZP I$N4C2 H3B $($-*(3 :Q34-<#*/0- \3*u# <'B $($-*(3 M$A .*J :!7vhP �(8- M$A

5)b/!6!V)#!=A9!=*)Nw4$l!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% 79$CQ )*># 7J$Z-!UTTU 1 TD |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno oT

I232 M8ZP M$A(Algebraic Data Type) !��r-MH$%(Specification)!��r- H3 _,q+- \$'H :75'$( MH$%

Eq-(Context-free-language)!

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno oc

,D2< <b8N M$KK=�` *>=% $' 7KC8iJ 3*V$N 7J3*�/A U=,q+- :2Q34J �4A H3 EC3 @Q2 7Kv3Q3 U=A$s- 7K=V13 7KC8iJ $KA18N 1

I2$-L \28a \$C*0rJ32 M38' @1Q2 8qKq?8r=e M$KAQ12 Y�=�X( 7>=/y( "%3 6

G:7!JKL=0,7:()4!M?:!6

_/# I18N 8' <#*/0- 1 M$KK=�` �*'8- <' :\L :$KA18N M$KK=�` *>=% 1 M$A28'Q$a \L 6\34=- 7A4u?$y] WC

M$K>/P4ub M1Q :\34=- Q$q�$% M$KJ34=- :7A$uq- &=%*( :F$-8J 7K=�` M2$=u' :3*V$N M8Cf�>; 1 M8Cfe$u>; M$KKV2$5-

M$K>/P4ub $' $KV$yC23Q 6

()S$d!8?=m3!6!)bN0!;$<!8Nxy!!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% 8ZP!UTTU |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno oD

D2<!!!,

@Q2 _�?8%j2Q3*- hCQ 1 MQ18- 8' M$K,�u- M$AQ3hN 1 7V*/X- :W=%�a �X' )1hV 7?85- M$K,�u- 8=d :W=%�a

7C$u]L $' 7�8' H3 EC8q/K- M$K,�u- 8=d W=%�a H3 _=Z` ��u- :M2*K] ��u- 7KP1 1 M$K,�u- 7]HQ34ub 1 :MH$?

M$KA$gq%2 7($Z[3 �>q�- M38' EC3 :$K,�u- M$K=%$u]$u5- M8ZP 1 7y�C8a 6

zN0{l!=N|!;$<!}~H4!!!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% $A <#*/0- <C8iJ 1 ��u- 7J$Z- !UTTU 1 TD |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno o�

!

,D2<!

UqCQ*gV3 _=>X( 1 �8� :MQ34C$e :<V£+- "V$; _=Z` H3 7($=�*�� 7C$%$u] 8' 4=a£( $' 7/># _v$+- _; M38' 8[¦- M$A

UqCQ*gV3 7C3Q$a 1 7C38g/A6$A

,;7$�HFN[!7:()4!M?:!

<Z%$X-<Ch0( M$A�C8($- Uv$` M$A~1Q :7�� Y$5'8- EC8q/a <V£+- _; 1 $AI$gq%2 _; M38' MQ38y( M$A :7�� M$A

~1Q 1 IOC1 8C2$,- <V£+-~1Q :\L _; M38' MQ38y( M$A M$ALR 1 QR _; : E=y( 8C2$,- <Ch0( 1 E=y( 8C2$,- <V£+- :

IQ$e _=+J38sC2 Yt2$5- M24# _; :MH8- 1 <=V13 xC38] $' M2$# _=+J38sC2 Yt2$5- M24#~1Q :M3 1 7>9$s( M$A

_=+J38sC2 Yt2$5- :7ZC8,(stiff~1Q Q2 7C38g/A �8J 1 7C38g/A :6MQ38y( M$A

;72/!MNS$3c!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% M24# h=V$JL 7J$Z- H3 �e!UTTU |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno oR

,D2<

<u=K' _v$+- M38' 7?$a 1 )Ht xC38] 7%Q8'UqCQ*gV3 7>=>X( <v3Q3 :7��8=d MH$%<u=K' W=%�a M$AF4- :MH$% :M4u'

UqCQ*gV3 _=>X( 1 7;38�<-$J8' _v$+- M38' $A6$C*e MhCQ

!,;7$�HFN[!7()4!M?:!

<-$J8' !�V3F4- :�CQ$5( 1 F*�3 j$C*e MhCQ8=d _v$+- M4u'~1Q :7qrNH$' Yt2$5- :7V$/q;3F4- _; M$A 8=�q- $' M$A

F4- _; ~1Q :<q%*=e$J "=5916M28'Q$a 2Q3*- §<q%*=e "=591 8=�q- $' $A

<-$J8'!w8=d MhCQ<u=K' W=%�a F*�3 j7��$J MH$% |\*=a |~18a xC38] :7?$a xC38] 1 )Ht xC38]B 4=,- 1 4=,-

<u=K' Q2 7�� M*0q+P :!8a$(UqCQ*gV3 7>=>X( 7%Q8' 1 MH$%<u=K' W=%�a M$A~1Q 4uJ$- MH$% 1 \$C238N M$A

<-$J8' _v$+- _; :E(*=J<-$J8' 1 )12 <PQ2 MhCQ68Cfe34P _v$+- MhCQ

"~o!=N|!;X$0!8HN�#!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% M24# h=V$JL 7J$Z-!o 1 UTTU 1 TD |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno om

,D2<!

�38N <C8iJ 8' 4=a£( \14' \Q4- Y$=Z=a8( <C8iJ <' M21Q1 @Q2 EC3 �4A$A �38N <C8iJB "%$A Q2 <J$N34P YQ*� <'

@Q2"$A28'Q$a 1 �38N <C8iJ"7- Q38` 7%Q8' 2Q*- Y1$sq- M$AQ$q�$% $' 7C$u]L 8' @Q2 EC3 4=a£( $q%3Q EC3 Q2 6!28=N

F$^- 8' <=y( $' $KJL E=' �$Z(Q3 1 7($=Z=a8($A $' 280- YQ*� <' <a 7V$; E=# Q2 *0rJ32 <a M*XJ <' :"%3 $A28'Q$a 1

7- $u]L <C8iJ I2$sq%3 h=J 75`31 _v$+- MH$% F4- Q2 kJ32 EC3 H3 4J3*q' E=u{/A 1 4ua Q$a \L �>q�- U=A$s- $' 4J3*q' 2*]

64C$/J

,)EF3(7!6!G:24!$#!"HI0!

@Q2 EC3 2Q*- Q2 Y$yJ EC8( �V$P H3 7�8' 4C$] 1 4C*] 7- $u]L 7($=Z=a8( M$AQ$q�$% H3 75=%1 I8q+N $' @Q2 EC3 Q2

jH3 4u]$' YQ$Z#

6$KJL }u($gu( �$Z(Q3 E=# Q2 $AQ$q�$% EC3 .*u( !�V3

_v$+- !w75`311_=V2 <' <a 7>/#�C85( $AQ$q�$% EC3 $KJLEC3 $KJL <>=%*' 1 I4]2Q*- _v$+-Q38` <5V$�- $�5' 1 <q?8N

I4] _;64J3

1 I4] 4=a£( h=J $A28'Q$a 8' :7>/# U=A$s- �=`2 <v3Q3 1 8iJ 2Q*- Y$=9$CQ Eq�*-L 8' 4=a£( E/9 <a 2*] 7- <=�*( :3fV

F$^- $' Q14,/V3 7q; <' 7gJ*gb 1 7($=Z=a8( �>q�- M$AQ$q�$% �$Z(Q3 8' 4=a£( 62*] <q�328e �CQ$5( <v3Q3 <' �%$u- M$A

7- Q$/] <' @Q2 EC3 7>�3 �34A3 H3 7($=Z=a8( M$A Y$Z[3 <v3Q3 Q2 YQ$K- �+a E=u{/A 1 M8gC2 H3 7yC \2Q1L "%2

64J1Q

$<7=#:$l!6!P$NANl=*!

./$0W2&(6!7(2R*!X$N3!Y<WX$N3!ZN[!V629!X(!-./$0 !\?=]*!J&!

D S4;31 RT"#$% Y$=Z=a8( 7J$Z- !UTTU 1 TD |

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

j kC38C1ccSlmSno op

,G:7!JKL=0!

<yuC3 1 Y$=Z=a8( )*Ks- 2Q*- Q2 �X'" !"#$%&'#(#)*+",#-.+%/%01'23%4567*8#9%:';%<1=%5>%!("?@%AB%*+"%C?'(D

&'#(#)*+"%:ED1%5F*G?%4H(Ramsy)%4I*J%4C?K*L>%:';%5MN2OD%5F*G?%4';%5.(3%/%';%P#+*+%4Q#+R%:';%S>*D%:';%5TU-;%4';

%V';U)%4C;'-6D%

!"#$%&'(%

%V&'#(#)*+%WNXYD%=1ND%1=%ZL>

%/=%[K%01'23%,#-.+%4!TK%'\%QFK%1=%C]^K%C31'23%_`'"D%:U->%56T=%/%C;'-6D%S>KN+%&'#(#)*+%a_D'3%01'23

%01'23%1=%';%AB%:';=*>1')%/%UbND%S>KN+%4AB%:';=*>1')%'>%567'F%c#2d+%!b'e%1=%fN23%WUM%/%fN23%_^K%4gF*J

%<1=%[K%*+%567*8#9@"C+'#(#)*+%C?'(D"V'#bN9%01'23%5F*G?%4H

%QFK%1=%C+R'26eK%0/1%5`K1K%4';%hK*i%A'>[%5>%5JN>*D%&R'e%[K%Cj*>%A'#>%/%AB%c#2d+%/%:ED1%5#kl%a:ED1%5F*G?

V';=*>1')%4=1ND%

c6"#T%EF'26D%CiU-F'2?%:';SDR%f';%m#]#7%5#kl%aQ#+R%:';%S>*D%/%P.Hall%n/*io5(3%WNXYD%4AB%&'(pK%/%

(Quasigroup)%*G?%'>@%=1ND%QFK%1=%qF'6?%Cj*>%/%Q#+R%:';%S>*D%01'23%5br"D%4UD'd6D%:';%S>*D%4Q#+R%S>*D%/%

%VH='6TK%

5b'(?=%s1N]F=%5#kl%4*#O?[%='9%/%*#O?[%4H:1/B='F@%5.(3%4C`E\%P#+*+%tF*d+%a%VVVVVV%/%';%5.(3%4';Dilworth%/%

%[*)[ouF=1K%5#klErdös-Szekeres%AB%5F'9%/%UF/*+'D%tF*d+%4AB%=*>1')%/%C`E\%P#+*+%,F%<N#>ND%S>'+%4

%VH:1K=*>%:'k7%v'j%!b'e%f'wD@%

%QFK*>/=ouF=1K%5#kl%/%';%5MN2OD%[K%SJ'x6D%n=KN?'j%aC?K*L>%:';%5MN2OD%5F*G?DeBreijn-Erdös%C])%UF=%/%

VH='6TK%*G?%'>@%=*>1')%'>%C]^K%qF'6?%Cj*>%AKN-M%/%5F*G?%QFK%[K%

I*J5TU-;%/%';%*8#7%5#kl%4*-F'63K%CF'+%5T%c6"#T%/%I*J%tF*d+%aC;'-6D%:';Fisher4%'>%C;'-6D%5TU-;%tF*d+%

%=1ND%1=%C]^K%:'F'kl%A'#>%/%U)%tF*d+%41'DK=B%:';%yF*+'D%/%A1'x6D%:';%I*J%_#]L+%4';%I*J%'>%z'(+1K%/%f'wD

VH='6TK%*G?%'>@%f'wD%5`K1K%'>%c;%'>%c#;'YD%QFK%z'(+1K

VVV%/%'{j%nU--)%|#L}+%:';U)%5F*G?%4:1'~?ED1%_#(l%[K%��8D%:';=*>1')

%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

)*"+$%

a) Ian Anderson, A first course in combinatorial mathematics, second ed., Oxford

Applied Mathematics and Computing Science Series, The Clarendon Press Oxford

University Press, New York, 1989 .

b) Ian Anderson, Combinatorics of finite sets, Dover Publications Inc., Mineola, NY,

Corrected reprint of the 1989 edition, 2002 .

c) Edward A. Bender and S. Gill Williamson, Foundations of applied combinatorics,

Addison-Wesley Publishing Company Advanced Book Program, Redwood City,

CA, 1991 .

d) Richard A. Brualdi, Introductory combinatorics, fifth ed., Pearson Prentice Hall,

Upper Saddle River, NJ, 2010 .

e) Peter J. Cameron, Combinatorics: topics, techniques, algorithms, Cambridge

University Press, Cambridge, 1994 .

f) Martin J. Erickson, Introduction to combinatorics, Wiley-Interscience Series in

Discrete Mathematics and Optimization, John Wiley & Sons Inc., New York, A

Wiley-Interscience Publication, 1996 .

g) R. L. Graham, M. Grötschel, and L. Lov'asz (eds.), Handbook of combinatorics.

Vol. 1, 2, Elsevier Science B.V., Amsterdam, 1995.

h) L'aszl'o Lov'asz, Combinatorial problems and exercises, second ed., AMS Chelsea

Publishing, Providence, RI, 2007.

i) Russell Merris, Combinatorics, second ed., Wiley-Interscience Series in Discrete

Mathematics and optimization, Wiley-Interscience [John Wiley & Sons], New

York, 2003 .

j) Fred S. Roberts and Barry Tesman, Applied combinatorics, second ed., CRC Press,

Boca Raton, FL, 2009 .

k) Anne Penfold Street and Deborah~J. Street, Combinatorics of experimental design,

Oxford Science Publications, The Clarendon Press Oxford University Press, New

York, 1987 .

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

%

% ,-.

hK*i%A1UD%5F*G?%*>%:=/1/%<1=%QFK%C]^K%hU;5j'3%'>%AB%z'(+1K%/%5F*G?%QFK%:';=*>1')%*>%U#)r+%'>%';';%%*~F=%:

5F'9%c#;'YD%'>%CF'-3B%Q2�%<1=%QFK%1=%V!TK%CTU-XD%WN]M%/%&'#�'F1%CFKU6>K%/%C]^K%:'F'kl%Q#-�2;%/%hK*i%5F*G?%:K

5j'3%'>%5F*G?%QFK%z'(+1K%/%nU3%56jK=*9%E#?%cXD%:';=*>1')%Cj*>%5>%45F*G?%QFK%1=';%%CTU-XD%WN]M%/%C�'F1%WN]M%*~F=%:

CD%1K*l%U#)r+%=1NDV=*#i%

#/01"!%2%3(-$%45%6789%

CD%'-3B%hK*i%5F*G?%C]^K%c#;'YD%'>%<1=%QFK%1=%n'~F'\%4n[/*DK%VU3%c#;KNj%/*>/1%E#?%AB%:';=*>1')%Cj*>%'>%/%cFN3

WN]M%1=%hK*i%5F*G?WN]M%5631%1=%�jR'>%/%C�'F1�2M%/%n=N>%�j'3%1'#">%*+N#�D') 5j'3%[K%:1'#">%1=%:['"bUD%A'>[%

WN]M%/%&'#�'F1%:';WN]M%1=%5F*G?%QFK%:';=*>1')%Q#-�2;%V!TK%1KN6TK%5F*G?%QFK%*>%56""i%&R'e%1=%*+N#�D')%CTU-XD

%/%C]^K%:'F'kl%'>%CF'-3B%/%5F*G?%C?'(D%5`K1K%4t]6�D%5X\/%/=%'>%<1=%QFK%K�b%V!TK%n=N>%5\N+%=1ND%AB%uFKU#9%/U>%[K%E#?

WN]M%1=%W'.eK%QFK%t]6�D%:';=*>1')%'>%CF'-3B%Q#-�2;%/%g#l=%fRU6TKWN]M%/%*+N#�D')CD%5`K1K%CTU-XD%W[R%K�b%V=N3

%c;%/%cF[K=*�>%fRU6TK%5>%g#l=%&1N^%5>%AB%'>%c#?KN6>%/%cFN3%'-3B%C�'F1%=*OD%=N\ND%,F%AKN-M%5>%hK*i%'>%c;%5)%!TK

%/%CTU-XD%WN]M%4&'#�'F1%1=%t]6�D%_`'"D%:['"bUD%1=%cFN3%CD%'-3B%'X?B%'>%<1=%QFK%1=%5)%CY]6�D%c#;'YD%[K%c#?KN6>

VcF*#i%n*X>%*+N#�D')%WN]M%

3(!%:;<+9%

tF*d+hK*i5>AKN-M*>%U#)r+%'>%hK*i%,F%uF'2?%'>%CF'-3B%/%=*OD%=N\ND%,FQFK%h�6jK5`K1K%4/=0/1%t]6�D%:';

%Ue%1=%='6TK%UFUe�^%'>@%AB%,F�NbN9N+%/%CTU-;%WNXYD%_>'xD%1=%%hK*i%=*OD%WNXYD%*>%U#)r+%'>%hK*i%,F%tF*d+

4.!+5(4=%2%,"+>%?'+@1%

AB49C-D"2%!"-EF%G4H1%I.CG4H1%JHK%L2-*%G"%MAB49N%O'+PF%:D%

�%�UeK/%��!M'T%%%&'#(#)*+%C?'(D%U��U%/%��%o%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

hK*i%5`K1K%4hK*i%5F*G?%C]^K%c#;'YD%tF*d+%4HA'FNO8?K=%�1=%QFK%1=%cXD%qF'6?%/%'X6j1=%4h/*dD%/%t]6�D%:';

hK*i%1=%:U-(2;%45{>K1hK*i%1=%g>'{+%4c2#-#D%0*>%/%c2#")'D%1'3%5br"D%4';hK*i%4';5DUxD%4C?N6]#D';%/%:*]F/K%:';

hK*i%AU?'8?%*>%:K5F/1%*>%';hK*i/%';�?1%4|{"D%:';hK*i%:E#DBV:['"bUD%4';

% !"#$%&'(%

hK*i%C7*dD%/%hK*i%=*OD%tF*d+%5`K1K!X\%:';0/1%*>%U#)r+%'>%n='T%/%A1'x6D%41K=%/%A'#>%t]6�D%:';

&/'�Y+AB%:';yF*+'D%/%�>K/1%'>%z'(+1K%5`K1K%4';5.(3%*G?%[K%�wD%='6TK%*G?%'>%PT'-D%f'wD%5`K1K%'>@%';%4HVVV%'F%';

uF'2?%5>%zN>*D%5#b/K%c#;'YD%5`K1K%Q#-�2;hK*i%,F�NbN9N+%/%CTU-;%*G?%'>@%'X?B%c"O+%/%AU#8)%C~?N~$%/%';

c;%4hK*i*F[%WNXYD%/%HU3'>%PT'-D%<1=%Cx>'D%:K*>%5)%:NL?%5>%W[R%Ue%1=%='6TK,F%4C6�F1=Nj%/%C6�F1

hK*i%C6�F15\1=%5b'(?=%45\1=%*#G?%C]^K%c#;'YD%5`K1K%4';hK*i%/%1/=%4!8i%41N+%4*#"D%4:K%*#G?%v'j%:';

hK*ihK*i%4_D')%:';/=%:';VAB%*F'G?%/%QT*6#9%hK*i%4_D')%C8�>%U-$%:';%hK*i%4C8�>%

hK*i%Q6j'ThK*i%[K%UFU\%:';%4AB%*F'G?%/%';%hK*i%:';%�*k]^'e%4f'F%h�e%'F%�'(x?K%*#G?%4nU3%n=K=%:';

n'+N)%5br"D%ZL>%4f'�2#-#D%nU?*�6"i%!j1=%Q67'F%ZL>%4nU?*6"i%!j1=%/%_~-\%/%!j1=%tF*d+%4*#"D%QF*+

0/1!j1=%uF'2#9%t]6�D%:';%';(BFS , DFS)%4hK*i%4:U-(2;%tF*d+%c#;'YD%4'X?B%!#2;K%/%U-(2;%:';

5.(34%'X?B%z'(+1K%/%CT�1%/%Cb'F%:U-(2;%5\1=%tF*d+%4C3*>%<�1%/%C3*>%f'F%/%c2#")'D%1'3%5br"D%4';1'3%/%';

%*~-D%5#kl%4c2#-#D%0*>MengerVAB%C26F1N~bK%ZL>%/%:U-(2;%'>%AB%5{>K1%/%%

hK*i%1=%g>'{+Vc#-#D%0*>%oc2#")'D%1'3%5#kl%'>%AB%z'(+1K%4c2#")'D%g>'{+%5br"D%/%';%

hK*ihK*i%5br"D%!#�2;K%45JN>*D%:'F'�kl%/%c#�;'YD%QFK%C26F1N~bK%ZL>%4C?N6]#D';%/%a:*]F/K%:';

n1/=%nU-3/*7%5br"D%'>%AB%z'(+1K%/%C?N6]#D';%:';%=*i(TSP)V%

5DUxDhK*i%uF'2?%!#2;K%*>%:K5F/1%*>%'X?B%AU?'8?%/%';hK*i%4';%WNX�YD%4C.TN+K1N)%5#kl%A'#>%4|{"D%:';

%5#��kl%A'#>%4n*�)%/%5L�Y^%*>%';%hK*i%uF'2?%C26F1N~bK%ZL>%4AB%!#�2;K%/%C?'�i/=Graph-Minor%/%

VAB%!#2;K%

�?1:E#DBhK*ic;%5br"D%'>%AB%z'(+1K%/%';hK*i%1=%C6�F1�?1%4';%A'#>%45JN>*D%c#;'YD%/%Cb'F%/%CT�1%:E#DB

:E#DB%�?1%4';%AB%C26F1N~bK%&'(pK%/%y)/*>%5#kl%/%�-FEF/%5#kl%:E#DB%�?1%*~F=%�KN?K%/%C])%/%C6"#b%:';

hK*i';5DUxD%4H='6TK%*G?%'>@%W'+%:';%hK*i%WNXYD%*>%:KPerfect5JN>*D%<Ue%/%(SPGC)V%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

a_#(l%[K%PT'-D%:';%f'wD%�'�6?K%/%:['T%fUD%1=%hK*i%5F*G?%!#2;K%/%:=*>1')%ZL>

:;<"=>&?@,%&A"!4&B*9";2;-&?"C<1D7!&B*919EF.&?"CG#"/$>&H;IJK&BVLSI&BL;2IK&:M.E&B"CNEFE&A"!4"+&B

DO-&?4"+&P@!&B*N",Q!&?"N&A1K"!1KF&B?.FRS@/&

)*"+$%

a) L. R. Foulds, Graph theory applications, Universitext, Springer-Verlag, New York,

1992 .

b) Alan Gibbons, Algorithmic graph theory, Cambridge University Press, Cambridge,

1985 .

c) R. L. Graham, M. Grötschel, and L. Lov'asz (eds.), Handbook of combinatorics,

Vol. 1, 2, Elsevier Science B.V., Amsterdam, 1995.

d) Jonathan L. Gross and Jay Yellen, Graph theory and its applications, 2nd

Ed.,

Discrete Mathematics and its Applications (Boca Raton), Chapman & Hall/CRC,

Boca Raton, FL, 2006 .

e) L'aszl'o Lov'asz, Combinatorial problems and exercises, 2nd

Ed., AMS Chelsea

Publishing, Providence, RI, 2007.

f) Douglas B. West, Introduction to graph theory, Prentice Hall Inc., Upper Saddle

River, NJ, ed. 2, 2001.

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

g)

%

32(!%:;<+9%

%5(T'LD%4:=UM%1KE7K%W*?%A=*)%nEF*6DK1'9%41/'-3%5{x?%c6"#T%1=%&'(T'LD%4C�'F1%1KE7K%W*?%AND[B%/%5#X+%4I*J%C~?N~$

%*#�%5b='dD%4AB%1KE7K%W*?%AND[B%/%C{j%&R='dD%n'~6T=4CTN-#T%S>'+%AND[B%4�1E>%/%,$N)%:'FK/[%'>%CTN-#T%S>'+

%W*?%[K%C.F%'>%CF'-3B%4'{j%_>'xD%1=%5-FE;%:';%hK*i%4,#+'DN+K%:*#i%fK*~6?K%4AB%1KE7K%W*?%AND[B%/%A=*)%5-#2)%4C{j

%U-?'D%C�'F1%qFK1%:';1KE7KMathematica.

: !"#$

a) W. Miller, The engineering of numerical software, Prentice-Hall, 1984 .

b(Shoichiro Nakamura, Applied numerical methods in C, Prentice Hall/Simon &

Schuster (Asia), 1995 .

6Q4'(%R4.("&<"%S+1%%


�%�UeK/%��!M'T%%%:=UM%E#b'?B%C?'(D%��%/%U��U%o%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

%

,-.%%%

<1=%_}7*Ta=1KND%EF1%/%:['T'-3B%'>%�F1'+%&'#�'F1%cFUl%/%4UFU\%:'XXTU-;%CTU#]lK%/%*#�%4CTU#]lK%:'X;'~6T=%

4:=UM%4�'"e%4*(\%4'XXMN2OD%4f'26eK%g{-D%4C�'F1%:�NbN9N+%/%4n*#�%cXT%�1E>%4<U#]lK%4<U#231K%4&1')=%

41N6?')%4&*(]#;%4_TK1%f=Ni%/%:'2]M%CD�TK%V

%

*)�+%%aEF1%=KND%�N7%:='X-8#9%!TK%/%'X;'~8?K=%'>%PFN}+%n/*i%C�'F1%'>%5\N+%5>%C>'6)%5)%�'�6?K%U--.#D%U-?KN6#D%K*?B%

*##�+%U-;=%%%V

T4HQ4'(%U'(4F%%%


�%�UeK/%��!M'T%%%n/*i%n['\K%U��U%o%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

%

,-.%%%

<1=%_}7*Ta=1KND%EF1%/%:1/*D%C�F1'+%*>%:'X;'iUF=%CXY"]7%%C�'F1%_(l%[K%uFKU#9%&'#�'F1 4UFU\%'+%*#p%5TU-;

:';%*#�%CTU#]lK%/%CXF*G?%%'XXMN2OD%*>%QFK%4'X;'iUF= g{-D%CFK*i%5i*7%/%_TK1%%4UX6FK/%4CFK*~+1N^%CXD'?*>%%&*(]#;%

/%*#p'+%AB%*>%&'#�'F1%4UFU\%CFK*i=NX3%%/%4CFK*~6j'T%CT1*>%'X(6.D%/%:';*G?%%*+UFU\%1=%CXY"]7%%C�'F1%V

%

&*)�%%aEF1%=KND%�N7%:='X-8#9%!TK%/%'X;'~8?K=%'>%PFN}+%n/*i%C�'F1%'>%5\N+%5>%C>'6)%5)%�'�6?K%U--.#D%U-?KN6#D%K*?B%

*##�+%U-;=V&&&

MT4HQ4'(%N%IVB%?WXV<%%%


�%�UeK/%��!M'T%%%n/*i%n['\K%U��U%o%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

&

%

3(!%:;<+9 !("#$%&'(%2%%�KN?K%:'X3/1%yF1U+%C�'F1@%0/1%C?'>[%-%%0/1%CJK*xT%-%%0/1%:'XY3'.D-%0/1%C26F1N~bK%VHQFK%'X3/1%'>%:'Xb'wD%

�N-6D%C�'F1%|F*8+%U?N3@%5>%vN}j%:'X3/1%:'XY3'.D%/C26F1N~bK%VHQF*2+%C]2M%:/1%:'X3/1%*)�b'lN7%5>%&1N^%

CX`K1K%%1'-#2T%'F%yF1U+%1=%:'XT�)%'X?'6T*#>=%V

6Q4'(%YG#$Z%


�%�UeK/%��!M'T%%%n/*i%n['\K%U��U%o%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

%

%

%

,-.%%%

hU;%QFK%<1=%0[NDB%AU?KNj%/%Q63N?%AN6D%C�'F1%1=%:'XXj'3%t]6�D%!TK%%V

%

3(!%:;<+9 !("#$%&'(%2%%

EF1%=KND%CT1=%�TN+%n/*i%C�'F1%n'~8?K=%Q##d+%=N8#D%%%V

6;;8F%[45G%%


�%�UeK/%��!M'T%%%n/*i%n['\K%U��U%o%

!"#$%&&'()!&*+",-."/& 0123!&*-41!5&6170&*8"9.

a%uFK*F/��

%

%

%

!("#$%&'(%2%3(!%:;<+9%%

V=N3%CD%Q##d+%n�/*9%='6TK%�TN+%NO8?K=%*;%:K*>%n�/*9%:KN6LD%

4.!+5(4=%2%T4HQ4'(%6947\(4=%]^2+K%%


�%�UeK/%��!M'T%%%n/*i%n['\K%U��U%o%

012 - math.birjand.ac.irmath.birjand.ac.ir/images/pdf/syllabus/mbas_math.pdf ·...

Documents

Transcript of 012 - math.birjand.ac.irmath.birjand.ac.ir/images/pdf/syllabus/mbas_math.pdf ·...