From 5767e84c31a0a60b87123a7f6b15920a3a38b48e Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Wed, 27 Apr 2022 19:00:40 +0100 Subject: [PATCH] Last Sync: 2022-04-27 19:00:40 --- pdf/Algorithmic_complexity.pdf | Bin 549310 -> 549310 bytes pdf/Arrays.pdf | Bin 83599 -> 83599 bytes pdf/Assembly_programs.pdf | Bin 58049 -> 58049 bytes pdf/Atomic_and_molecular_sentences.pdf | Bin 97737 -> 97737 bytes pdf/Axioms_of_set_theory.pdf | Bin 66749 -> 66749 bytes pdf/Basic_database_concepts.pdf | Bin 99218 -> 99218 bytes pdf/Basic_properties_of_sets.pdf | Bin 128524 -> 128524 bytes pdf/Biconditional_Elimination.pdf | Bin 39042 -> 39042 bytes pdf/Biconditional_Introduction.pdf | Bin 35537 -> 35537 bytes pdf/Binary_arithmetic.pdf | Bin 149838 -> 149838 bytes pdf/Binary_arithmetic_with_circuits.pdf | Bin 357156 -> 357156 bytes pdf/Bits,_bytes,_nibbles.pdf | Bin 51186 -> 51186 bytes pdf/Compile_from_source.pdf | Bin 49795 -> 49795 bytes pdf/Conditional_Elimination.pdf | Bin 43232 -> 43232 bytes pdf/Conditional_Introduction.pdf | Bin 74250 -> 74250 bytes pdf/Conjunction_Elimination.pdf | Bin 47565 -> 47565 bytes pdf/Conjunction_Introduction.pdf | Bin 45840 -> 45840 bytes pdf/Defining_a_computer.pdf | Bin 731550 -> 731550 bytes pdf/Design_features_of_language.pdf | Bin 60132 -> 60132 bytes pdf/Disjunction_Elimination.pdf | Bin 91007 -> 91007 bytes pdf/Disjunction_Introduction.pdf | Bin 54596 -> 54596 bytes pdf/HTTP_request_types.pdf | Bin 46765 -> 46765 bytes pdf/Indeterminacy.pdf | Bin 112534 -> 112534 bytes pdf/Law_of_the_Excluded_Middle.pdf | Bin 35622 -> 35622 bytes pdf/Logic_circuits.pdf | Bin 157687 -> 157687 bytes pdf/Logic_gates.pdf | Bin 407144 -> 407144 bytes pdf/Logical_possibility_and_necessity.pdf | Bin 122811 -> 122811 bytes pdf/Lovelace_quote.pdf | Bin 31770 -> 31770 bytes pdf/Morphology.pdf | Bin 77311 -> 77311 bytes pdf/Negation_Elimination.pdf | Bin 44476 -> 44476 bytes pdf/Negation_Introduction.pdf | Bin 44871 -> 44871 bytes pdf/Object_language_and_meta-language.pdf | Bin 131464 -> 131464 bytes pdf/Package_management_in_Arch.pdf | Bin 71061 -> 71061 bytes pdf/Primary_key.pdf | Bin 80548 -> 80548 bytes pdf/Queue.pdf | Bin 154496 -> 154497 bytes pdf/RESTful_APIs.pdf | Bin 105744 -> 105744 bytes pdf/Recursion.pdf | Bin 176160 -> 176160 bytes pdf/Reiteration.pdf | Bin 53262 -> 53262 bytes pdf/SQL_syntax.pdf | Bin 559941 -> 559941 bytes pdf/Semantic_versioning.pdf | Bin 118251 -> 118251 bytes pdf/Soundness.pdf | Bin 98882 -> 98882 bytes pdf/Stacks.pdf | Bin 151942 -> 151943 bytes pdf/Syllogism.pdf | Bin 79914 -> 79914 bytes pdf/The_Pragmatic_Programmer_1999.pdf | Bin 169339 -> 169339 bytes pdf/The_binary_number_system.pdf | Bin 146858 -> 146858 bytes pdf/Theorems_and_empty_sets.pdf | Bin 75643 -> 75643 bytes pdf/Turing_machines.pdf | Bin 102880 -> 102880 bytes pdf/User_management.pdf | Bin 74126 -> 74126 bytes pdf/Von_Neumann_architecture.pdf | Bin 239665 -> 239665 bytes pdf/Why_computers_use_binary.pdf | Bin 144674 -> 144674 bytes 50 files changed, 0 insertions(+), 0 deletions(-) diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf index 4e15a437ceb4967c6cadf682b7df31cacc3db7a3..50f29aaf58b8b4b1ba1927342a4a467f88b0c1f9 100644 GIT binary patch delta 1004 zcmdmYSaIKB#fBEfEljta1xySr43jKO%~Mj$j8aS!Q@6i%W}2vnA>7_m#0135+k1*w zIQTK8mo&0WU((2Ww%+6WoZ^pd-TMpbZftLx;Js<}&*f@%amtRDoF>hEvRUcStiNx6 z{djL*|NGgRAGY=8`<<#-@1@#i`@R1p_0{&|zVqVzD;D|hv(QdkysIW-)vT(i8PB#~ z4lIrKJFfG4=^Q!#^ruBi2an_yn=`-oV=T{|QC?eK*mcx{ZLdTncYntI`XwEo#ni8C z-E!DIOta$Ku3wc=hgLD=x?i8Gy(0X84dYkmy7(M7iSFk=Yb`5VlpotHX0`ZPGpRpa zuzZnaC*!fc3+_c_OA;p)H0}ygFE8(DuYw(BzI-9#!Kt7O(cdik(JYQh_n z`XB2wj+gsBad9v?`q%nPuK(iqk2LC6h4^uqMAv1?UhuiF>Sy0f!+FB5cz12JhzyDE zIOG*QWq12s-t*>p&QG6MZS~??G}Uog*gl)a@=0b}S7aq$dUxHkOpW;3j0Mae%ZF0ZSuYgraC`b z_`1Hl0tXwUy=c*7kq5cGR8;ua?a-4_-IB@{f@1<2x%>2VBhh6Fq-HPWbY- zcOLUyy|OFo{&z+FDC^hj*tCzkh<3{wec9F1UG{q!|J&Tx4=%Eu|Gr0N@An&7^&c+0 z3;X)@HKX}k;U~41b{O1E?20shy5#A*l|LSfPszHzbly6N-|4FFm3O!AzO!q~X)^(} z=&$jU!%EZD;;mNv*){EdPO^Hw^U8Y*-e>qvOgtSK`LyLv>+v5uKfJreYp(rd)z%+T z4|0$2wX*h0{b$!7_m#0135+k1*w zIQTK8mo&0WU((2Www~`S)AL8X;`I;zY{=(ToSqW?+26Njk6Y7{Ru$`$>8>rNzi)s2 zc)$MNx3iHStN-QIwSM8+bGquCX!xreC!#p2=Un z_|>*KeUab1Ep6wWJN4A1sq^-;Jhlrz)9u7Ay!-X;kx2JMo+`snVsaPj>OBRY>-w$8 z&TOw=6ZGLt>DSL&T0&WG^{ulG4_Mz&$@HrI&%PTy24d$w|1SE(;eM>rjl1B}PZjy| zO7C2Xg_wI}7xq7S<8fH!AyetfE~mGPPO3kBQDHStglC=Qyk3n@OZ zalT&v{>8H1pD~5+uPhGLc`M0tZH?*qto;casv->b@UUcc-#xcZ&6@v<@KaNT9b5U1 z^Sv&Z^Ij}w`M)Ks*Sr58Z+iW7{>}$gU*k1)3vWBtW{kb)%5h1bA9d|yJxHS@@=23dHt+SUFW>QyepwAGED!i^$*y# z`f}O3!uG7J*sbq>PY_=_w=}$YYVxA4qkNK8vBz9@*IsV_wypF-M)ULPxW0SUIi~d$ z8Re^g{rcK4`y1ycyUdsw?+lKvnO$_L=zGYYkKA5cUkCYz_x#;F>HEaHhhy_%Z>36e zOkVqIz31v(#*_7BL+WBr*KgZ6dHceU{0rq-0bj_L~r+T68t4 zM)!kRQv0DM_ul`^Qv_t!bEW2`6qgjGCguWJ)Ac;r*xP5eu>vvM_L*($KTj}O7*C(# z&!GsUw{Q37P~dlVbv1QzGPN|ZbTl?{G;npZuyAxWb#b#aGBq(ac5ySeQ?MbVWV=*6 H#}Xz0eDv<0 diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf index 35ab2166100aa9f935196f78f753e356645f4ce4..189aaed6e73e37bdfa2903ff807dc06b5b27fe9d 100644 GIT binary patch delta 101 zcmeD0W$o`}ZP>zSX3J!0Fx|qIQ4vUQkG5r$zSX3Jz@Jl(>UQ4vUQkG5r$QTS7SFf ZGdCwgM>h*Ia}#Gf1sg(2CUZU74glD&9~b}t delta 102 zcmX?jl=efp_!e64FM(7Pcbuo1^|Dz8zTS! delta 96 zcmdnn$+EYTWrN8tCJW=qX1^4H)aJ-v`kYQq7N&*6-CqqX!6H^m2HxoMr8$wF9=QJ^@F#-Sx&l>>% delta 108 zcmbQ#&Niu?tziqJX*sKfv4Mf26OM26OM>fw} diff --git a/pdf/Biconditional_Elimination.pdf b/pdf/Biconditional_Elimination.pdf index 8926cd3c614c206adea1dc27774a5c0253ded8fe..084a3714b3f1d69140f5a221735e30ee202b60d3 100644 GIT binary patch delta 96 zcmZqL$keovX~VRMOqK?dXG~NCQk!>A+{Nl_Y-DckWa?^U=wfMLWNK{e>}u&|WNd8i WY-C~SV(#W*r(i=!$>bf=PXPdd)Ekxn delta 96 zcmZqL$keovX~VRMOcutIXG~NCQk!>A+{NnbYT;yL=xSo(?B;0V=xXj_X5eCIU}@}P WYU<)@X=Z9*r(i=!$>bf=PXPdy2OHo3 diff --git a/pdf/Biconditional_Introduction.pdf b/pdf/Biconditional_Introduction.pdf index 8154fd3a8b7bd0d1aae623da7414b4d8ac21657b..4e3e279b23a9e80161ca9f6dd75510638a1ca832 100644 GIT binary patch delta 102 zcmcaOmFePCrVS}Atd<4_hQ^aKTjU_D%{?vNtj@+xMkeNtW^S%VZbruDZe|va=H^Bw YM&?c?Ms8-#rp9&(HiVQ+mg?FL0MzgsI{*Lx delta 102 zcmcaOmFePCrVS}AtQN)whDMV!TjU_D%{?vNtj?xxMutvq=Ei1j7LG2)<|YPiZWiW_ Yj;?0LW<~~%iSyhf&W0AoElf=|OqK@ITWpvVf%Nv}HcY(S&d!DwE^cn-E(V4!rY^>&&Ti(G dj;_vz&Tb~g29ActW_AiTgp_Rm?#>j>2mt2u8&UuO delta 104 zcmX>%iSyhf&W0AoElf=|Ocut|TWpvVf%Nv}HcY(S&aNhIPG$zqW=4i4E(Rth25y#S d=H`|rM&^#@Mvf+qCUy!ogp_Rm?#>j>2mr~l8lV6G diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf index 2576b77867c81f9e302e1c5cd37188b5bb617b4e..41fc677fc98ba7d55f8d3846d0d9b01b9fb095cd 100644 GIT binary patch delta 110 zcmZ4TOmxXJ(S{br7N!>F7M3ln5ot`82GgU`SQUZv_S!U74Q^*MH%B*TS0h&gOAAvV h!@$hh(9PA-&Dqk-#KO|dz|l^@hLDo&FA7<07y;XT9kc)d delta 110 zcmZ4TOmxXJ(S{br7N!>F7M3ln5ot^o#?zzHSQUZv_S!U74Q^*6OGg(=GXo1#O9LP> hwy<<`bultEH8yuKaWXP6u&`6GA*5vci$Yc#MgXm99G(CG diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf index c4c1837e105ac83b9c36b36e5e31ebc715a3b236..13e1a4216c8c7fd915fc7dfea3989e773fcaef5a 100644 GIT binary patch delta 123 zcmey=&-|&MdBH(dO9KOA6Kw-Sbpr!+O)h=k{1lhOl2io^7b_zJBO?P7BXdJbgUzZ3 x53xEsIvYBhIlCB}SQuIwyBN6`o0&Qp8ymX0xHy}-n3*}-DcBHFGFj{R2>?FPAo~CS delta 123 zcmey=&-|&MdBH(d3u6Og6Kw-Sbpr!+O)h=k{1lhOl2io^7b_zJBO?P7BXdIw3o{D? YXGdoPM+;MPOJh3)8$wDZUp%-80J*Fj4FCWD diff --git a/pdf/Conditional_Elimination.pdf b/pdf/Conditional_Elimination.pdf index 07d71da3cb08b7a38a53bf2aa79f1085e5bb9d41..4ab03e798ee979ae543b3bb46ff3e9eb615ae584 100644 GIT binary patch delta 96 zcmaEGk?FxjrVU>gGFci-{=QHVNNtu{bc)s4)WpQi$<5Hf%+=M{)Y!$q&D7M`$kNrt W(8gGFcc;{=QHVNNtu{bc)s4$k@op)!fO@*~!4f&DGV-&D6xg(9FQm W(%8b;#m&*xPQiwdlF8~Tb^-tuHXP#s diff --git a/pdf/Conditional_Introduction.pdf b/pdf/Conditional_Introduction.pdf index 1082fb2a046465acb48fa415d2622b4056ab535f..8f196dd445026be9af6c57529884adedb4e6024a 100644 GIT binary patch delta 101 zcmeA=!qRnwrC|%>PDv(9gXy~^85M!__Ir|yT;j delta 101 zcmeA=!qRnwrC|%>PDv&U$f YiGiD=rHPrjtE-)Y4Iw3yMR)E10D!_B!ThRurVZ{WOBr&9RPf)8;1Y@ delta 95 zcmbR6jA_C%rVY+(m@JGZyRK0LQkyf@tYdX@ayB?(oq~-a0VR_oHthfacWfJ1 diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf index 8dafbeac82558f3d11137c16ab8c8e8a437bc23a..bd07cf23c6333b5dd4928f4c223c1ec03fa5fc0e 100644 GIT binary patch delta 128 zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaA~LL&1_s8a(F7M2#)7Pc1l7LFFq7OpMaA~LKN#sFfnv8G%z!_urxI>cQkS~F*Gzbuv4%hq+~M7s|Nt+H6f+| delta 127 zcmaEImHEk4<_!)HG%Sn_3@o$_4Al(`)HS*Eee+XX5=&AQG+eBV42+BnOpMG8!Adq~ yJc#6UHZV6ZGO#dowQzBDwlFubFfg>RFgCJqvM@GrGBtB^u~V=iq+~M7s|Nt;Wg+eW diff --git a/pdf/Disjunction_Elimination.pdf b/pdf/Disjunction_Elimination.pdf index c38e3d66d9cd1fdcc691e009a3f22ea23a4c5a47..aeeeec94f8263a8344630ea03a4c7a1f017a1171 100644 GIT binary patch delta 101 zcmex=jP?I9)`l&Nd!m^v4W{plW>f^y+aE?VX0bWD7#q2`89KW;xwu#wIhk0xIXW3S aI~lr}n7SC4Iy#!$DcBHFGQBT}@go3Ow;g8y delta 101 zcmex=jP?I9)`l&Nd!m^vjHmC5W>f^y+aE?VX0bUt8<-e48d*47I+~c6nwuE97#UcY Z8d@5eTLPJmj)ry$HiVQ+?@MC*2mmHZ94P<* diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf index 082eaba9c66df6c18a4a20117c5eba84a55efb8a..7c3b8cd285b21a0ff646e2e88d558c4e4762ef23 100644 GIT binary patch delta 102 zcmX@IiuuSY<_$;Auv!`z7+Op|c}5Px+Wh8>ExWU+sfCNHi;0n?i=&x|p}B#nv6H!* Zg^`(=k-3|Rv6HKvf(;=hlXI@z004!l9t;2g delta 102 zcmX@IiuuSY<_$;Auv!=!7@AK$c}5Px+Wh8>ExWU$rG=xJqpPWSXL_gZ~xU_(gB_P%Y59E<>;@*KSY delta 108 zcmbRCo^9HDwuUW?7He27j13GerrWMzl!Gw0C#+$7&FSoD>0;>UWb9;VX>M+4Zt7-g eXy|C-Wa?^ZY~X0-;$ms1U_(gB_P%Y59E delta 153 zcmexF7M2#)Eo{Xatd<4_#^%#2G}z=I%=bMWDcP=Q!sgBd0NB1BvH$=8 delta 118 zcmaFyM&iXAiG~)&7N!>F7M2#)Eo{XatQN)w#%9wiG}z=I%=bMWDcP=Q!sgBd0LSbeN&o-= diff --git a/pdf/Logical_possibility_and_necessity.pdf b/pdf/Logical_possibility_and_necessity.pdf index c26d7259fbd33f435c739580030fc1f9bbc96c08..e448f6a8f455f8112b114d294572fc7d41b302ac 100644 GIT binary patch delta 102 zcmdnJpMCd!_J%EtfmfI;4Wy7ta56M8 bH8wJEv2=DZc6M>IQ?MbVWc%uSi~@`RTFD&S diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf index 1299cd2b159d52e11db30edd3a307535618aa8b5..48f8bfd0f59a2a37da4d37960de8f3ea98855b5d 100644 GIT binary patch delta 96 zcmbRBgK^dm#tlYgOqK?dP0AF3)aLNA`z+2DE^f{S1}=tf#;#6ouFeJ)KmlW8BLg=l U15*nl7fU+@8$wDZS5_|s0CA%l_W%F@ delta 96 zcmbRBgK^dm#tlYgOcutIP0AF3)aLNA`z+1|#*Rj&P6npN7OpOqj>d*YCQi;4M$YDD Vj)s<|=7wf=3O0n4Os=e62mnw{8Z7_- diff --git a/pdf/Morphology.pdf b/pdf/Morphology.pdf index b21a932a4e5faa085c2cb03ed21254e3c16f15c4..fefe56a7dcbcb7677ea6a4c6664f2e914d1ff45c 100644 GIT binary patch delta 101 zcmex=o8|v)mWC~ivsIZa4W`dkWmE*x+YhKRYOy<;nix5|8M!$-nprx!m>D=bSy(t4 ayO^1|T3VPGIJsEZDcBHFGF?}f@e%;;*BeLx delta 101 zcmex=o8|v)mWC~ivsIZajHl04WmE*x+YhKRYOy;TnK>DoI-9t;xH`HznLAoIT9}zR aIXfDeTUZzx8k(5cDcBHFGF?}f@e%;+ts4{o diff --git a/pdf/Negation_Elimination.pdf b/pdf/Negation_Elimination.pdf index 80fce3c5aca1ead850838c732fe7839448edbcb4..3b4f8a261b495e5da83401ecc72dbb895bc3e6d9 100644 GIT binary patch delta 96 zcmdmUn`zH&rVU@0Fmsz|7Ri*wW0= W)zHks(9F`&PQiwdlF7Vl*8>3i5ga!F delta 96 zcmdmUn`zH&rVU@0F3Px*N3s diff --git a/pdf/Negation_Introduction.pdf b/pdf/Negation_Introduction.pdf index c24b216c5c0fc08fce1f4d0cc35967b95b12bc86..372d8e4b2ba17940d71c232b9dd25c13081ab808 100644 GIT binary patch delta 96 zcmX?pkLmb5rVYF+nJf(^^RH9{Qk#uds8MZDcBHFGI`Fr)c{ce8q@#) delta 96 zcmX?pkLmb5rVYF+nJkPa^RH9{Qk#udsr7&sfc an7A3cI=MJmn7J9+DcBHFGX0nc<9PsvWg6!I delta 101 zcmbQbnq}&0mWC~ieY{K-#?vS8GAaV;?VEWSFR(c~nwmQrnwT0oS-LqHIGI~oIGLCO Zg`8Yn+#KD^EX?f`YzQfteoTb%JOF}O8qWX# diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf index 81445467395c1db599b30e5bb84ce821af3b9a78..135a5b1152c6cfaff8dd6f8d4737c5c7e7d2c97c 100644 GIT binary patch delta 107 zcmZ4Tm1W6SmWC~itBqJK4Gav-r*AM~l!Gw0Up8Xg&*tpvYH46@Vq|V?Vd!jW>||-~ dXk_N%=;UN%;N<9NYG7oiU_(gB^sAPP=K+Sy9Vq|+ delta 107 zcmZ4Tm1W6SmWC~itBqJKj13ITrf)D}l!Gw0Up8Xg&*tpnXzJ!-VBl?88~RhcfU z3$ktcbHpF9x?GW$7&*wk=hN)vgZ)-?4bHpwACNn0VvR!(;)yV9xmqkvwsA(D(-=FE ziMx(95@r%n4hcIkNYGnojhw~vcC0p@(6Sh?9wMNOlHd@TlQhBiYoY0DpQ24)Q$A83 z(trHj(dRGOG)O->ht=H(A~`+IYW5Lnb8rZhvmZ4(8C{o8N^T~UOzx6VYtNOqb(Dsz z0VVCCiHPId@tS0k==c_h4p4Nox;GI;KcQ8AIRe;8l)V+UgQdJvAvjnU|DMQQlHBe-Mi^5s5ou41H%5*aJk4IGhG= zm{>~Z$-xTWqPU*8p3hCs+Y>liN`H%cEKxePeTAwE$dhd(9jFZ+o@#_`-a{-JxsI2{ zwI#oG>{}lhKZbZaO_DZA$OTD`k$b37Fiy4;FFAU-fj@ORcs(rh$T0Yz1YCRi5gT+BjM(I9U;gPiW$c3}qrA zn>5mdQzA_>-q5^kqdlysW`DJL{lpj3sa18;$5aTD>b0XyF9^n>4}qs?t-C}B{Ydyw zbQ}$UfvVPUG@*!x+<_zV>pb!sKogMOXmB9(L+fWg=^X>8T0Y3CX_;TtMH#B+XX!Z| z5RQ+I-#q)}$aInD=r)s)T$ zCP{G2NG~2{`TVSTr3qSbdmdCLQ(9EjNMj z@WI;`hx;8E>N+qifq&t!t;E)YVS8XWJphAVZv%!%wt}(8UlSl6jGTW34(AOLS2-Qu z#pw^P_FsJX(93|A*?hG~%PoFKf|5Yc&pG6`>iI4DUW>KQVvED3?{6fB{@&w<{1N|y zAMxk>B|qk`fWRC6mcIuMpZRB;1+yA}Op8Ua>}Lu;Jzb~Emwz5q#WLd;`~taB%&yCz zYLQlFfVBRz;48jb&a$$a7G=i2^FR3y{*(VTz}nsg>lc6QKY#QXSU)Y6#gqE_gkp1e4G za=-EW#uSSs9Dm1w-O{gzLYlSX@o<}o2iuHN>h6hlpTD4lD${952Hy+GK;5rd-I37` z18vr=0n2_&7wI|S<`HX?4(UcepLh+v7vy_6m{oL04SAQH=Rq%^rZnS!Wo6OFJeGIC z{PEG@@#BYU%mXr8AWs^|ozJ!Z9P%-3=r@9Xb-wKC90vx<~M=t)X-w;0dpa*Gq(GhTPfm zmAuZ*Z3V)Hoo3Tc6K}Iq-fXA2yPem3(>F|YmwzC&eN$mTQ{s=eR|w-OtB+R>_B}SWVmdyq)3V-WUY6~oV|A1q@3YzkCF`lJ0-s^HTtyg6>PM5Rsc~RBl zDnHK=opD_de~nMjE?pCQU8ngRymSd7Wq+Vt08o0jy;rqMm&g9Se{UkAfG>Z78R`vV z`#533>~yk+XQ-j@8B!S{4J=Lj;sj5*#9Pk|y|mEi`@YQ?%)8%17!$ znt#7L`uruE2I)uVu(}&TB&Ww&%|0S+4i15G_M>JeqwDfX$<2h4$z3vP?YR=Sj?$1d zprls~C$!2hM*usCvbVx^u#|Ty1PANl-xIk@k~^Ow zYw&MB2_g2V`6RTU=QnCr)MUe6%aBu3^?xa8|E1~#HZ(1%sXGl`XwjFPb>#YLt)5(V zTBjXt)eU5q>{@oJTk<(I#Zc>Dp1kAAJ0sI>ik7wR)NIFL?T9z_>+bfrsLOGAJ;bxs zJnfXO$Ew}YM{DiGos2%l_~QNZf2;rh548TtiT@GmDB30o3vCj+Nz}BljZtEvCVzBt z68C7K=Ms%dCz1)qw6+t~w8YULLjgL8nm&!)_P>$#ZP3?mV;xOoOTi}%t#m|*!~`WY zEJjfo$LOQ9M4Jc=+Y%JBIx^skAqh`}grrI21QoRK4`Oj9B5_BIq3?_Wdw|FhhtuE< z6HDnlIauLa6xS2i^SSAHdjdyGX@7B#B}&J(uTXUXd9sb91GT}!Q;o3Adx%9N*YVQ0 zw&b^ted{CR#}IF)Nzx_>xgg0gat}2M#>sZ#B?r;kgrrf{#12q60SSYW3L?fGb8DRBS@-Ow7;gM^Xl&{Au(bg~}PhJ2&E6@MZ;rOz$o zf@N_Ck!racYC>(GB#~`6*1Ta{$03V-zvZI+$medbq_HO=N@&RnMPD_(e1;JSKA@DSBYk=pPx0aG$DU5D$_m=ZT#sp4;k-fODyQSS zIQ`+({)-PEdKvICo39pWxyA2DP!b6GIfwjKJ-Gfr|We2(tm@hSZ4f!Um#bC*>xFI zEz;@?kk)?|e8pGGSyoolqRjYr{wM#zfAYTuSlhc`{o;@P=Z_u(>!-!Ccv4@#++xkf zk)X{AUu+R2y#x~jsQqh~U`pC8c)MsT-feDW-&W}YAkOLMo~-QF+~pig?&9~+lNX0i z?l*qlm}0Sn<9|4?Tl)1-NV9f49&R)7V4G1&-96Fn^B0s*WjYPX;Cmq%sQWdmJ2LuV zpv}59VA+r9B0VSEJYsFqA>HWb6R*Mdf_yIrvx*L>A@8#DJm>|~lxF;|tStJN$MPLOq(`r!61r_-%_wmpww(! z>0*e&p-GK)CAG0e^}_d1lJa{%2+;j=xf2%yq%c`bqV#L(~srK%sZv7+<4UNSm zOyw3#BX_f*?(T+e|AuW?sx~c+q5-7w+S24^OOv}>x^?H@F!a)L(!a zrYW|XzOD4u+8S@#sxR4k#fOw`N-DZ4S-~=7{o{OAwHG|$R$^mMJ6hF?d`U9iD!LQ& z(|?drbW!MET6L{tjxC%nL;c_$U61-+bIW2Hspn<(z126A6s@FkS4uvkdx~cAMv|%l zc(QX)OvlG{TGqSF%d(wxjE~YP8|T$H9as2VK~tVC#dtI)k^{ULq>2fwcFRFT6 z<>xt~Gp-Bbuki`mrE6lZ>olK(mo7o141bgh07~z+_o{a3^4P!k?@eSB@a0c1L%m^a zpYvqXss6A0DqQjGtg380MUGXwbVa?PxG&J->=cKvn-F)Sue0k4X{0RO+FtQxxd%)a z#e5XMB}Gq03QF2p A@c;k- diff --git a/pdf/RESTful_APIs.pdf b/pdf/RESTful_APIs.pdf index 831a669eabf98bf167d782b26265aa763a14acb9..f999997601ee78c9410e726481d6a96f7bc66012 100644 GIT binary patch delta 102 zcmbQRi*3R#wuUW?k0vl#8ccsOfl(1iZ)cy#xRJ}*)!EF&$jHsW*wNC-$lS@q*}&D= c)xz1((8AHc!r9WoPQiwdlI_1|Gm0_-04b6jPXGV_ delta 102 zcmbQRi*3R#wuUW?k0vl#7*BsPfl(1iZ)cy#xRJ}**v-hz*u}yXNSeA>SQuDZnz@); aI6InKy0}_ex|-Q3*bq{({r7A}QAPkQI2?BX diff --git a/pdf/Recursion.pdf b/pdf/Recursion.pdf index 9fa253d3ce237eec929893f870cae27dcc167d48..ead44ca71a618bac20845180182a6297f77e670e 100644 GIT binary patch delta 104 zcmZ4RfNQ}6u7(!IEld>)nJf*aS1n{x1k&5*E@V2#<7{qZVQOY<;bQLOX6k0@Xklb- d;$~@SZf@adW@_PVYHFuoLrBT?b?cal7y*7S9Vh?* delta 104 zcmZ4RfNQ}6u7(!IEld>)nJkQ_S1n{x1k&5*E@V2#<80|-;AU!Jfl&4wo*vpPFl7(1F6xfz){89O<fl&4wo*vpTz&nH!j!m{}Mbx|tig8CjY-Sy&nw YxwyC)nHU>7npxT@*bq`OIsE)~0JvQndjJ3c diff --git a/pdf/SQL_syntax.pdf b/pdf/SQL_syntax.pdf index c60c7fa5b47fa67385cd0974e0b2b4250cd23d86..9fa9b138f9735258056ad658d1212e035b8c0883 100644 GIT binary patch delta 116 zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgVHnOqK@IOPV+of%Nw2O&pV0oej(_4Gmol p%?yl;4b2TrObrdpUCdoAoef+K3=Iv84DA$b2r1c~)4_3*2>_1?9)P3h<~rG^&97N!>F7M2#)7Pc1lEgVHnOcut|OPV+of%Nw2O&pV0oh{9s&5g{= pjE!8J44f?u-JG4B%v}u}olTsbEDRl8%{0^ASD0* diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf index 2d5ecf4840fab18b9fe845c1e3cb82503b480e14..7e39d77839a282a73948a0f5cb432517baf6d811 100644 GIT binary patch delta 102 zcmaDooBj1{_J%Et4-Ya~8cctDkWmpxZ)ZEiSk2{ZXkh7VYT{&U;A~-HX>MX}V(92< b=4RsLr(i=!$@U{>7}Xg8V~!lf delta 102 zcmaDooBj1{_J%Et4-Ya~7*BtEkWmpxZ)ZEiSk2|^Y;0m`?r3ajU}1yg?X6oc-r(i=!$@U{>7}Xg8bI=_v diff --git a/pdf/Soundness.pdf b/pdf/Soundness.pdf index cb43c9c875d9439a27eda871c37f416f44c0e109..e3a1272598906206169b4b6fba708fc2b1d79616 100644 GIT binary patch delta 101 zcmX@q!gi>Itziq}+6pF1gX!xl7!`r^_DdCvjvUTL&Msy~7DjFcX0DcQ7H)=yMovcN amIel9#>S3@h6avy3O0n4Ob=^hd;Itziq}+6pEMi_xv%y#n~+60az(BQC6Y0Qud9(G5hh`YoWS=nM#Gf_U$9y+7`D>SWaQW=x}6XXZEBoTM8^sgmavu^njDVwTQc z*2AnSA;p=~?%HhYF+c_%)~}mQeGKK>A7xlL{WB}u{gbfqe5Nrv+tt`7)4*c9YxmCO zRS`T0xo)^+)e$0geY%pCP?fObE!i>>Ub~J^C>dczy|+}rA%Fx92R^pGlGRdqsjeC8 zVUNhHe_4evnTyHswFKG3BE=>z?`97!yBTP8(_%=u$DWk@ph161f)8aLl~&F*u<55H zb4gNGHBsEu0)feGkV$~}Bys6zfBk)ed%?>ggKf$o;^f4r%DVR~@a=?ct#NGj@e{BG zZug6wYyZvL<$%Wzluu3r>Snk`1u@nt7O!4 zUy-?#XGS7$@Q>F7{G8MiFT6TT8U6q+;<;(=Dqa2Jn(p0JST%MbPo8pNI#-lIXAy~< zaqIQ3JhO4|T8CPry~d=P2?tl=fLpaug>Ft`}KCpWxXK1*XaRH zTVcQ50rW4?mTZOGc*m+4UlrTSrniU&cTwTaW>bM<`qakH-N#6C9Grq=0XA*{*JHq?ovkuQ$k7djrSi3T} z1h)5le?0nl8QU1)M7zTJf{y|}9Pr*XhUSr>!jM$qEB6@PgZ5USd5sl3cI{6zwg zm}ZbCD_5(Dv8d7&7TiQ|a0RP?oW;yWhVR0A`sAlE%d=PRJh|Tn25}(HAzuZnjPsL| zVAlt)32dd4#-j4OV$qYU#y zo_exr-TN*IC6#*Uz|U>P9nfA78Yz5M+BWelenoaY9%+}H)dBRo#wCa5kzl5ew*AlS ztra_XgHC_2N4C?J%WgW%MPCzHIDTsD7r0{DTmcmg44yj3G>6W+?6dC|djSZTg{F*S zd-_J*w5A=a?YLwraMdS;t7)uMn6>=;!)EX^0(AHpi*@i6XpcI6*E?8s`|NPDaDmSl zoEtM|iL`%YvSCh-t0$gJeE0Y%W!CT1xl~CZIg@%(uKMBcy_%Lr5#=cc(v1*2`-?5D zqOy{?J)eBRi4q1@i@^6#68OE;T6y}F%gBb{BL0lY^S?7pM(2I*YC4Bi~@wuUvomUJ_;HPdXr(r`6V1I=rYOQO42;k~iH>cx( zk74?jL|T_KURsuDlal$*s8=Fo&jTWMn+sYtlsNBp&U)$Ia4)pI3Byi!yM)~1zBihr6^tHHO}s8%8<{j>!h!3DC0_2UDr`S^OXte2B{F=b?u^ON0c zWWMUSxlI|HQ!X(>Cd?bl>Qp_1D*^uq@KdeH2irZ3mynQw%?VM z3z!@-s#!>-e2r&H94*XSSB)+to+FbsvaNq9-_0T%jPB>G-C%~f9-V0=yB&pW{V~Jt zlvrWz!3t0Xz4~TpPu~Yi;Lc46iM_jz-!~=j5AwxhBs1cH#e?gVe(3{q+X?z30f>6# zgz2Zbs*?k1S76B4i^=6Ml*l4g?pMohdv%SK3xEVoo^x6 zAXuSo=xg!#JxN=Axye#is=&-yfq^JKCgK`YSynWcL*S&%+;>l_&nxWet=Ok{gcR0$ zghTJ;&JGXIk!s1ii8M&A47T~qpT_hR(R)LS<-Mc3$|mr!nkzllM5hVz>O)O5=%-1` zs$iq`6u)#!_fKvDsEPf2Qmber+fIC!+U=a42d{0q{>rt-8O!V&Pi0b@i3AG&S9z`K z;Lhg3n3W$5WY>-1zL?%G^Yqj_oD!K2w+^Lu3%$5NYR9}9)V{ALHRJRR=8p+WUC z3$UBsze**TGl&Ah9pi~-Ex7WxYw;?QNh?MCxSg1dW_p{2$<4Bcm5 zU?m_3%(@D(H_rg!ek@-I4@$meK{vAPHOgKg+8!C$9{opBvvr?|@$m+&Q6nqDGQiN8 za3pTZKA&jU$nOwzA!jDjPJ|Lm%O&Oa-L1S_u=}UJi$Suwz@eYiSvKeOd!jw^x2U^t zP46sYFeLwDT~!iMDr$FBP_)1nCF4g2aKmTxWDn)v>r2j=YatxlPvD@lgC=|NQn_#H zh(%F!JF`|oB`wGO+bUXJpRVLs1t*M`H|DGRW!KRA&j;YG((7HvlU*Rp%5&R4FcQ=LywOQtoh;$GH#FdN6b@$u_Bo7QU%7pt)W*S zVx$^5BZLaVs1UI)wF^GF0QAP=ZlxlDpSjDSCQd_x(M3a?SNOsa8&pJ0ccWgE>zIs6 zfRg987MQn2-pW)5Pee)>x8=x8;A93lF8p$Xr6xLSKef^!%5Unk9h8nhSh|~Ho_9hm zPhWD^%-XA?lE<0joouuU1wCHu9iMxlAz07A|5lJ!0I#98G^xl2ne-UPiL>r>e+ImQsE=pV96d`T${|L$83dj`<`VdIUy#ne1(}V{|ZdXAv+*-T} K3T8GJdH)S^R|wJo delta 2654 zcmV-k3ZeCfqX~wi39y<15Mg6sHaIvkV=y;kIW##rIJ2q({sItTV_`NpI5J}}H)A<8 zIXO6kxCMu}1p&9X1p-JtB{(xMFf}VMF()uECn*XqO>bmGVRU66C`39kFfuYQG%`0a zI5U?eLjuqNHJ6b%0w}j0L;@57e|M5G^#kMoV65Nk*y2a;q1|utcwQ_J+vr=5o|7_P zqLt8cntVw|$<>RK?+LG&fOo&Y$AvPq;DDCtAv0vYoKA0dNlGtij2-gG9U{uD9kNIq zBx+!Mx2E+BJb|G1ocSeRxeYFFRpr6e!TT`}UFf^lcb}3`=yE>eq>?(Hf5C#Pg@EJH zbyAWK;BTjAFg?kiCAsbGb40<{JrP3B6I`*eT(E- z9YD(e%mJi2eC??%O#WyKq_xzlCTz-lwowgh-mbo@%}HzG#yfd^bYAXjv%I~t4Ndcnn!HYY@!K9l<))#hwV|_m)cKYP zY$haaZshV$}^u}&4HSrC5#?YH%Ty_DEx~Q8uoNmy#sFUdy`E|=ZL;c0A^{{R1Ce-5nW;5BgGfjtH`LphYVH~D}3X|0EbRQakd$Tl_Yz9A2Xks+`3 zJob-2>D&-cJ6@B|vpqj6#8BWi?Ql$1_1kR6pJK2%*Vpd2>nNI^Ck3kwM^hSOC2I)j z{sL9p7#Jq>3h8P9rPNSYsf-XXoc${7e=pbn<#P5D6H@2Bf7I1}Uiq$-kT$g;7raWe zd@`gc(P?XY{((NLlLhWMDon<*U}$}O{ycR--P z$0UdqPKDax^ALt>+3F!apfa`=a9|9uYaFWbc_$-iHU3GB0Hw|-FNXtjZbX$0sev1M z!0wS~Tjzp$tt1-R(5`gkW0B7{ zQob!P6!Ja=1}#V;Q{Jg~m~ZG~k-y3TVF^L4my=Ep!vaK#&;n0ge+LHXCFH8NF+SG&WvZO_f0VmzolNlncbXKVJYAGo9u9P`;u*BOe1G$=m+ybL zczKo0;yD+ClWaN$foVJ`hzgP?{-`=o){ud4cyhBA98JPx(c@x-M^@uN_F266B}pd_ zRS^fowgHczbY8~ObaXtQOcTO-^tw!DZ^6-{e;$2Tb%Iq3Iv(O2kAg?^n4Z!zdQLCs zYkEnq=nakO9UajzP3S$H&`z(dAjBX#MAEV>d z$@MSqFKRm2;3}Ccr*Xc65jYDEM8xn(F)|`rjIcHztYL%gpu)77ki5&p34QLlxT4qe ze+~T|n27T{`wnNTu`=1 z@-!RM&-C*$D-+-9bD=eGTt4JULd&n2XZtJtbB%HP6vmI=yt=u(ZZRI%*+IB=72(nu zBwV*$FzUKsw9f?xT&@vPhV)yVR=E2$>UM*e|(>- z78zv!NXohz@}Z$c)mlh;e3c=YMKVjnvh6M`a4q^*l4l*BYSVmRAZsnCy`k)az5s(&nhmgYr?z6vb&=tW!=xB#6u>9~9- zh^e07uPnjWtG?n*_S+ohYz&^XWBc2ObI)zZ8dSFqRk&SH#p6)j)1mI(ue(SsdxTWc zAXSeejh>El=l;3|RBQm{e{G;Vs)6e0QJ{`J9q8^2aSf?jN2*wdQr%F>A4kfcj&$di zvIcZxLE)|aRxj1=aiHS+E~t*1O4D%4)}iVRsPa2R6W?AI`1*1Q zsNm-C*K}O0-nv(>Uc(E+wHW+*Sx(bAcJU-@WYZe*3gr$da7u5PgS|nD}0@(<)#|tYBgq$8r4>_1&z|R8o5Ue zZ>dpsiyBd@VO!ONo}H<~J3W}Cqtk3OxGv+o?33{7^(Y<`C2aA7v>3z#oS--#jN=lk z^W~^q=Ec=OTKVqdWR}fA)PEw<$4{z!^#Ys(-@Uq4QS|XM ztfnmcM4I3z^dg<54ivA ze^IrH4~-jps-oJ*C&^2QN%XfOX+p{CMKVA3_LF*>`ZpAbB{&LYZe(+Ga%Ev{3T19& zZ(?c+IWr(Im!MAqRzo>BF+@Z(K}9w)HbpTrFgGm@EyZFKuE{1k%e-G%*P{yBfQhyIQ(A85p^`nK~PpnYbAn c8k;&AnOGROm^isQ*(ul%QnHm@JH^FKuE{1k%e-G%*P{n;DoI8W~s^TbdfW8atZ+Ip%Ia Z(%j9}#lXeI(9ur8hLDo&+>@CKm;go>8?OKW diff --git a/pdf/The_binary_number_system.pdf b/pdf/The_binary_number_system.pdf index 78e2ce77e0ba91221748c6ad9ba47a9ba328929b..7c341948aa88c21b29b004d39e4202b18386aac3 100644 GIT binary patch delta 104 zcmZ4Wn`6~)j)oS-ElhR#OqK@I8}ykJf%Nvp`b-Ht&Zch8<`(9T&StKThUSh&=1$HQ dW=?JvmPUpahUTuOhIR@zgp_P|vtdeM1OOQM8x{Zn delta 104 zcmZ4Wn`6~)j)oS-ElhR#Ocut|8}ykJf%Nvp`b-Ht&K9P|24*hK7Di^4rY26NX09fd d&Q6Aw<}Pk72F{kQCUy!ogp_P|vtdeM1ON@D8wdaZ diff --git a/pdf/Theorems_and_empty_sets.pdf b/pdf/Theorems_and_empty_sets.pdf index b0b3a519f63f740cf354c913374f8dc82214e41f..bc3faf1fd0d07343ad0b49e4cf1fb4beb899ee20 100644 GIT binary patch delta 101 zcmex;j^+0`mWC~iS#nI42Geuo7!`r^_I^3WlkCn07G_R{hR%-W#;#@tPKM6LZYBl> aPR347mL`@KX2!;L3O0n4OrNdB_y7RD#TwoK delta 101 zcmex;j^+0`mWC~iS#nGk#?y1;7!`r^_I^3WlkCoBhUS)r#%?A~uI2^?t|sPY#>OrN aM$V3gCN8c{mPSr?3O0n4OrNdB_y7RGt{V&h diff --git a/pdf/Turing_machines.pdf b/pdf/Turing_machines.pdf index 37160c7e9fb7970ab5923750d3eefb86af395b57..93f46d0b0aacb8b39100e1d77649cf5641e2710a 100644 GIT binary patch delta 132 zcmaE`nC-!0wuUW?3)(d-4GfGewG9l_4Gh#Zx%7SWQ(O{DQWZ2@tc(ndj0{YS%niXx zwx4Kcyu#sZXzb!-?Ck7pW@74OV&G(KZf@*sWM<-K=xFF_?qY6er(i=!$@cpb7#SG> DlUpLN delta 132 zcmaE`nC-!0wuUW?3)(d-j17z}v<(c^4Gh#Zx%7SWQ(O{DQWZ2@tc(ndj0{YS%niXx zwx4Kcyu#sZ;$&#xW?<&z;^b^#;%w DoW3IN diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf index 8f69f2dd6e6aa618f79f9c2751041d13a2ad3615..ce88e5eeed76d9e3451aeb4e2bd29990d4aaf2d9 100644 GIT binary patch delta 101 zcmeA>%+hz5rC|$WpCpr|!So4|jEX>d`({bTLu}4QrsjsmMwX_IE{2YdCdSSNrk2JA aCWfxg#wKpYPEJO43O0n4Oy8lvcntt|k{Uh$ delta 101 zcmeA>%+hz5rC|$WpCpro@$?CjjEX>d`({bTLu}4YmTqpACQio2mSz@~1_qYSPL6Jl a25wGHF2<&&7Um{)3O0n4Oy8lvcntuVC>rtr diff --git a/pdf/Von_Neumann_architecture.pdf b/pdf/Von_Neumann_architecture.pdf index edf1e2dad482f086b02e329bb9d6923ac304bc3f..5ef9037da86840311157a9d717e5380b2a7f1c73 100644 GIT binary patch delta 106 zcmdmZfp6mlzJ?aY7N#xCE;E=c4W_%zU{(au+cRe{OY=D!IvblAI6J#K8JHScS{OQ+ f8<;woTR6Izn7bKUS{R$!DcBHFvitk3s*BsS3_3=Qx^+oCj(~} c6QH1zv8kn*g_D_^oq`P^CENcSGbu9y0L8u<$N&HU delta 104 zcmZ4Vieu3$j)oS-Elk!LOcut|Z8ew_f%NtS4W<}wXERd+XD1g^b4M3PGYcmJ0|R3x dHv