From 88fb807fb9a8bf80f39e438ed5735288f4ab2e36 Mon Sep 17 00:00:00 2001 From: Emil Miler Date: Sat, 2 May 2020 20:03:29 +0200 Subject: [PATCH] =?UTF-8?q?=C3=9Aprava=20form=C3=A1tu=20str=C3=A1nky=20s?= =?UTF-8?q?=20abstraktem?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- prace.pdf | Bin 547188 -> 546893 bytes prace.tex | 8 -------- titulka.tex | 36 ++++++++++-------------------------- 3 files changed, 10 insertions(+), 34 deletions(-) diff --git a/prace.pdf b/prace.pdf index 4ffc1b7f6072a6843f92d38db55b8cce946a38b7..5d3dabd108fcaa0a07a989fabdfe967c84942ed3 100644 GIT binary patch delta 5828 zcmai$WmFqnkcNSf0Kwhei+h0JUaYwLhkI~M@B*b2r$|c+6p99iVgZU3DPEws6^c`= z=<@CE***Jff4uK~=A8L;XXf5HuV)@ZG9zJh*usKRg2GZFkc?0|iT@4S=p_FqXt<%X zMrTt|5myp|s4DVFia`|lghU|1e5w)>ihN>LZ!--1R$Vz~k&ZAXqQO5R&*R7fSBWdmtzDjsdIkEOEDN1bULjXL0+lDJ zlot5yN?(!>egcG`$`CZ zDqck=8^3*O^aHNL`z(ii{p4V(70`Q$xM7#_xB1YNIbRR=+<2 zwVL=Wt=1%ku^!G=<;zw0JXvPA)Fs%%=mvQJK{Yp+_X2MYz>Z%3`1!*e?L5I5c%0Y` zQ02X61VVyf0WC)_XMYzaVR50HbxjOz_^gGVH(d*HWVcPvU&Vwxjvztg&zOE%5-xvwYo?{v z0atMfdJZ+8BzGWv;f8=}AiK!o78mCJOV;PHI)P-G1^wl(^&8(OvAXtFu;TCfzo&G_1Iwy@kjY@I#2^`6%U}jXr|0M& ze@qcg;zDo~bx^$q2!kIisbK{!X~<2|WV;LwNc6O}2cr(Tw$jP)vUk(%L3;D0A9Lf_ zIHRgqbrv_%3w==jKFq=46r~Wj7KUH1ma?agqe%hnVVn%#C=?2mRuoR{y;v$3*q(SpZx`UlFT#>Dyf zbdp^uz>^gr6q-J9L;l(|^O(r08qw11gQR(BT=NdnFMMsC^&cHFo(aN<;`Dq_Z}gc< zlPVQ{^KN`hA0r?%9w-){&11??@)7I%WIskgg|v^ACQt64@UDKrIk%w2Z+qxND`Vm6 z=4AT&m0dU4%fn$08LdnqEU?ozJicPAYGFh5D8SabY^bSqd|I&yexpp?;xul6#J$7BoCLqf0l=xy38Q15>9=mZf(A5YF?0dFbfBKVu1cL;QH%U-<)ImcX#1kNRv+MQ8c?YGhPYGc^U0FkKm40(@vZB{QQeY z?kx{>!6D+0p%;@f_^r%F9SbZ4Q34m#E8;dvm}o@e2N!=v~A5)_t;e`@`+R8K=ui>H7Zc&9?n= zqx|>y;{?Wd?{_qrC!^ssHybZ|so`^nAkMy`lc#K5D-kYDYZj49E43o%xxlP%ZrMhU0B0~SX z*`1B%Yoh_5Zw34F(rdzl$_7#nl&up?n^qG*Qjfn$DRFfOG=ac$ZqVm%QBM_waZ zRe-kuGhN|S-Y{f|#;Y8jS0-bnx3BKd--3t^o0k(ad#OD~l+x9%gR11qzZmd9vkry( z0@L0x&jdGhV0lUWVc<;=U;c;VXT3-5kQXsQC%d&zd(%=~*=qMS-gr;eG&(cqh56Tw z=G1K8zQ2lg4n*1|EL(T7)Dquj;XnT2Zr_kiQTR&Aob)?olDYcNP9Ra)8?jXMOb!e( zTf%H7r&Uunv*!kbXz3bsgpSHy6D+D0yzM5Ck3-Tjx_M3wq)S4%(c2AUI3#zcN4al5 zok{zI&+E^?s_-H)K{1`(grmwr2D7X=J(o_k!?|pC^+!=KPigA>=g=hWWjKRHiv#fT z8Qf_j>w@C+8%%d2OG@E+;dO~lxIU-sRAT12@00nnuotRpaO(eyAyeBLIXUeeOWWK0 z0zn~?+RBY&Ux+-}^Rkut<|2mbr*Vgr=X6eHY^#W0V;`upe)L=@Wcp@EES_^veb)EV z0rOYxhnn6nhb}Et3qPE=N86-wAMNFAADQiH+#+-7p!VB_KA2lsK(&k zv$|B^u;^%x-2f222gJ(tU5Iha3uUiY^De;}|1Mka*sHT@@blfLOEN$@&aF9j(c8B9 zAkdq4t+da(Gz8CLB5SB$YbRtLsW4}H8N9s7=ZX~iHXR5PrnyR{G z>bwh)ga^53F-;mzeCajhy~~uNnoe;k!7+=8ki5EFXn)bb#~M)4%|O)+Z!-5h>FvJ< zY-;zZ!kt|8LX&}2!#}T9tW5I)SE?fyJghq*NR60MvK|bwOqFyO#?(EiCEgbJydOvUPKFn}JEIslyvO8k-I?O?5#7 zKp^DdumDmE$yM@&J)ygT_9 z{FnDQ;VaA!-+#~NsDGr^ExBcG+i&tG-#L(G`Y1Q2pbz7&cjhLrCh)pnC~Ir{-1rtM zCFOQZ#UMrjDZqOSzl*t#ICW}}?7rR?Y%D#iyx3nKaX*^*{mWr_@1o9vk=yO(vlQA9 zQ?(smhv8=uAv5zO)R$6TT*9DPUmsExO!&DkY=OXW7t;Ew13fZy=EZ@!w4tPv$HDev zp@RTxwr3qn_|TgGzUL`mt?PaQqk%9L?k<%W$+=qgLD=FAEKiheLmSGzr83QJwiMu4B7V4J;e)8Q1HL0)~X0B3Ic zLXDA!787yQC{@PZ7p;6a9`iij^^eo3Q{)XPZ{+Fv26*|8(lnKZ&p~LM?uRddOsC(Y z1YnpoJGDHX?jK&g(!$it+w@MLBplvK|q}AB)>H<4LFn7igsjCtS*r z&ep$_Y1@gCOKc=0P&Yf^(!JI9GPdNgIdhv~ zl$9p=ety5c+X!SQUxYW9GtN8brgBlJ3VirXPr!eb;KZD(He>XNrO7eulY!1j8dDsS zP#l8(B#b8ko`m@%;FCZt#UWTs-$BBHg2Ez@oMClr+W+R3-|E<^Ks^y5@BwgQG&jqwlrSHJpV1sO`ti0QF1xo}Vfjf>&NPl{4-3pY>)Z zQDrk_0*%N{5sG!ZDm+G9Tx2|rES}5X^YarfA|4-ptlWmJ2F#C8O`oTUeVY7dAoG=2 zMhcLoA_++r21n`njOGCzr`YH6Vrt8?%=~sm+_I`9p&yO2gg*T(#^5U=Z=_sid{FN; zrd&T_If&G@(a81WxZi|oO{%4Uo%Ak~gu)SIogbOM zMAqgI8z#@$rVUfWX-8SZEVe?iucGd^o^8D*VnD-6www?NB4xlx7(QeV%6%b6$NWQA zC#QV6cuOZ;TD=@gO6Q0~GN3kRk5xj~OYQ@BQr9c0fI(XYs&XXN))`B(hSx^Bb#Ct5 zBMG~L4+oGCApUI44S!~%L@~AD!`g8YP=ak(TZZGrf_ZPNYV$0y)~Q<6kHjT4d~q!K zVGoct@m`)Hq&)XAGbc4CimlBWRvl|#n^$n21$06g!2nx%ILxg-> zSz>B#8SkxIyUXw7ko!XnK&|`vQj61dtN9hxxCDAoGSqx&BLT~HId8JXe;HJc(01pS z(f3MDZnLP5C9I}?WS1-1P}O}ft|lqRm@NX$L`xMZjE1q{TdhD{QTmn2#H6#@nQ)m8 zYKrBt(KxQ8d7Ptfe5`u)Kj$V;xCi(ZWFQTD%Wwdk1%=3PdtNq>hW$C4s;+$p`+$~x zEQjiIdo9iZHG2y6S4m$x(x`B8{*>vsdo}K7Ye8{}%S7guJoJxv9Y6Zxw3I0z2B!s4 z3$A2qzx;{UHbim8DLXqpSo2ShJcGBYKos18>&Jk9{7n#{??A!Ac5D9Rwm(I&PE^eS zSEvXi0g>b~$Y9O`8d(fPWKENxP;$4IYW@C=-%J+5_jmEqL#1vuB2;7L%X~Y zm*u)0hsVifhIA3sS&JS*x^SQuDYi;GU29ZCGZSUsA9CY*{{qk)MPGytKfwGM@)MedQ!gX7|AzXR_I=*GG0w6#i+tljX=AXb9O%?f@eHFz}6jCtU5{^a( zphQvG&hgk_0&H`{Z0-^nUVd&{!qq`@T07G~by&#a=X#DjH5r4Y5iN#R{ccqem2;i*C}xn+r%@1DRrstkIaF|4^W=iUPV@U+0B(;dn(E`Oq$* z2lYH%gLv-tMQYew_@5tcGHWSElcDOG89({lAMRzl>+!< zzO=>@RO})YF?ops(L0EdDkx&~G=MDjOS*a7SPB%uQ!iVaOXA#3vSzfgGcOU5qzkjk^@QhGrNACT zFl&MRl(YBF0Gb!LmD{$VD1e+1vxE3VVd6{DV=pF`(`TDIrTe{Z^Fkw@I}%gTWqO2{ z9oRMtVT56f12<(~OBZw%$L+g%ZcVD@dms=}9*kFKgsMu`ZAQb)u?p-fJ zvju!)tc7iVUU!6|mE9ZUa0;l64Z!|lgpk~Q<)QMy0_av1v7wT+M`9;454wzza+igc zCDWn;k$?ltlp-9_7>WrnYyz}6dB$H&fW$oj!JpolU5v0ES+<5of@q~R!CjEj8loxS z{S1H}U1p670(u=|J%Oczi1Z;Tz$ojX_Ms>M0M?+bXogM1MOInOdJbzetppT3$fhxy z>4tKDkLsHmgs&hvM-N#pNM!9qIx-~{WE!Mr9l@fkn9^38O7bFM?ZMb>IH^VCKLSDC5Ml8f|9hE~Ekbo%o> z)qLBL#RQuvCF835>m+m2nf)&8-y-hsL&oQ;4*48B!|y7BryLaFXtp$|!CkY9K_Gt| zhOKoe?%I{L1Y1A^(eH!ePxT9T_*E^w z|2L)PCqPPpavt|G>V6Fkf^BMb)>lMJhfcr720?$laB%KCyXOlU#y2lR%b&Rug#bVb z-DC060YdGs?x3x31S^;F%sycZG0K?F87q%)!Q+nmK1GGwc{8uUYV2aHB()|)5P1IY zsUiqC?-av5zxc|jE9=$p_qcr8U7m1U!eE>M;vAIQpgY=R^#)og&hse$XbT)U#<={L zhVM5XFKLpD!@i1k0ENwE76{~9I@uC#H2S+JB@xoq!jCIFF7L`N0KeO5@?}mTUx^7A zA>nH$QGHl7bSm>FkH(jJ=Ccy~lrn9}&F4k&spp$TdG`$CyA$Z|oaU#JEP8 zph?&4L;dpCn^ESsO6CdKI`7-eKYlJL{_551WV8DtN6Q48mP{78kn?^zEwe}|C)q%kDQ_V%3Rl99tZcwhtC+^Eo9ffiZPC>D1xs#F^)S;*WgM(*}LMpfQ1I2 z+ZXUmx4G@0anz1})Dq?HJTJ1W7}dqx2dQWdh+%JXL+DKWMm-JwE}7n-wE2-}AAU5m zAf76UiwX{qx|&q@?pVaCRw(qF$cJQi*PCV(QE5vticVj@XXr`H8|5y~sUoFn@t@Nk zZDC8k`*ok76?YCLQ?w~wSi2{$&FLZqo1rcyAWu%yH{yOKdJ7HsZ2BhZ>DQ*KH{vpl zi+-|F1`hzft@J#4Aja#4X9YG!5asGdwAW-hJfluo;uaE}FP31Z?K_WVr>7V>nr7Gx RxFV8*;$U`m6_miFjN67ryv8$dCU&^&(OgR{lB5Tk(E`cHNy}(8J>hibBaoGm%~6AjqI5Hh zK+GR^EfF%No6hGWel-t8N8i4xiFY`5>rWX)UOXa8;yj= zNgVId^oIpSzwLoiw(Hi7d7Uq(4CYcd9ud<-i?*@vZ%Q8wj=5ISJ3rhsld`z%1p(T| zi?yX-ARd>o__vfscGLj~8enfmbZ>F#y*0M;dhg6%@s^J(!uKLZI!iZeARClCw$mMX z_xNu+F4B+o!HUTBC&~^PC?@9xBB%z@#nJOqV0ybg4F~^ zbD>d-sFqG}kuRg{?5EA!A1d#<1V~115}SkiR5wKZla;Y0CN(lC&a++3XGcimG2UC) zd(n#SgbGl*vHMAfv4Jqtx91Pa^h;ND{Do0GOq%?gnvl6)iR)R{Jf4m=Y3-*co*jcp zSUR#$7q08lKxpN!F`QZBH9?EFuT2g>h_30L#-0cjNS<8sp_{))h$pv{960Cf(S6j6 z&1wL98%=aqS8S#(S3CO{5Jj(!Csdt{Cw>nuF+K}QZ+g<2FdrU!Y^!*8a6_5dC??vu zwB>(vuErgnsdy78U;H8u4--R*ES_1{QYS$n zpD;q-!w*w=D%{y@Iq0xT>+MPs`vtWtx=;H`pCuc{;NlgB_$iLd3D8s-(k+-Yu}?@g8UFJUdhx_D-MU$ms-r*yLznIl8O6TMrsTjHqF~eZRa-*{oMX~sMIvy6lVl&&t-W$hOC)?1Zt(HGqbCC zv%(7(eRyA8v*W%@?Xa&fDC?b^phtd=fhbeHelvJxyAa9vvQ`}seyR#i=%=;w(j#iE zFo^OzGyLBA`ut1kQ-d0uvJ^^f8=yh{>~l>$v99#Hf?C(6xGy5T!p?Q|dhS4~dO`e8 zh3t&87P19VL^k#z8U*!6Z zw)=EJjP~Qh*``Qij>kw6bKwL(l;e`q(*lZk!jh8Wk;Idg&17A|i*d?7m%ClI;>zl< z`V9l@a9e|e%8RI<85yCy;k9$MwN1lUS3TQDd@5fdMSU}qp=79tuB&xl=~c1fR<@?~ zke22496CsGA=pJEj1Bc8v8=&j*CQ<>63DY!*10~hao2Cx<&FGxu-)^z%XZ{+cH14h z{0{5znX`srF}I=TTeOK|tCr)6W3QzgwZ%tY?aTcRNQ_8=baZF~IQ9{z)ou z3Cm}f?H!zPuJs;E{ojHDD%%#9rk9qNCYL(>I)*nTGT%Qq{()-$U;9^#T7M`{JnU6r z8~dib)O^roFNTU~ECH_8*OyAx7czbyI^8^-I$d#zqb)7?Humzg^)uN`=e6rt_DeqO z=%JG_^Y8Myxfg8Fa3yOfe9&^YVJ9EHqjGiGQnxaZg*Z1K{ewvw>LnqPY@|!A+T`tK z{DESL7Bx9-tt=o~L=UG=Fx7RDxn&4RTId^@#Z1sfQLr16Y^X_lZz#dvSnCnWSP9*LW<_M2c{h~p1Lx75STA)3v1b3y~)RbBmhol|SNfDEgC5J5? z!}QkUXD7MhEn!avSV)7vRWp=+3Cntl++t<)exkL}jd-7O;RtQrOMUT9z;wdHZ?CQG zHLHJHUgY_&B@eD{XlIZDx9dw~o6=z`6kRhsj#YJjC(o(yXuR#rLS#!&ReN*~Pk}bc4CtFSuq~wRh@|Rrd2q{md zWQOrpMiu{!5*;rg)5VnBziL++7O}WpDIpmeQ9Z10XP=#tY>_B2y{~O;Lq%zG!Lw&5 zSx#rA*lpGp3$zY`@-F7BkX0BmIGO2w^Hxfi*Froc+ZXu&**PG5a=?nBSq?Fjd$Zwn>Q8_kt313egvr zdj_tPv^A2hF+J@(A%yDv5e~0)=(2igZH~W~V!PL3#M)9j9hCOw<)ZA2@jz*|+~eZ0 z)mAb`!0%qXR7QET0Tkp~mZNWIX2R>u3PrG)L_^I{STqaMYbF%CW4{}9p4a~KLC%j^ zoboDOTwR!{i|N*?YNbB3YtN^;`<`#28dFJWS;IAS%V^VoS$!H`9$-y0o8lQ#qvxHn zBR4@YB@9xI4tNhaJvixm_JnBUnr+TVxcCpg9(=|vPd33gT)M`EomhkrtT<{Qny)6;%xgrE57 zI17Z#vguf??p_P<&|GG7(~GJHm-{I_Q+1y4uDpK|_v?0U`*suyj)B>z9T1ygPtBC2 z-xyVxFuGEnW0#lmkJU$8)2Fv@mtxKam}+N;C2iR`nN?&_zOH$Um2Gfb;fJV`m4r&K z-O+uOqR})DZ8E5*U~sK&Gz*AO!%JJV;&O59F?Rxnk6x$x_=eQa(cV^Uclc-8 z)xl_AQQ!4oKM?XL=n9?UWmA5+Ss->y&%*V}KjR}rYXw3N^SO{0ZO&$ZN(V(=AHL{C zcn>t`Ym^nYc67^rm?RAmYt4O#;1BuJ5C2%yAjy|}n6>Wd z3%(*K_FV-}<@Zj_Xv9RJdCYoP7o5P0GSOw7BVW~tm_!~XMsqCrz?}m~(nyZ^%JdlTaoiKCCFv=HGqEMGPcTvB+n>uX& zL@+O!Ud_x5uOHYPPw(%#tn3|OZMdozTA!!04a2o}0$qkgAYRk(A+mD?e_^S_;(>04 zR21p=&8PZefS_VzK4qgUxDr^0jF+n>p668S8+^Ge9ND6&s$rJwY1)(3K*PS^rj8$FwE3) zOq^WKUnbC8NG6_0IJE*HTF7Eph7`%oDqxNBB3C3JXp|2{>&3XT12Lr5GhSHFbpK8t|_glDJ`WbqX~v-$wOe$G7vS8w7N3)ga5Z; z_n+q$A|;)Zg%m~!6zKcfYqKPJjGerv8_3_3H!S{)rCY*o@{i55eLhoq>LPT;rI7D+eqA}`p+x6NRE0xr8m5Vq`p+XL1DY^~^{jmQS;qBl-a{L6 zxMlns(wimvStgw-X){@5HU=P*{T_BqxK4%1S(fS8j5lz!bocGZTLw8vd-BYwA2U0N zdh*R_`6r`5Bu86`gOs$##2j1hgB$|O1PVi=S!~?P6z5rys`X_UibJ7`XSQ7H0K_xf zgk_o@f5h8CBBh^BJ)GnE{wf{z>UW6vWf0V^!tiE@Lnu7im^vhPSu<$gUQ!x%Ox_U} zFY+1G;TH5*hT)8`!)NQ9P7h5JG&i)@Vi+^Eb&Sed(nb;&3$$q(3P4H5a+U<=bmhtW z2Umouf}X~ujJRsdY$=cmbrS`(4eF+*Io1qbz1mtNlZ@%Xul$f%>{<+H+9Domp&5&b z2%5BHgyW@cjXm?>`2frtwBr`Ku>}loJ({wMx9lc|&gjkB5NX1L-Vd&iO@<=kY^9+K zVJOPnp_ZK9g~}qw5?djtRW!jeZ+IU2tBMe|WkAs^@RNP|>Ut%<5EqmD&re!km3;c2 z)`aG-KcPdk4ZiA2xU&BzF9VXq6k?ukE6B`Z7vyGOY!S ziE7j+-x7tY#uZ%Xuy%fkm_%1vr0@#X6rqG8)idLb$%yDC1!as1c-A}PD^0=Fb;Yxz zfrdS%WMzWDVnkTaj}+`PX8x3k9A>4Ivpi<$6q-Wj`zhcOX08+~ZmZlQajFTSY_0AB=6; ze4}`b-U$?34Puf9%4AAkOk(DUZ;NlK>Qo)Ty5h+?5*vZS;4yZ)VF>GE z4;+b>@oF6@Z3)~kWO;R0$2R*{f^ZVHHO6+zV|1h=g|GDR0atik#I}R?%5KK-#xo%k#XBs5G=VJ}0@gkBNe(fP~oZH*--~&A%-Q!f9%2TqKe)F>$lSSyr5! zrWxjQ*C(J>E6qrn%-;Nr_ldmk=u+2&(y5kw_v^3UMhx(m=@Di)ceMi%Wl|*HT3mT3 z!=D5e;}O#?PYcv_gN4Toc^4t0K{#8vO#uO1!0|cS9Nz*(*3Lg-{qtb8T69*cN(d+E z)WK4i!bFG}tYZD?T#4han$nLLTb%Nd$u*qh^4JR_1UNahI? zy6rJ2>X4YbHN0#q>m*g`??g%6!rxn4|5q$0{6GPIYZojo6b z+7|^CZw5XcfO764i#Nd;12UXb$cKN$fmnW`0dILPuxdcW9{=5fulDq4V9F|98yXnf zdn>5wkok!->LW1rZ{BGbJGG(4#`rumo-tW-B8wvUzN(U8inksvLu>WzDL}UN)U2v} z^MJ5eK@5dV9AlB+AH9;Dat=`3R-~%X8k=H3lhvQ9PJhXHl1^MS0*{?=W$m70=ul+0 z6M`@Vy}8EBj9D1GnAtNS9tyPm% zd?oqShtSBi;uWVcW$;{>+7I9P!=0OJ5>a?G35F@dw;)(`<@?8-P4wTvUVENOG3rfE;o+9?{~gz83O)> zcza^)cYd4nWjh!Co>3;8LoRY%^A4@X?v8-tUVhR*Cha_(Vu9ch1A-Le!{6?Y&v_}G zG%lp6JVJTAO;mmmnA59cs7QafiOK9up{i}?0Rd0bdIhL#+C!m;i=Qmuli~$ zKJjSM#2Mn!B)Kv<`uixBgo&{NC}d*BK~zuo`VwxHjzr=w?Do;T%g z(lIjo`$1K{sRgMTDyWN-^d;|1#s{})W>}q0D4%)ScgBc29V{QYmI!AS*z{b-uHutO z%T0bda12QW3fUBPMDzz1Dg6`Yuk57HVN@&UrLWJ*dKN4G@ye=2VsY}T#Y|yi<%QOC zr)%vOS#N`-n$@yLKK&L(ly7ByYP+Og&KB4GGZ5Xf<7eRU5oJx$`ew3rwxaGTBF8%4 z?`T8cTYO;=l5K72dsL$cRh`gZ2K3D<$VG=%T2f3) z(0g9$$GmA^^5l>h|HnQ?$w3qo(246#bz(PP>YQ+D@kSet@8d}2i9%A}ZgPl+7p{-R znShAMza}vrSTr^lQvQZch6B2vZjzMRr&C=~tgrG$f`LNH7~dSN(MnEK zYmE6D({aS(q+#fiaxz4*`TA{5507^x10uxQNl~u0d8spDH_fL0cJh|%?bxv