From a2ee045e0180fc67706567868f9a155c610dba6d Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Wed, 10 Oct 2018 16:17:01 +0200 Subject: [PATCH] Tippfehler normale Applikation --- merkzettel.pdf | Bin 182852 -> 182853 bytes merkzettel.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/merkzettel.pdf b/merkzettel.pdf index 3edb24055fc14c76eed749d715d90b70c5acf1bc..277c010770bc45b13bc74807584e9aaf2736560c 100644 GIT binary patch delta 5138 zcmV+t6z%K8lncd_3y>rNI53l8IVh1%J%79L_1E1Pn(Z>0{p%UM@cGZpvwwWgY{n_k znyYN{DdW5#O7YAvL4?dU+w8ae->$j7b6w~5tF_Q3|Frsj^Fzj%A(ZlL4L@ckNdDh{ zfj5k)Z1Vopgb%FH#Hu0#HL!~fAO9ZIfjBpym1xDnhs~8ct_01S%HhU3-?}DP@PD>B z?way&s9bZZckh{ysAKR8oGLOV!2!+Dse%zvfTcnbUg+pl*?c^LHm>t;4~JtN3zza(XttI|c3PTDD;V+1YC-biC z?m|pC5e!#0e@_)%v79MbFw_SoC_JEo7RSKQ{{)^jjTF<5PJ0Uo#ExpVu@y@>nTnNlqY6MutNo3c$4 zIFl&QywggcdTJNVTc`ERklg zZ9Isx*n&}JaIu4sPzxdUk2V!)^a7w6e?USEUzc?q!dtaT-xY_n5NE!#b4!dIPPy&M z<~k^^j}2hy0I|)>eFe*P$bU4U3=t5xH4u$b@n-;GS8quor^cOVNKY0~_jV;%e%#;I z$3q~CZ4Gd7^@Vu=Cm!_tcx*_Y2vUxT!0bg?AbDi7|5iW_QYav+_ms)nyOcURBLN3R zAF*$f5Eg(>K7xSrAf?Qil+Xh*e_BW|gYJts4O#jpd1>`gzg7zutD^QXi za>7-0(ES#PB;X{;1d2#Hg!*$7(UbHB0c$b4jWG{w4`Qf!l=5tv*by>O4mov`;1dmm zqXM18!okvd3>27&RDa~L7x>WOVfx3*@bV_%pTKiAv;FF{gZOxHnw;^LRXr(<)7HK1)A(0vjY9IQ8E zHhq)u4+zzUaN1&)bNApQ3Xx63w!Kx2`?!Lte}(1@rnXhReSaR7$e!MnZP|u5cc-1Z z3hfQV2+X;kWOSNe#|CpDgpzV7UuGW4&6{_?OhOCsEeoL2)! zsgtYk9%w!0)JusfBK3aPR9*G4j9sB8;<9Sm1y$$O*^^e#r+OeUb8i0pY(j;Nhx|Gc ztmg_Jm1{Jp{eOt(bLATZ2#?SEvTXVuVO9q~p&9w=wfi)b0Hwwf!1;0sh#F?61V~O( zK7f>~A?NproEIRVW-SCu76#ZA0x=Q$GYyINVXCZ2D3g%bEM?ifBSO?p#IV{VGnOc; zpB4+g6bqILg*wBV9k;v8L4KKocV9e>Rgm(9PBRvK!GDIJ4I(~^@lAU~xi3|+ma@Y7 zi71-g;q33{t~}{h)Sk)mjwPkA1T= zdXmSFm)Ivk>=JKb614fNBqS{{cChYcN+q1_Xd2qT+adYzLO|689*va-UT}aE!sJ8f zjcTl<0e@Yg@cQ2@&0Z2FoZ_!Ia2VpWn1B*2t>N}K&bQ|a~htsR8P)~f(?+*y$--I2Z!E|BuEA}~MQw0s)OM5qWb%ho9 z4mytyWfPsMum|zWB}_tNqv>R{6=H#B#n{HD(FUH4*9M0jR_y$g9DA8RhbN&fw$Z78 z!NwF`JQ^|N4ROC!_R)z$H>|E4gi)|A{Iz795mW1y3K;*2dBL9mr~TZJ%vx6XvF0fO zynoEZNBCAheE%^c_$4Ii>FnEU!kQzX$LI5!c+&A7DEquq2a$iA84hgVX7-y^;lFd&jsBq`%@`OvIpE~ZcKVGkt&O<{F zA@CD(KOuPjdmg@ohNu5oRj1n*2rJ`HFn_Mx?_Jz^+Q-+y%(r+H5Oo*+ygRk!AzmeM z&4CBijAjq6j<*}a!|0;hjjPCGIAB$AmO2|5goVz-4w#!>pK2Obeq@k6(3Sxrft3)M ze;y(C2Ey^iZH1S5xU6~<o zLiteIK6aZuWAlYeaVGEG!RzG6JAb)bg-3!oW|5K@VJV`ko9NBrEhcLD?&{~}MR-ee-?ESJQ$3v7;m=-? z&M1X2X$GzAh)6^fQBD0<|8ZZf2x5{)tJV*fzi!fhk4qsJ@jA)AKKFBXcOVSnM%I&; z)ew*a8HL>lh72=ycFB|$-X+(Y>;}Hi{pY_eHCx1a8efAw{a5j(2nj$LK|-=U67c6KHYcDr!t5Ul-ce^39zk;4nJo%b)EP*{7i;xJZM*IcC}>7CA@5DlMG=6d z9^vPD@i{0Bf9Q@jbG-{eWyJ~7)}0k%ln(-iG6@g{Yj7krYfMRzByztkxq-=L^Y$=c zAS4qo+kwj{f>dvnAYwqpVB`6S35Gd>F#wubU012^lZ^@k(UodMAVqC$$Ej!#ru*Tu z9!En{!6U;>n0vKc5oRDvhGD>n-lkfCL-TP&c{5!Qf0`0Th}JZum*9!+MlH^erl4pJ z_QREOE;q%eCBus(FCo?!MY$x4Jci9L>{D`=CRu0J7JcZF4q2sq41tahat<=WIpU|M zb^5_^gc7)d3*uYl05sZMK_DU;yRDPk^5L;4S7`5S+G?5ey>_`$Wd36JO(SaK%*igX?yaLkuN3EE0!g^#rXi>aej1 zhfqS43yj8)`Nl4bkjxOav1X@|S{)|!P5|C9a1p`*xI5wX)~7;1e=`WElarwg8h?Qn zF2X6>l9zJ`8XfuxV%eladoQ^jPi-0^x#eF7YTmjEUz z$#^;;qv>Rrw9sJA>CI-tzX{~x;n|Ki@gaen^q9WkdrN_4!vjTtM0z{u-4v)>PGY7* zVG^Q>finUT0#uRuDMt_`f$s=WA%BX_M^plAQGT^_)7J3)NY`hw-l&$j5P1;UY)dyp zGNBY};jbZ?kDGFsWNHAmn8GpV60R&nGNrAYIVs2NnkB)>Iw{F|YItw&YH;}0SK`=eMezFWQ&41D)FRK+F9+JFnT*d2k;lKW~lizl-{O9B|Y^{FFpN?j6 z)5L=Tugf^QiSwJZfKl#1H!i=nh*Xy7Km!b86+3tv5?6~wNr+kAPd`nwg@GC#W?ai8StBrUJwJgHxS=>VzK$NMxZ-rHI3 z^CZ2#UJ_VpTmg05J%6H5`*D-!U!MC7T&~xN-#6@xH#_6?&UCf2IIlwOO`KI~xZD)Q zV+M-qsth!cR{rD4PWM~sHRXKBDkGaAq&P^(E4%uar#!h!*4c!X^#A~e7F$sXq={J| zDx^4>QLSBm9%##QveQcGH4inoBBW);B_t7Pn}=`S;phf_{C_#Z2#U?ckr5tL|BsDdoKMuGzf3=@Ia%n-S2ygG4^*~ zG{h;;-%27XSog>NDyE(6|1og)WSh;75V$Yze#i)0sMvn1ahYzf9D2GOWjG~o2TT@Y z+-yGt+qCU7Jb##n2f3SZki{nzd!U$U9aYT1YtLLnU_@=IQJ{ex|JH+z<%v~K628vF z`|ZA9Ah4%YU^@mpoiaWa2ne%*#dJeK@2~}fLO`huQ^ch@se_e46LrgrNjBosd<^0q z1ybT_d%7DddP}sJ^Y4}`0^xrsHn)0ZN4b(X-lw<6d4JOtx1%Q`AbU-PHl0}rrr{$! zrfK)^DxBjuVoXE%4AGvEF=zwX_6dIw*;H%900vY-Jtg@`W6#K;Yq$M>8oUffUSUU(*&IF9`R==F1d!ImOI zi6s=AR)6&JH~t5A8MpQIPwBd>TN+{5FpAjsO4TDbiGTkVBLAMVBL*LiX<61-$ZnIo zzJeS{=C3VTCGx&*b=3O$@2<2ewg&`Nfl>G}qPjO*xSLahClmYC0*|fhzR&zBFPpMI zbZwfoZ!Arlwm#7cF|L(giSqsoO{(%UC^N_9_IAi?N`33@%A6#m7$@Nd33`#+|p-({8| z2yG41v=auY5^>F-2r|!u3JMB};swiufH#o%B!&hC z76C5y0kAg7SF5{s4|VT0GrI_8NjLPsOE87qZKDMFGAr`K02x7Z zpcqP^6e^)yR<`UQfVJzxdMzoeZ+LxF*lPCrr0{pgYgu8xnu@+9`A`7t zM)Zwf1tKdDS%Jt3L>4KQga7*#3VTOan|-)vmjv!pJ<^vO$^sw>F)#`xB}Gq03TBY7 AkpKVy delta 5170 zcmajhRag@MqsDQX5u;;-z5^zpEqiKZ2O?HSTI|hkT~vEi6Hi#-({f39G@GNd;)?TSkNbIrGSdjAV8eb zsa_I$bT=HUb-&qGj;)iK``5TQC+Oj8fQ2WNf!?lNecz z)Eg@!xdhYri9B0-oY5}QMJL+;j}J{iBa^{g_^Kf0$ERo;+TsxG_u10yX%#2hDk=X0 z$anIlH>t2@VSpnMy)2ZZ)yD3@UxLT^Rdn3ljyG&L#2R%A4 z;r>i&J~BAWjU$`FW~pcSnU}=~;%OWb09|JGQm?!e2iQLI)Z!}tlJ7G5gyGZvKkbIw zj?cAe@e%Y(%!9)}7`JhQhs!V6Ae;7b^6t0~g z-SO|9E4KUde;`=M1sc96M?_92jcGO#Ei4^We;{*1-jg4`!kyCAeV8RA{4K$ra?W2V zsFcp;Gic(!cE=D2Mr+ZK(7pA8p8e4*=KTvKn6nFDv1jXG8%3RHZhe#R=5{D%_1Wc# zye4WW1gY{CB^*3Fn@F9TZN**TMkYea6}mH zSwC;9kezx>&FCW)@=#3s^NFK|`d!!4#1nR*>@>_7;<@e7;l%n(BOJ{}lK0fN)GT2^R1PLcI}z+RVdMpKU&CYFxAb(wf*{Mk?6_JOW)NPQkD<5 zGI%v3q@G!>bQO0A_sGs;AYSgspD;72urz2je*bhz(Am#0X6*`MtIN{1ghrPBKx2&bQuLyMzUyzGHm9bC-_-cIS4z( zp5YtPU4d=DP+YeQtXCX8MZrp!SDoF!0Q zg_xC!FWSt-f=D{6hy2n-oxzx=xAYY8oKKP~Nvt3T_D}`N`LG;Q3nt&h%}dxEcmZHE z`m$e1*cF(iwLT3YF1pM2;+DvL{62hGq1>(Nct~N+ zi^3Lo*YEZvk_Xq>Y)JIxj!yyxZ;POiyg%Cs#&^y zdP)?X%-<6YQeb6z6;Ys@99sXE^x~4mQj=Drk9P| z{6syvNVLYGsbbGVF7B-n`0wAnCEvk!+=U~5PTp;f44Vli@=f~0-y}DWc=B0D!@bwQKqeAmChWs7$VWB5g{q`r0-SOL!KwX^ZQx-LBZjjIA!awaX+J+3 zhfLCQ8>Nx@?bl|_Zt8_+#jGGSZcN_3D78W(B?ZK?Pu#Uq5)=W35V4wT!)7rC`Fd6b z=Zx+<$^v}4c75d!r7N8j8o!sm{<4O1P7oL4SNk$kPvr(+ZCBYC>6Jz>=M;>%3h(Z= z)!GddGTYMJo1ItEO!iQ<_lcQ7oO@o?EfiU0smRxGwxHY(imB|IEuNUNJ;X z<`dmu2~$fGHy5=bLh{V|ZX~RgD?y8`)?CrzzDp0OC>(2n#)5Com%sk{6$wpXG1Ip) zRaK&JpbOvziA^pnLY{`xk+>UiV;p9g&x+sav~5QzzYE;{Ikx;ON0~#%b-5qYmGN!* z3(P2`t^E3*&oG@;sFhKxW|L5h46SBTo_UdNE#D8bTc`Zb)<(S@7x|aiFZ&y>JAFbL zyCdT@-2?t0dv)sC7lEM#H(!x2UbQ8hNc0hfT-R^7Q`1Cd@{*0}*6ZRn%Rpi}iBIoP7d$(~fPSO2 zL*L#@noJ_3pGJP?N^D`%2Ej`#hE#N%7*{oq01zz+OMfR>R-#E0ypX-z|GOzT1O%l@ zC&~Rc>PV+t)viq?T4>jB6pAJoVjTeCOx4s?&t5F5$42gGOLC!#1KKu?B>*#bhh}M? ziYnLMuJcUxn%4ousd$EBv z-UL9r2pQ3V2p0oXG^^s=M(-Yw<4S71`thPcSgOR&rq$Fc`h&AGou#s3=Psv*_GJo@HMX!0<$Hb&b=H{8aw?)1fbm z2Hwx)PsJf=M~8=+KX`1|<4wg8C*dTXdQ5lo8??Vi>&6d)5%l=Z1Y86a zTxU;HIkfRssf$(UKBQF;EEL~5{Vl6qzj<5t)uGo=*q8H|uW2#cBf&w1e{RrPRgArD z3pzH7#BmdiwZ}j#%n}^5U%>rsmN@fz)WohV(zPBw7ppL&k{VU<8%E}d$H#i>Fe#N4 zZ^p@#GUuA%0C($rNo6ZRL98FW`s{47(fGQk11%X-GAie^hgfr)>|{AZ;RbjL&I-xx zpDIEM4y7kb5%7LmEe%F{vpXo<#pgS5Aagd-Nz1G0iBl5=%SyidZe_kw&b(UQ2>bXc zXa2YX(2I~ejndj#$b-V>wYm4nC@&})zV99LNWcRF{K=inB3l}Axkd+zaB$}=V`CXJ zj^M~;v(_-<$#Z&{p7SFqUoU+gSQFIy_;wx{aJ-b7{qR0Cvi67P)zj}n9`AyoYyM0~ zXKC;73b)nl;NDyC0o1t4om^UGa`^4EIxugLybBJgt-}?OGhSiN1BI zUWiS3Y+hW1mvxs|h&5eaH%fKA)GuV>b1u*`T4qDPrSe;C>S?B*hEdC3?9^?sYovbd z){dIyOKg=O(s>sDr{1;7{R@_!A}Gfg*^x8seKwv}*KQW*RuIx{?X;-Mba423v#a@V z`T#TdEWagcA%PV^@0Eh`^-j0>DAeh!c@{lK=zHCR(*XA zK{oR0BMW8Tpxg0; zP}A4k*dys@Fy{}Tj_9TdCtkpE&IQyVrnI{4;FU$0EMNS`#~Mse#=3DchC$Lxlmh|o zH$s%#>&nMYtPV$J!)&l%*GFcP1Fl~!5H<++D#OA^`G>h^;C7;kK20BT4t?YP*@mN` z+{8wf2=PHofdK$$jvV$=RX&&|j8;*qB!7x7m8p)-Ql|CCCTmG;%!HC}un`({zuu|6NCH5z4ZO_1 zO{`wBFPARQ%`28-n>^fOY=`*lRs~Jcmig}QUL@QSQ>1}HVWs{^GkeZ%z2j>EA8_91 zK8LK)o30;*SnTKS?^O$rsEi5K*C!Ho@7>lt41gbXSxw30+Uo8UPO5v{#_y-kUe5J( zO1Q6-@v#n)+@)sjOT34MkgepNz#L32%ND~zKU^m*ZGO4zE}-=ieyGgNZ^HYi1XBcnZiEysVG9K61Yl!M?W81Jh?FLZqyTxp{*PIG5_I;)xnHVy}vRDt}Gaj~SrIn$5JCZEOMoG`n!Glh@?X zA7;YY7p5lH^o@54hUS0lp`=w9_UMHQ<(*+q>#y!p(hpbzk9nb!b|JvYhUG4WClxmR z1{bZ&R&IRArkM}XlCfhVsc)jLIbPO59n`PhNVY5>(?`KlynM-LpwZ(t`f-R41eFYOd&(@z9zLCd4tMsy+5md<3;(dkjcD|{%7H%uC>UTz*)}_Kw2Tb z%$3taESqY(Q1d@uc_@zl8bA4D9RQIiex;bu^Qm(i4$EMO;x;li8{ma8|;j z!JK+4U(#+ps}s_j8!IwW4HM&2Vg48{8|h+C0zoRX$Wc;+DMyoLBkS#Iy)o=IxN{Lu bP8@*C;46Qg!#a+~K?0Q|g+SEw)k*&g1*gog diff --git a/merkzettel.tex b/merkzettel.tex index 76b4c8a..b968346 100644 --- a/merkzettel.tex +++ b/merkzettel.tex @@ -91,7 +91,7 @@ Wir definieren $A \subseteq \mathbb{N}$ und für jede $n$-stellige Operation $f$ \begin{itemize} \item $(\lambda x.t) s \norm t\lbrack s/x\rbrack$ \item $\lambda x.t \norm \lambda x.t'$, wenn $t\norm t'$ - \item $ts \norm t's$m wenn $t\norm t'$ und $t$ keine $\lambda$-Abstraktion ist + \item $ts \norm t's$ wenn $t\norm t'$ und $t$ keine $\lambda$-Abstraktion ist \item $ts \norm ts'$, wenn $s\norm s'$ und $t$ normal und keine $\lambda$-Abstraktion ist \item terminiert immer, falls Normalform existiert (nach Standardisierungssatz) \satz{3.17}{35} \end{itemize}