From ca693dde85d2356ab169a56fb42efc7a9561f284 Mon Sep 17 00:00:00 2001 From: dmitry Date: Tue, 15 Sep 2020 01:04:31 +0300 Subject: [PATCH] Added task --- semester4/Beta/main.pdf | Bin 0 -> 11824 bytes semester4/Beta/main.tex | 24 ++++++++++++++++++++++++ 2 files changed, 24 insertions(+) create mode 100644 semester4/Beta/main.pdf create mode 100644 semester4/Beta/main.tex diff --git a/semester4/Beta/main.pdf b/semester4/Beta/main.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0388758c4ec1c7c4f0ab7a7e9c60e7ee99d6dc48 GIT binary patch literal 11824 zcmbW7Q*@@?)~1t+ZB}d>Z&I=Cq+;8)ZQHhO+fK!{?WDiINB7v@9((uhzx(7F>);vl zV9k47>z;E>QaK?JT1GlnXwrk5%NJ-yCISWm8+~(VE-rczGfPJ!dwLN|Jx3!UBLf>l zBYG(#YZFIP0v2Xw9v)~1M|&eZD`?lXE+uZ+0S3g)S2Sabkkt2^5>z8Te?K_NpA3P` ztC%m}Fvowa1mgg0xZ8m!9fj(v{F0 z?VoK}ff#-5fR@K4fNW#E!mz?t8`JH##;6b%*zqqT4}s^ApiA_XhU0HF|KLE)lQFl%b^@f>`2hd&1SC)p23hR0m=DUzqFZq(?>7sGJv z6ZZ&007saYMm;D7bv!0NbC?9-TCbts8W;wHEz6Bi6n7y)1K>{bv_1!qFMiTxa?Im) zNw!it$8i{EC@QbkFi+ZWRAR;bqI1w=`N_`JwQ(Qb3125ALV4Er5ug4U1{&^duNPkQ zg0=CHzc5PTFqti`WstgUPq-vi7$1X85wmin#i!wD?a(tN_A6R%cDRDdeE5fOgO)RV zK=di=Xz80X?ORW9Y-inWdvM?cTv=tDTKsh0(x?wh(894Uj^mLsPR>A8Xy$H;{hSAq zBXb*OQ=jCFk8r;-APm1EyZR{DJ?XJ<_l1yNXTC(GYwHsz@j{jx+Q{1Qf93A4)qf?M zk^LW8S9H>Mbh9<0SNiM2DEJ>m!0>kw7#Qm6>FF989z@(Zx;#8BI6uKfv#D@)>3Pj5YZpoF;mnjX2~*NT2}$Ar2sjHGG*uAnJkk6=RLPaU=v+ z5fQP@3vMn86Bd3w6iz$EA_WH@b_WL+nSKRJ((U#asW0}=D=KP>_K)-PEAlt6HkUWH z*U$F1(H9pnx7LS>O(;Oj%*jksS18NXOORJk&@HOb(bld`N!6%K(Mhx}DJzi6R*TO= zOjOTQS4vLL-$~B-oxhWkno$mP8;lodKRrWBK`TzHa5E(67r{m~btJ^B>~)}{WAc#GveQzuWlFQPV-%E>weu_V^zJl5NoY)1F^`EL2u{rU`XK{FoQ+he> z5AmMQi&ttWM_FGy^7^|26WdWe_l^!YS}FVVGr!w!Lhc*Qn7fbZ4BxW=QCiUvL!LYc z$0T^wcz9RJnkj85QU|-QUvi*8a~mVe|0*Y@|JF6a%*Oh6{beE-q{Bj ziBvd)A-$124B@G+Bjny*{74VP9C^FMaHx)imhc|?ocY$G+rV>%prnD~jocHhEkvtl zWGJ1pC1BMIgw0Q7@n28-NO?|z@4vJt+AhZv6C3H9mANf1K=7lBP~ zmRR$nf}7W7mE&H{+DUwNO!Th+->^?C_EBl}(vO_GFNGh{p1c;Uqku z>;TMv!%Y`#O!65Oc=YIMgLP=)EZIkSIHX1sU~ntBYZlcgutt0tD^b{0Lh;lX$~6Qd zD}F)QM}uW7E|-!=XCy|7e3o1)saOa~DJbDZ*sy;x^If$C8byMcCG7B^d9BqZnJlFj zF?HlKUnaX?xPM^=W=;#^-aF#Ddkfn#0BI$h+ z(-n_*CtLCAi$_)#C|rUufh5u?mV`zMIrf<~KW1WF|8X-s`6~m-z8)Z1o!&rgw>?Re z)_50vlSU(9Pa8XXX{}L*sJ8ghu;lGtm>7RwM(s>stDcc%4W8HO;Dcj5y}wZ*F1TO_ z^!hvXva_r2NbLj(U;knNx=}$(*MSF?l8I(m(@x~j&)6zs4XxshVhC$^j>)O75(?WC zMjAsUBM!Tr#ei?je?BYN)kq+(aGh~iTrRWo8@hkM-aF&VXzq8HE?EeH-ulRNA00!9LYqxMs z>v;-}s`WzXvLKbSA$au`h}=F$F;ad)&4)`-OBJ&YOyt}dJMZu0EVOrfoAus$_UlRD z9~SBw9+(>^aJ9sl>KTw@XUl#s-vNO|4$Br-MT!m2$dScQk z(ao&Y!HM+AFv`+#bHUEL0uCb_vb?;``eWv%Vi)`KAPLOZ69Yz&vzJ!;f6S8@lDlM^ zLU!mcjI}z5H-`UI)bzDH4O;U=fQY~wZ0F>G{KS;K!#MC2_b0=CuP7?Z+PkS~Ey(fCDt}Q9GfbAp6XtK~I z=W`Z;OkF-jwjAq;A`TNqGMAx}X(~+;DnTUONZKx%t`LhCCZ?EBOcjbc7i}6Ql-)!| z|CU`!;7;(?<58w0m0<4N{k7zUBdXbOo}4!KZdTeF(Mo4mUlnxT{!|^)a`Oo;!93;h zZw?9DKeG3~eUhNKkcf@75`?{!Tk16&NMd6|8Kdw5+(BSlkdCxHL6l zT5}@v%A)3x!ad>_ZvrX_q}U*eci%%jpg84#j)@r}1PsrcKeQb*S9i$5NYatv@#Q#k z<&4~D_^hm#^7D$j8+k4cGA41$3C>5Ezn*WmufMi^dcLQV5WBkrg@~ZSA|lk4$!KB+Ax-QP2i5=2nxsGLiVgHMVN!jx-6%4!8fp1r(~30ng(rz_;nGOqPU6^B)kMlA%G7LBEffk(=@*rd!jURfN`+;2OgvKx zB&UhtxNDJFdy|X}6w1*GND0}`Ybtq)<%!~I`?VDYL_)l%2GJD5IIlJdh&fP!_()=) zNcQ^JNWwH^$%v9+MuX7$v~|&;g!*C9i8YC_uC!SGw@4P$P(K-oZW96}S>o|MC5jS? zguDB?!MYJfs|;gkq>>3cWQBVgAELk?#Rub064YrfPD~1d@p%&-KLJT#yIkhOGRPSF zzi909jSmK=3QJ5_LeboTJbqS;TgRgD6nGpI*^;8xS~g9a#p zC&_^yeW>F^9-NwT=c@VU%j8p_2Kt{8v+AOUP{SDw)gl~u*TXYw)XE|y3y{#}=lfU8 zYkzQPc#g{TsqJ)VtRUW#-j(qyxPoq<$@hu~RSWaq+gt_cGhhz(Ll(bry&XPib0O3s z-;9*GLS=^@dPMYsiXhz+syj&Q^FJ!Us1M}7S+r`SpQM2f#E%TjkLc84HA|%o=sC32 zSE?&V(*?kQrp)fP*J=1OU5V#Fwfq5Z1;@Z`JjP5irb(YDsxY)NlHE;w;R#|RzLY3A z!mjw`x=XbLd1Pt*IPMk;@3_NZo9F%W%yA5fH?+Dt^vw^;8Uabb$n?%-=4*Ih0qnW1 zG1xc|;}L{?2k+DINf4*s%~L6=9>UlQ``WB)tYDvHPVs}<34RZNuLYlfoM4uABwB@ivuD$8>l_R6`ys!C~!hWYZ z>s4U;(dB7{-f^YP8{ksj9bydq5aP^2`Uqt8`F4`?O5KiW-c_yIGcl_*o#zVOp37WC zT*Q3!!j_9c6QNUWJ?a8D$Hw7W#IbzUGE-a+GH0K~a989xP%NVzE*e%ge{1>Wl%e;F zmhLGxF=#?7z?2^hSH`Q>)#OJDYuhCZk6d1hnthPYs$6-6dy8iw{t^OH+q68GN5|QH zRp+tCFJ*Ogr$%wdnoCvZ-y7Vya~d_;MCgpn!L^Y(kYTrAZY;U$Bnc4%4yu_R7SLf*!^N^KqKZ!107jjVcLz%+hUCht;ZLzKz3`(E=3|L!9!&*j>0y zT-UV|8W3|w#~wJ7w$uuBuJf~wLIsr82R3yVAjB>BQs9bpWctGLRI?dJS^W3%2LshL zF9Wt+g|yNeDZ`-wwI(FhFERTNo6 zlM|<6!<)WWDjgZYha?63yGuJnDR`xwy#Y7jhSQ-q{KC;-5ET^C9{I%RrWem!u#cfx#JKb`3vcuKJcApRzFCM}_QabwI+BrzdQDcVfz;X-RtRiup(>edw3sQUz@Y1)-H!@Ebj`i$^w zRQw2Ynz{P08a4^UIlzTDy6u~URz*7L8NI+5Iv_&lc^RS=rN3ROH(IrEJNyQMYL3fG zzw0(&IVm{!3oxOxeI=K)RXZy5xP|yV^PO4Y21xFKWW5?tmhBK8ob{rmiH2_ma~H#$ z>r%ZQdD4A0LwchfgioS_vGi*-BPS4{tD02C`?kqdqqI?oMbJs1-VcvV1b+LFwTd4g?D!@QT1PNt))0`XurQ87Bn; z@3X(lbcV6c6Bf?$pm~rg#}}i65YdxQnY=N#4ItrmDLO2`Z;(^^ZO-V3%E_kc9MKjL z6Zakge}aHI=ZZc}2siX5@CU}t39RYH1F#_{FIXU_6hXG*IgjO`bPd`rucEBzo*Hr% z;DPcburJcbk6rHQGf0B!TZaih@3#drCbWzDofF{#Lp1L((@KO9nIK|P&%s7mj$Ss! zN^S&bYX_s4o*}mjSoRSp>dBcvunZah{IuyYqG#5SNyMk)J;T4Tfy$(I{Wq=x@DEq< zAFTI3wcISkRCEz_b#-eMGlv;)fFXc-DSjaRYiMSMe}w*jH7tw_?0~-;7G)(XDMb_1 z?v|iu?Ob%Tu6M?wXY*N0y+k8A%d3!S1n)^GMMS}7e%gm-wnTKvA!mx*>BOgvWcrDb z13^`hGzwDi`Klp&gNRfkvJ8g_9?kyA_&8eTiAXp4Zq{{L4XLLu0LL-cF_+u4__U-V z78a`Xf~J|;Yuw#@f0vPRQvSL%?b^P*>U?j-9T^8c3-~JE7#A%Jm0N@QR&3qrT-4&S z^vS*GGxI%V_*QC0^Kj=E~qxJT=eRHUFj49HYXTNpH5bawavB+-j>Zv(WrSV_d@Hpg`8dMLQ^a}BK!qAnM|ITJ z{v}gq9$?DDQ>AAmp~n{WlHwD`NQy#*PLM^92fDZ9aus1)enT@>moOEYrow2UR^{vR z?>Y=x?yX6`%t1wxbn)qgb)4uuN*q$fw6Z~SI&yN~!hi}VO-{Hn!(w#g;#NCY{bTeuHy)9a6_ZvNKMZIL%LO)fPhyHPz7Fs@aE5g#6QFK6eSJw{zwriwHJFRa6SJa zxJml=Zh{#V#44W-v*BNEZg2CQz&sD|F2VWS3-ds=+taBox6Z~o{l=?PP)X?|_rA z2d$Ius~Cpq>#wLJxoa?A%CJwgC_WMbH?=zyhkRn!c|P;l8t%mgGDr;Vz7YKf9n9SV z%(9wM;SHcS7F63C2+SLZUwsHeJs#cu8L^ljC&-f8`u?=X{!QclRup7Y!SRS8t_*m( z2G4jd3oMboZ(-$eaeS^fXYIc9cd#=moJO4UqB>34IrpML=|OJBx=#vBz(^Dxx9vzXL9KR=kP`)6y`E+p5G`NHjH;3BoHj(4$+y%P* z@hjrI=_E9!`w?bP!M4L+L(G_#j+T-Q-gmw}U%M53)hBm)OAo#01C@1dXM zaxsYs^a4{LBe49Q@6s5fnSfpIRj==5+!$pVaGe>YI51&<7jPZr7}lvDa37_3zpr4} z-r~S1aGY7c?@8h!;O*c~J!_a~5O5#V-fa`GS-+5;;hRp&CNhqgA7~^Y6sG9iUb-+Z ziYkhlcjZ_mYh_cV(}gTY0>FXe9stAPmpPP4npu=-lzEuh0_WJRufznB9k(hLRmh|S8lF6>W@i;FsNuaMgO>+vfXkwZXno;sWchh;hhXvpGY>i{N3H9I5 zwFR*rge#1D?z~<#9NvT&beKaQa`g^A{^a7-?}q_zb>+tgS*OjQeqQpP?J9tc%w1VX zKyS1^ubwe_)ivLQia za^T(+X9IF^znbDocC-^U1pv+Nm)kYEwfTQ2BI$nLg>}f$(%AG$bQ@S-k z(0d7s>dLmS`_1k!7^k(cytsBSUd@S|f|@hhlLv$Z}NQAO{BUh>h{SgEgr^&c4yF?fN4-p{i2HGy@9)B75kEw& zP=lSsLsjA@wk6+X?WI4fTg&j=x|`yHVN#?C@$82s!j;=F6tvxM%{w-;e^QyliLdR< z^gzlo!9yhR*Hbb^$yidR0T2$kGVg=ToD5g4`0hp8FXPZb`qR+C_K#;;e=gI_ zL|$P5#4J!H3@7NkmOO2HS&BgUp3H#sb3zS1hZ=ctM7K{ja#{3}SSz4| zHu~Ocb|&3LwTP%jbt_l2n~xkW7P?^DHGd~bwo zzC(0W*-7Ypo>vAlj=r*PH+&qj-lx80x2&m4oo1ZeT;HcCs#`_$rj5|GHf-^kU8%f5 zX1p5>46%5TRM0wG4$!AZP?UMu0B}ohROh#M?Q9gl0c)uUsIBVdB7>bT&&S6+Ir(A} z@WHk$*b{u>VA>9sDl26PsIO+Gzd+XsShGHyN8Tcp^vqeJ2pge!uma|GviJM#)5|qp z9;BfS@EY={Z$xq4xWC|GYIO$+)ItJCiITLf4^n(5R^bL_o4}5Gi!b1U1cVC??mSpv z7EJMy<9(1e!gY6CiM2P_HFwQ9cz{aV$Zbx`afO6D1qZuIO!X9CG673rzd2X8qjZga zJ^%V(YiRX(E%4bw4M>ZB-DpO@K1F#E>o;SSi-R z5`{0TYGGqB<~iw6fI}5}+@1hFQNW3CO)8R0I!~lL9t{TyW(~RwQ4xA&_Z^7~csf7( zpgF)MD4`5X$%t|~{kQGK?C4O}?@xU9+;J%hlpyo@b18HaFk|^NKYOq$4fkC=HKsKQ z-;(h;3Q9b?vc^bo1@je+N0lZ=#F1~xnO2zkxNnrvNCvu0a$7Di-KD9=%G+U)_vC9}{8S;!1d&lWXlx#h zM|Z)N+JYxdmCUFQion=;1cJ&|pgy!7pi*8;gIthEMj$`XQvH`iZ3>L$RL(9B#`^|$ zCc9y0KetPCn0;~6?Mz?L?wb6&_*-8xH453i%KUAc44f6KRPHJ*}EBz@%da@F6#7!6&KKLETK%4wqPd{ zl&mv}+uU@b6yGXALs>=a@_S*`(p7AtkrC<91^SDZ1mTumPR}ts_Fgu=e!fM*+N+7~ zjl!i;qv{%mn+H6v7 z`tm1-c-5tgOogM(`E_kD?U>ung(c2J!Hzbl#-E@Q#{4*M z6|(!xD%k*%GkkW!25QnXmoa7K76Sw*&4CHx@h6=CCql#gn_$6Dg!LQEfDzFbH$E%c z-^uBmE)ZI(h9ztY7FEnEN^s74^yW7?Apk+(D&NobJE6M;J82|a$a*IGc%eDB^|Gn= zxb4`@DOW#Hq(4`)NYz=EhS1VfDBG~;mqx8XaM}1BXTEHg{KW=ZM|0SeX|Dnjm8$xLh25 z-Ohb*b0QheQZ42OdH$-N-OiUlpAt6TZ%&A```H=*EV*?2$eVf=Wo)9QWg)6X?I<_| z3>i?X#ALA@oZ5A3&zQS&k+JlHx6`x}e&%cD%oe+mbSVmC6GJo?Lzn*0xSUH(F_bIn zme=dfN4}5VSqT@Y5$`F8JZM7X3D95K5pnXt-#DlllxDF5^qGoMMFvZQ>5}hlnx`f*PGgizM6LHVEY0r-jgoH98T&o6sm_f1 zBbK;DDKRM#rMcvI*68c^jcwt5-Kw4~X8G*Oi%Iq}7ui!1vLqfFWza}`Ga{~R_77|` znF9z2BT?X2UT$P9P9ootfNaf3R1s(^m2~#n#$_1)CSh;f0pI`R;8Laj4&@ZLDC7*tO6pXa5`h$ON(@0Ty?C# z{DREN#|D5mJtZ{Sqo=9ts}(6o40gnqF6Q-ndPM=@xLdr6{;q4nEJflR8WsS+j*B%V ziYRee*9X0h>1nhme7|Ol5dlKn6VwMv$CyN4z168=;4!krh}9XC+;&TTUhYGeF^o+v znoWra8r?5c$4k`mm4&a(cDsxrt46UsT>f;syUgkC!rk~eDC@h}IoTP`Oh&yZ;NvL? zDjb)cl;H)Cz!7?cl_eDbZ~xiDs4k(kNlTs!R=!Y1M;eh_1l6#BynuZA7Rh-c(yB3a zVa>ZZVdDob`lx2%CC*-zSS43+^OB)X8izlY{`0keyBuz*u^8V?YCyn30>WBW`ZU!} zEQy=VxYS;`EjHle3va()?;Q-s)q+N-sB9J`f6TPf@~f;O5gvwRCUHIQdJb`0w1WP! zBY>RS?P14xwpYR%bWn1SnR-UUa@LoNkuHX$2l@8af+W!|dM)OW%wj05TaQo63d>_4 zeiVm^kg55qve)JX3?(SCn=$cLGO+TI^ zpa5uA(MCA<4w9tc@cV7Lcb`-#GrKsX69-f_@m`j6Q?w@g=d+ zV8;{1+v;Xux*J{+?SWqr*3utWJaDy(^o=i)1_oY0A3{^aJDbGAKGsoWx>LwK}8*C0#uj`tdb$=DZ z4=Y(TVdz*(`2(s-Y30}x<^lW^yZ!pD`z$48FiEk=|;WPVJe zK+66`l1$raC}IK3$gtUD2Fb!fDpCcgeoA?4ViDMuKxTbXVw~Z`VIh6IXuxvYko9%) zh)@AzZ8#KjExKy7mDGo`nH}nGf5#9{L6{%AxtLU|Fzm?4oEu}A=YTH%n6%@x9t!6V zl{{iE$2<%o!RrH(_H4Az>WcW2b}zig4F@!*;nmqDbZLh<$N7W=mmBZ>aebcij(7$n zu1D=+y7pkOuZ%YFL*To6TA={FG={5@iOZU0QrM#{&bL&AagrB_0!jAK2IJez7YbJA z^i+D6W@EaFaJ48;d+z5j)O&Nz8egUoQ5GKkJ8qNy4f<(;d4HsqRI9 zQ8;vQ_u@GWuN$M8Nm51Awg&`@@%(kMUBGsPd~qWhS~yl0>%j=gxtG zI(;~?qH)X^+=Pr4t2SPu#WGpPgGm`91T(THz#le3Ss&9wETbd_*4%jP#mb6=810gx zHl25D1U5jzyg;D#Eu?0Bh6-2OPFU%8-s&4bP@Z5?PgJ|}=XEhJz=m(MdLd=7HQmq% zx}x$mdI#5gErqYaFv^4ONvVnP+5lfxeG2ayWQ|uj$-7!GR#^KEhvr(93(=dV&^&q&mbeHMLi6{9KeV_W)0^p6+ zCdW@Ed>UQ$-RGyI$j|OAll&V7^m^Eu7P4E+3!zwWw_$>sJlp;t5eYprV$l>>-Jp?d z?nl*99(U+S!$d_#MS~N~ls?M~2+Qy~3-r@37ACUiThl-2F#@Xdv0obSv!2Rp1H>yh z+fiMHYdNuPD7~yH{?_)CFX0n_IMf=*_EEE-hhj2AMxJG4G}Lc}u!p2lwD1VNRt2KC zIs#-Oxp5NHxI-@G^xcj<4WuXPPUMe@9}Zh=jp1jg^wER)umj*;LEL1@$z<3ynG7L& zx~%{yzNz*1r{jpnPmG(dZ)D`XsK7=1a!^fcs!#<#iQJpac&aDp{L|>QYu5aO_M2}B zetZgo?)gGGgLs<4K80W&Fa=+KgM_#KE7O?&HsJa{nWm~>WK6GMWAhiw z{(2!%pcl6`wjubh*5qGHAq_5lHg*OUV`fHnR(%F$4kkus02?EVp)rRs6M%tU!j?_{v$H~Y2b%+astVp4>54}Drw{g^f;9;xa+K=l%N9x znIZ#hOrhWUQcBHNSsFIbI{It@;xGO>3=_uC2+SdpzX}MD+#fXs)S>Zt52|&gTJnvR zc&~tAsr!e$-m9y#)U9gbg_$J>?>6M)n)AWK1pEz^9RzI(=*fTGGY3aKdq-D$BV%Yr QMivehXi`#PSrO>}0b(XwV*mgE literal 0 HcmV?d00001 diff --git a/semester4/Beta/main.tex b/semester4/Beta/main.tex new file mode 100644 index 0000000..66e8c7e --- /dev/null +++ b/semester4/Beta/main.tex @@ -0,0 +1,24 @@ +\documentclass{article} +\usepackage{fontspec} +\usepackage{amsmath} +\setmainfont[Mapping=tex-text,Ligatures=TeX]{CMU Serif} +\usepackage[left=10mm, top=10mm, right=10mm, bottom=10mm, nohead, nofoot]{geometry} + +\date{} +\newtheorem{problem}{Задача} + +\title{Beta-reduction} + +\begin{document} +\maketitle +\begin{problem} +Выполнить бета-редукцию λ-терма ((λa.(λb.b b) (λb.b b)) b) ((λc.(c b)) (λa.a)) +\end{problem} + +\Large +\noindent +((λa.(λb.b b) (λb.b b)) b) ((λc.(c b)) (λa.a)) $\underset{\beta}{\longrightarrow}$ (λb.b b) (λb.b b) ((λc.(c b)) (λa.a)) $\underset{\beta}{\longrightarrow}$ +(λb.b b) (λb.b b) ((λa.a) b) $\underset{\beta}{\longrightarrow}$ (λb.b b) (λb.b b) b + + +\end{document} \ No newline at end of file