From 00a1c7d2f0b476645df80662508da9935bb4b295 Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Mon, 25 Apr 2022 19:30:44 +0100 Subject: [PATCH] Last Sync: 2022-04-25 19:30:44 --- 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 154497 -> 154496 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 -> 151942 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 b2d0c2156d0bc8c20c61ecaf9d868755306a40b5..52d18b7e90fc911e5d9db0fd3cb04759a0e236e5 100644 GIT binary patch delta 992 zcmdmYSaIKB#fBEfEljta1x$^TlMD<~5-n2=k}NGv%(uUGW}2vnA>7_m#0135+k1*w zIQTK8mo&0WU((2WzJA55PrTyw5C3e)=T)4Z68_oWw`Px9(~?#d>yzoOEvCP3fBksB z{@=H=ksqu7<<+%*;o5V$>e`%pPfcG{PpX}-FBjlCzoszkj9cl?3n8XowJx5?U%vR& zwmE%~-@Gkt=bbzC)TOEO_Om>;3qRBC#4f!1_3n{K_e7p5!%t#z7wbF)>!0iTt;o)7 zuU`}N;Z5n+&s$nTS#R~Nvknhf-%!c)s{PNt8$AYM=Rf~0`o!UWtkR9U;L}eP`SVKe zT#AL5dt?{(KY8PESmhy8>B=srw~J1yKYdYQHBW?Ro#nhaa{k@Y^YZVsojO^XHC4t%yV+-LO(oNNmE5ertH+kyT|fE7mcQATx&zN&?iT$0 zwAkdY^T)T7^@>Y8n0Fm@+;VGK4DaI5rsY?<_!dq*xctfqzD1&PRy><|?Pob?w;yr7 z{{BV%vfiIDh3~H{4%K-p$#ZRu>G`bv2^*>+4EFG_WOd&?w@%HP|BLWbQ-vK{`Hu6w zE|~LPEN1z?C9K!G{~vF9{dE4$2UTC=HFo4xG`}}9eH66Zk9UdajkuMHJD1M3*}e0q z<+C?!HqP%8?reLtddAfCCr#~a&YRwQJ2Csr<~OhZCOp|Kuq5bbgx1n8E3X!*zZI$! ztk_=P!YayGf9|Jbtk+agi?ccVQe#mHkULDtWuR6!Hz9OT1^{-!F8)kpw z{A8CIGvl4X(KWM+E){(b`SX$6YwPPE|L~r_n||FNXd4oc#b7Z0JK%=z5oCK delta 992 zcmdmYSaIKB#fBEfEljta1yWKCEs|4{Elmv#(~^x-lefQiW}2vnA>7_m#0135+k1*w zIQTK8mo&0WU((2WzJ5;e&$jOU1$8&Jw@vWgwEE|AHM=-v$4gF==04f1bZFM!x4(Y8 zx3B;GY|Rhbdh`8GRjl_?ZL|H}f0FuYdvf1-asCyH{P$UCr!C%9ld)=6)zpk<+b;)} zM*AJt`Mq?GoPYY$BBg^za*NHGU;Hta=gugvEiddk>cO^GqLRBmWB-zl`p;tOSGI0B zY#*js@om?y%BVxDm~!2(&(&TLe!zzDt8-m^j+;dH^Pjbrl`YDTZ5Fdy{H&SOpDtLw z$g-31SlmR***daCHjY<8F zbsERZeV@2Em>m6U{Uz6b@%u*_t3vAixJ;t!GG#CLTv+w9Z>Hfq;a9x7wpv7n#CII> zik`B&{Vwl$^E~ILPpr0j@hzI_xGZd+O=I~av#l$#k}tix?pbo{pXtk^E1thR+VS_3 z<*a`Te|+q}JC9_F z%be#eEH}uD{u+Ab)b%G)^7Eccz5jN?^jYM$uXP5WVg-U$*62(P`gJ91=j5_Z8>7JO z^)0NTjP)v8jdx8cnR#((ru^~}$;+wt)ORjE&3k>$JIh!#-Avc%yO!oh{rWwv_TPK0>UdN_=+(ooo*67Qwp6;^W%lO~szJ73#?fmyWGJC(@$g2Nv;a%9*udf-+-wHpe zy|lyNZemxY`O_s&->v-dSbR#>^`-OHN&HS%eXqQ`efOPRTTYt^s6~H`pBz@2t`={# z;?J&W|8tVn^PN}TTkt-^e`4b4$jGNHe_D_K*!khzEnai&C#$yphm z_lvU2xKi^{ic5-86LW#A>3W`Q?Cmq#Sb>;r`^+}>Undw1rcd$bP+~OLzTKZgf#2EE u#lXVF(%Hz#&Dqkx&B?{W(b&Sw(7@8n(Z$Wt+|9sF!G@5M?Nad^OPBz))!&Q& diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf index c7992bdb93bcc9db66f067797487ec79b6138516..a4fb34b5f05b9aa63ff88c90274bab055014ab35 100644 GIT binary patch delta 99 zcmeD0W$o`}ZP>zSZp&yq-NKepiP3m_v@N3~hqJ4xn}xHbk-4k6xrL#tfswg^rMaVt ZsiB#vk(;5Zfr*`h4Iw4dx4Sal006|m7&`y} delta 99 zcmeD0W$o`}ZP>zSZp&ye-NKepiP2ztv@N3~hqJM(fw`fPn~SlVnTvs`p_7rNv5BFX Xxto)tDG-}j*eTc$QZjwJE8`6S%WN2{ diff --git a/pdf/Assembly_programs.pdf b/pdf/Assembly_programs.pdf index 255cf1187b77b0ad28884e453c53fc5b95362cc4..f4c09297938e4f7a3a9a0c29e57084b1c64eedc6 100644 GIT binary patch delta 93 zcmX?jl=IjM delta 99 zcmX^4oAu;x)`l&NDy57D(^X3ul^6}Sdz3OJusd5=Sh^V+IJr0)8yTA$85=m78M~Uf Zm^qsonOHa)n3>oq*bq`O{dEoFJpg*!8p8kp diff --git a/pdf/Axioms_of_set_theory.pdf b/pdf/Axioms_of_set_theory.pdf index dfeed02a1d7f2793d287fd165486e1619008d574..21aea9a2b08924d7ad119014a759e930ea7d2586 100644 GIT binary patch delta 94 zcmdnn$+EYTWrOK2M&rq5zmyn_H%I<5;B+!IbvANxaWpbBGc|EBaCNk_Ff=zdH#0N0 VFmiNrbh1;hu^^yi`e|myPXI|K8g2jp delta 94 zcmdnn$+EYTWrOK2MuW*_zmymaHb?$4;B+!~Gc-3dHZV0aH#W2|aCWmWb~Cdub~SS{ VayE4_vb0mMu^^yi`e|myPXIb>8Xy1w diff --git a/pdf/Basic_database_concepts.pdf b/pdf/Basic_database_concepts.pdf index b3ab32a820bfad7b45aabaf38c812ae924bed668..d97cb6b830417b8895a767636cb3956e473aa4de 100644 GIT binary patch delta 100 zcmbQ#&Niu?tziqJSvjNebn|jXB}U`zQRR&1xtv`MEDT*NO^htuOk6A+4c%OvjhxI4 ajV+CwTr6D8EFJ9>YzQgYp3}sr#s~mi+8MI| delta 100 zcmbQ#&Niu?tziqJSvjM@bn|jXB}RkoQRR&1xttA6EleDZjZI8Vja<#loSa<@O&tv! a4NaY$oXyPLEY0i`YzQgYp3}sr#s~mOrx{HE diff --git a/pdf/Basic_properties_of_sets.pdf b/pdf/Basic_properties_of_sets.pdf index 534f95eebffe7df91e2451d867022b4263049547..e06ec2f880325234172e1bace4166f77150d4a9c 100644 GIT binary patch delta 100 zcmeBq!`}0TyCR6Xl^Bh;r#)qS!{_X5>TK#{VQ64s;b>-HWa4DzWaeUK a?&9KXY;5G>>Skc4U_(gB_NiYO%NYSD2prA; delta 100 zcmeBq!`}0TyCR6Xl^6}Sr#)qS!{=;h;b!7y=;rKfYUpa=V(DUNY;I;~ aYGB}I?B;0f>|$)EU_(gB_NiYO%NYSFlpM|g diff --git a/pdf/Biconditional_Elimination.pdf b/pdf/Biconditional_Elimination.pdf index 4be1df2779ad03b90b92a084a35cd15eec8e44ee..793a3e8bf96150a3fcdc981c5a0a3e418ebd2d59 100644 GIT binary patch delta 93 zcmZqL$keovX~Xo1jK-5^OjKet-n@I_ZdNBJ3rk~j10yq2b7Kn=OE))Xa|>4sXA5&f V7eh-+M>jhK8#4k*ChwSj3IISG8xQ~h delta 93 zcmZqL$keovX~Xo1j0TfuOjKet*t~n5 UxVV^^7#i3q*bq=MS+Z*f01eX_o&W#< diff --git a/pdf/Binary_arithmetic.pdf b/pdf/Binary_arithmetic.pdf index c7fced1890b423594bd122c72d7e3858fc97fcfb..fc364f792921c188b640926bba8ced5b366b7f2a 100644 GIT binary patch delta 102 zcmX>%iSyhf&W0AoElkZejKb~Q0~GjK9AH#RmiF>-QrHg_~L cH8Hm^Ff%bXbuqRuv{SGlq-6VdccySg0F>4m7ytkO delta 102 zcmX>%iSyhf&W0AoElkZej0V$NY?zc74Yn`0VdCX>HZwFbvT!nSaW=9vF?4maFf}%D cada~`bTl+}bT)H#vQw}jq-6VdccySg0H2>4mH+?% diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf index 6147b624b2f4751c64106141ffb119f8e2a28c66..fb7f2d49c50f9828bf9a48f93a1664ea718fb1d2 100644 GIT binary patch delta 108 zcmZ4TOmxXJ(S{br7N!>F7M3lnk!g&^)1%T@l^Bh;*QT**a63C28yUEonHd;Zx;Yvd iyBM0AI60ZRnz~uKm^fOxn7P?0*bq{({Y4?G4I==H!W`TH delta 108 zcmZ4TOmxXJ(S{br7N!>F7M3lnk!g$u)1%T@l^6}S*QT**a66kh8W^}(IJ+8|8XK7# in^>9}8<;s6nVGp6xLKH*Ih)ui*bq{({Y4?G4I=<{2^=;6 diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf index aaae62aef84c8a3b31d199dd71cb4a56a0e813c8..2ded2a2b29425ddb78a75f36677d8ecd43d9e19a 100644 GIT binary patch delta 100 zcmey=&-|&Mc?07?7Gncr)5)v{<-v^28VC2YI$Joox*8fA8C$wJn>bpyIlCHL7@0X* XI+>fenOPbdo7gGX5K=N(>-Y%(##tM@ delta 100 zcmey=&-|&Mc?07?76SuglgX?H<-v^28VC2YI=h*fo0^!IJ35;-Y%(!T}q+ diff --git a/pdf/Compile_from_source.pdf b/pdf/Compile_from_source.pdf index 6c4f8417447cfc6afac0be68ca9113c65bc23225..f8b6d89a99323cfdc8ec3a912ada57b6d3bd18c0 100644 GIT binary patch delta 94 zcmZo}Wo~X|-Vn5h(Rgz39wkQO&1HKeSe;GHj4TYyoLr5JU5%Zc3`|@NU7cMloLn7^ UO&kr39bN1cYzQfteDUBW0Q`p@O$#x6!C&PE0<&aRH;PA0|%My{^Tu5Omj V&W^^;E+%ev3O0n4Ojcj969DXv9Jv4h delta 94 zcmaEGk?FxjrVZZ~G8#<&zEFwLV6)VsQ>@OWPOe6d7M3nfmIelE=fk?>ANKvl^Bh;-;-qIVs~~ibGC3aGBUL^v~VE=fj%>ANKvl^6}S-;-qIVs|!iGIw!yb+RxpGBh(cb~H6Mb2B!z Za56D>Gd6HCGcvMMupy*my0#+YeE>yn88-j` diff --git a/pdf/Conjunction_Elimination.pdf b/pdf/Conjunction_Elimination.pdf index 061f4fe7533ca0327f829b87fea4954043712e28..4435bc77735eaa395f690312373b3cf16be2626c 100644 GIT binary patch delta 94 zcmX^6nd$6jrVXn%F&a-^vq_23c=P#9%xumEM$YDL=B`c_Zsu-|=9bQet`5l{u5N~Q3O0n4Ocvd_0|3yK954U? delta 94 zcmX^6nd$6jrVXn%F&a!>vq_23VDtG+%xuoCmgdf;rWPh{7LKOo#^#R3ZYHK?CgzUL VPL`%dZe}KS3O0n4Ocvd_0|36t8?*ob diff --git a/pdf/Conjunction_Introduction.pdf b/pdf/Conjunction_Introduction.pdf index 2ce9cc6cb31a6d09b91a8b04d410481abfa296da..087faa4dc4d45e248bf8e356a57f43894ecba55a 100644 GIT binary patch delta 94 zcmbR6jA_C%rVTD@7>y^pu2Et%-kh;!EvvJcfvJI!xr?c@k)f-zqmz-5v$MIQvw@kJ Vfs>JmvxSMBf(;=hlOs0m002uM8kPV6 delta 94 zcmbR6jA_C%rVTD@7!4-7u2Et%*qpIuEvvJWg{7f^i>a%jg|ms7iJO_Fv8$1RtEHQh Vv6-ofsfoFrf(;=hlOs0m002vo8j1h_ diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf index 5232f2b884ac924f8ed944d02d8e8bbac0bb608f..88934eefe5dd08de46146e4f97170fe4415d64b5 100644 GIT binary patch delta 120 zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaqB4xe)5T=Cl^Bh;Tgq_%;C8lj ub2c%va5Z-|Fg7F7M2#)7Pc1l7LFFq7OpMaqB4vI)5T=Cl^6}STgq_%;C6O3 ua5i!_Fm`e_uyArUFg9>=axyY@vT!tTakO+cFmSO`upy*mdx-|O79#-8P9BZ` diff --git a/pdf/Design_features_of_language.pdf b/pdf/Design_features_of_language.pdf index 415baf99135ecc4b5dacd0df2448b2a11c2914c2..e54493731a5409951ecc686b172b843ad5d6cdb2 100644 GIT binary patch delta 94 zcmaEImHEk4<_(Sy7>y@8Jy2pa-kka%hSS-^#N5!>$;jEn#mLyr+1Sy{(7@5y*wEF* V)!E6()z!^T!G@5M$t@4 V%*Dvmz{Sx{!G@5M$tybuu<`v2ZbQHgPjCb9OT` cw=gs{b#!%fvUDZxZ7t0F-te(*OVf delta 104 zcmex=jP?I9)`l&Nd!tzl3=GYuAB<*{2eY<6iDpb^bFwgZGIMftGIKPubaFAXFfep+ cbv3uJbTTrwFf?^?GPhH(A)sV>ZxZ7t0E&?vi2wiq diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf index 64b3dd2518599d2b67fc21814c58f12a6948f287..96a632e366cb94916e02d59550a44e907f09bf47 100644 GIT binary patch delta 94 zcmX@IiuuSY<_$;BFd9!jc1DTOc=O9M4(!g(CQe2!E+$SUt|rDVZWhKCt`@H52F_+c U!o}Iq*uqZ1hLDoUIah7~0Nkq__y7O^ delta 94 zcmX@IiuuSY<_$;BFd9rgc1DTOVDrl}4(!fOE=ESiu8xLoF3yf_PDaKi1}4U)W^M+S VhQ>}7u8szF3O0n4OwPG-0|3uZ9Fzb6 diff --git a/pdf/HTTP_request_types.pdf b/pdf/HTTP_request_types.pdf index b1fe2eaca250a9cbfc1ec4e414166dbd0e2d5d8e..0d287185842d0edfb96afe975d6859a7806b2d46 100644 GIT binary patch delta 94 zcmZ4cmTB!S9skxz@f(;=h+xxaLaxek_&yN~| delta 100 zcmbRCo^9HDwuUW?mTMRdrdzFHRAMyP9=nF|9jCL4nUSNDiKU~dxw)H#rHhfPrGbHg bsk4irn}LOkfs3)7f(;=h+xxaLaxek_>hT*- diff --git a/pdf/Law_of_the_Excluded_Middle.pdf b/pdf/Law_of_the_Excluded_Middle.pdf index 5c48100f31e689e3591c5bb3a44a4e471418fbaa..01ad9d2c8c4ee7db653bc8d3365bfc26b09d4785 100644 GIT binary patch delta 94 zcmZ2BjcM65rVVB-jK-7ATa*}$H%GOcVRbfkF*LF?H#RjgH*+>OGq7|vw=i*Ybux5v Ub~G?FG;p<3upy*ma%R_F0P=VlcK`qY delta 94 zcmZ2BjcM65rVVB-j0Tg}goDcBHH63eCUlbV-alA&N^Y&f0KjY)I+%QPlFMgZt6A{YPw delta 121 zcmexF7M2#)Eo>zkjKF7M2#)Eo>zkj0V$7HQ1CG4YtqFU~}Vkc6KwgG%zu9a&obB kbvCdta&vWbGIBLGF?2C7H#Bi|v{SGlq-49I37b0;0Qp-S+yDRo diff --git a/pdf/Logical_possibility_and_necessity.pdf b/pdf/Logical_possibility_and_necessity.pdf index 28d5be788d693954077635114787002d951a2718..a1a6dea9117409fd667308b037d9543ee4105c17 100644 GIT binary patch delta 100 zcmdnJpMCd!_J%EtL01@!rw3nQRAMyVUUr4?6Q{G0v6HEZqpPW*rKOXJi?g$ni@B+* bfrYENlewvdsjG#Zf(;=h+gIOX6kr4ZFPI#a delta 100 zcmdnJpMCd!_J%EtL01?JrUzePRAMyPUUr4?6Q{GAn}La&vw?}ZqoIqFv#E=zv7wWx biSjnX`$Vf(;=h+gIOX6kr4ZCnX#^ diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf index de7c70d8e1fff14d7016d5664f16b84b271515db..7104a64cdc41e8dede493b00a088778f433ca360 100644 GIT binary patch delta 94 zcmbRBgK^dm#tp`0jK-5q%9I$5H;0$qXK^+)baQbwu`oArH8wN0aC0>_c6K$fbhWfJ Ub9Hn!Ft)H$upy*ma%J^G06FOzV*mgE delta 94 zcmbRBgK^dm#tp`0j0TfU%9I!lHiwtpXK{9Nc5^XtadUApb1^ZrGh($ diff --git a/pdf/Morphology.pdf b/pdf/Morphology.pdf index 587e7535648b86bc02f8b2f3c0968e60fe0a88e2..1210fef6f5540a87cf5f01910068e05f4fbf0166 100644 GIT binary patch delta 98 zcmex=o8|v)mWC~ib5t3Pr_WVoRAMyVen6E`o88IG%)rIX%-GD##LURa&BfT&*vZ1h Z!qLUR!qnW-*xXLR#)5#7>AJd%mjIL#8a@C3 delta 98 zcmex=o8|v)mWC~ib5t1(rq5MnRAMyPen6E`o88IW+1$Xw%+bQ!*vQey)Y!z>#K^+L Z$kf8f+{w|v)WlA~#)5#7>AJd%mjHF58E^mq diff --git a/pdf/Negation_Elimination.pdf b/pdf/Negation_Elimination.pdf index d2e61d89ae4d57cf43e6feff308814d9c771dced..5662e1da179e4db861b63a0f41c1d3505a9d8819 100644 GIT binary patch delta 94 zcmdmUn`zH&rVZbgF&a<)zD$YHc(c^<4Xn<_ZWgX429~DIhGxcQj%IGomIf9krcUNg Vh6Zk?ZjNqt3O0n4Oy*s?9stB?8_fU! delta 94 zcmdmUn`zH&rVZbgF&a$%zD$YHV6)Wn4Xn;aj;5xrMsB9&E>6yt&dx3_PL_tw76!%^ VhQ^i_re-E~3O0n4Oy*s?9stY&8_fU! diff --git a/pdf/Negation_Introduction.pdf b/pdf/Negation_Introduction.pdf index 3a570309112c1c6f5dae6a63c09592b9650ff3f0..3fd1543e45f8493d710385f5aa210c8c9a0228c4 100644 GIT binary patch delta 94 zcmX?pkLmb5rVV^68I33NuT)|*-fXl|oz>aZ*~r4k+}y(0z{ted(!|lo%*e^Y#Kp+P V#MRl^%+$zE!G@5M$#d4N1^@}@8O{Iz delta 94 zcmX?pkLmb5rVV^684V`$uT)|**le^?oz>aG%*e#i($dh#(#+Ms($U4q$->FS*vZJn V+{wk%#nr-2!G@5M$#d4N1^^yx8hii% diff --git a/pdf/Object_language_and_meta-language.pdf b/pdf/Object_language_and_meta-language.pdf index 2f34042e3fd29ff5164ce1af830a635cafaffaad..2aefa154800b9995d4ed621024bc3b7c197c0770 100644 GIT binary patch delta 99 zcmeBZ=IChVXxPGN_l?nby8SmsB}U`zN#7W+b2=Nk7(1GnI2pNGx>-6}7#ljf7&sZa Z8e2M%$l1}w(8a*e#M#Nk(8$Ti)z#S0 a#n8#X&A`>w)X2q7!G@5M>BmGE&jSEa4jMfG delta 99 zcmbQbnq}&0mWC~i{k)6@(}(9Olg+|npz|h1_!G@5M>BmGE&jSEeWg0sG diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf index d3b9766b8016819653a75bc22019905b4f3204a7..0b16c01fa432fefea68394e848cad63569295da6 100644 GIT binary patch delta 99 zcmZ4Tm1W6SmWC~iYm69;r>`|)RAMyVe!+0tn}Msj ai?gYdtFwubvyqdXf(;=h)2~`Go(BNa-5dV^ delta 99 zcmZ4Tm1W6SmWC~iYm68Trmr<(RAMyPe!+&_>=;pKp)H?QNMC9#0^+Qly+>O zVaUPUS`iJ32>79u1tEBMXbd>uEKH_|VW1=dN1zYR80o+!LyQJl0mD|Pfw0851Z=j% zGH~CZ$G|V~X$7EvMXUg|M#9rMViZ8ZI4FT<0(3*H0hXgAm4zV_%dG>V_!lX0^y~fWa)1H zgPb!U7>Jck#Ki!_3y?#z1KYDAUtVL3@vWZcb&*e&V_%Set#O(aIpHI2M~Zyfx~i({ z@>fa&d0M2`SJ}86<;C>V_BNPQ__WIM#a>!@vbFcCU_vk@G*2XB>KDfU#n|?s=S!G< zfPSA9>7u+w+r~c!^ng^w61{|xJ^wu$`;%w8jpz!T_a8n&?ud~!4uYUZ%#g)$HoMrw zDFdf5cEl5ZcNeQn5N&`Ckse>QZLfuy( zMeDx8e8fIT)AvW8zxZ*KKA3~m?FdA2eCjK54r#Nu4=DQ|6}cGPl~01NClpT}lTjZKI{V-mWj1r|EfM^dzhpT%XQRpXsxXN!v0Co~#AB1ghDQ}e!99S3s z9`S9I-1;P~fq(mnF}8!vC#D!azhSe)#`k*-LxxS+rKH`LvK3gnxA=>Pu%t$%Xje}p;|ZKH(5HqmY*>sDJ0 zB_`B_j*oPQ7JDvHQ0YjXz?f2YBio2<;8Jj(Qlj6pc#-*Dl66mmCOQrjbu5?i!F;MWYw zR0-{h8hhbO*KmX!i7j&U#sYWj!Tu_91IQX7YB1x{AT z5fU2tq`^!?WRqGNaZ0$U$7@=Ut+mG$Rj;<7ANe$%T17j(#zGiXuN;2c$C^9fVA?W*qe3Ue&KSA&w1s0*Vf*be4^G7Sow03{HiWpT7kqF!H_@0;@sC zRa#)-y+upcUv&TU0_%Q!@;(qZ2-e|z;LPu2EIN743=yJV~4&$Kmr&U{R%kD zYb0)ST0h3=k7v8bA3t_7;KWatv$WXYw`76#z2MXZfO=DfIGkl`da8P~{6xujw`9 zNlilb|8=qI@R@eTj$En0J1Eo<+R?HKrN;%NKbU zbIl)v`HQ3d(-+TIm`7wbK%Uf)yO3-DIpjm!(C-EPD6HWwjO)ndfZey=a$Gj+uZPGj z+xyeSIG<#TDVUjEUV8k|(U;_0*tj!5?NWyeKB(Qbe_N~+W8-42cm^aE5f-CTsC zu$PWdPVa-mnZl}?k?Bw^`X&!Iq9pCgdQ{4?nZP!#>-;Jr_epBt^P2KoO z>>H}t4NUn4Or^WuQ1^I4H-E#{EEVgPO4)-{uPjaOw={XYr5kttHA8PKC)JNVUm0re zHPo>GYMR1-R@1c=-x^!>x~=Mlt+#wg@usB2tCA&H23h|io0QE3PrQ{_+tZGg)ht_} zOt1>?1j96F6kZgDmquM9nZXv0m!V;B2d_s%ufAn5wbbjve{b~lC0QdW+^v$Y@SdWc zyq3gj06f{+%g4jhDlMvQ5@g9%I)snX(hsw8m<~&S_*{XeES(J}X$9|9u^d;+!VlBM zWH`^uYFK9T45Blva^$bz6SR%j#6j0(HU(b11mQeVt^rVdx1Cq9jhDyay?bxMWyF^r z!VJ}#v0cuKb*H+&@{4%Iv$ZV!a11$CZsQg8n&PfNhqF~2!){{Sjk?ROTcjan@z(a1 zFUu1xz;u>R2Qkmu8`>s`Rsjr-8Ph~}>R&>}(l@1F<=fGMMgG8GdVIiF)=tqI5amfLpDM(GdMRxH%2%zLpDP`AUs4xMm9z>IWjmgF*rmx zG&e9qHbOEpI5$H#MmRDMB}Gq03N1kJ Aj{pDw delta 2643 zcmV-Z3as^jw+Vr_39xAf5HmG6VPi98GcYhSVmCN5V}p4Hhj|78w|NEvdPo5sR2m_D)H75Cp)fsj0H#ILYMUB+fhWfstsL zi7YxKl}YB;&({D+k+S8-9(E5q)LT~Lhat(oU}S*ozXAF;Yzk(U@b$iC;(?B#>~R&)){yZ0ZEJ8EK$LlEMLFl@P6EKas@ zMxN6cJCTWhyN)#yW)e{j2|F=J&|7GYoW=8YtTvv|vKX))BA|?t;1HRUG{N_4q3LU% zqD@~@K2jgj{N2&#FWEFmKRSoi-3TH%Jl2L2V zmAG}3hO7Z4?V^c@tc_ZPeKcNexqhZO*ZVc3^_GbpOW@ps!m`-(~_FH)8K^`eaTrz zuCLbW$z`W?+R;|sKz7NlWv99&pHou|wGQUVJFdJlGVP{lS?f;Cb{y7@cw@irZjXz) z9GBOBLp)o}(@yDntlAxYwAN1C$>?K@FWx`@xBCD8K7p(L}ZseA3WL zN0dlRP(s6E6qRv|K1xfpiO{eO6vm&Uavzjf?e9~nP}csos!Hc7|@Nsf_ws8KLZwi7Qoh}I?~jj|?ofWiq#7?fmx zIM4`VI|ipU;bk1D@_iR2G$9>oobs?}&qotWi333BhSs1SB#cytmRh5wll7Q3o-vt+qaSrLa% zXyS_uWg;P)G}44qB26>i(7bG;J*=o^wR!!-7t^U#b<@XG2$SlyqfIXe#-a~_r)jOb zLA<<~&jn-c3>&M2PRm%V66HD0 z2Yc0&&Icw*aLh2SLD0)<J9#q9L;}`q_ zxl+uo%b;qJR%d{;{t-_ieBoSMB;6 zAacd_et$VFX8CdsGxO8ajDB>?D)v#?urr``X~KmMYJcrt6)J4QVQ*pDv|$SdQEdE{ zf^7n&X5&g1Llh2wO=`3&sf{(N7ruv*l-~nFNWVj*Ic;>PZv9^OqQBeWxWM0|lIiCn zio!uUqM+{YQtN#!VBAOd%N6+ckVVRM3xP=$_ZGv+tuU66X?Et5%UO!NSbeVjD-n?p z`)QT=-|@CqA%o!eO39pLR zON3~K+}ZM#yw1*T1;U1%X46g+Z?jY0Y^S-qo!5NRH%xVxAhmr{X??e*s+&!vA=%S7kO% zm$UJCQPtxrKhF`Jaa|C9jZe@nT@!mJ7zxfgWe4IE3AVxEp<)T~|mWW$D)T ziZ9D9Jz%;h=A)2j-3@JL0^F71JxCfmseW?AqX`JB_%~qMhZrC B_fh}= diff --git a/pdf/RESTful_APIs.pdf b/pdf/RESTful_APIs.pdf index 655a19a42fb980fb526d869bf98f89aa4afc0bd5..fcad1278af0a02a9d39eb6d07b704f7070ee8c66 100644 GIT binary patch delta 99 zcmbQRi*3R#wuUW?k0&r1Pk%CjQHjxbJNrb&ja*K~Zmuq7CN2g>M&@qjZWb0UW=~u;M&rrcCzTkDH|w2z#_DY7WN6@O>11STZft5{YU=FlXy$5e;%eby UX=Y?%ZsKC6U_(gB~u;MuW-RCzTitHtU^y#_H^B}2L* UXzXHYYG7ffU_(gB)P3h<~rG^&97N!>F7M2#)7Pc1lEgZ#7jK}2R@=xk~1 nXky`F;A-IP=4@=_WaMmUWMS!M3S>IkDcBHFvOTAR<0caThg%)P3h<~rG^&97N!>F7M2#)7Pc1lEgZ#7j0V$7nmCjg4Yp5j;+Vwh?Cj=fY-wrf o}+CeU}EZOYH4Qa=4$R}Xs2L9NXhn`4vw2l0D`?APXGV_ diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf index e16aef0d2ef3ee29541ae69b0095245ba62beb6f..ba45cbc3d30f2af3636a323450b5946b5b743a6a 100644 GIT binary patch delta 100 zcmaDooBj1{_J%Etj}9^#Pk(%nQHjxbJKG_~YA$CZLvu3=7ZWpACu2h+Cs$)Itziq}x(Y_)>FX;Pl^Bh;U#ehqMbux2y ZHn4CpH8(bNbaAv(upy*mdRQal8vv~I8&CiM delta 99 zcmX@q!gi>Itziq}x(Y^v>FX;Pl^6}SU#ehqdZvHDot1 zFf?R?xCMu}1p&9X1p-Mu0W+5ZLjocJGq)u}0u2KKypFdtMglJZf5;d+#^fVY46g+y zB_=T@BTW8i3#7HwswQq1rnSr*lcW~N+fw7Yy4=vvAn;w5HH@+@=C$foC*Sta)w*iS zFuAK$C$)wzb+Kd51t#a1oMH01zne|5$>z-lwowgh-mbo@%}HzG#yfd^bYAXjv%I~t z4Ndcnn!HYY@!K9lf90m3r?sK8der%r32Y`LZRGY0r8bAUs;Qc9pY+CVFE#NEd&bb4 zV_bFtkGiOvIh=0LxTurq7Ws9{JwyH82QBoiPs!i^PyYY^Vh*h3;5BgGfjtH`LphYV zH~D}3X|0EbRQakd$Tl_Yz9A2Xks+`3Job-2>D&-cJ6@B|f3rP5E5uOXHtldsR`uI# z$Dd-bIoH?jxa%mIpC<*Y4M$TNVHY#$+!z=p^a|-}0HxGWSE-B;Fr57=?0+xU z|K)P_6BAPBz0}oyUiq$-kT$g;7raWed@`gc(P?XY{((NLlLhWMDon<*U}$}O{ycR--P$0UdqPKDaxfAbKAYuV}{KA$tt1-R(5`gkW0B7{Qob!P6!Ja=1}#V;Q{Jg~m~ZG~k-y3TVF^L4 zmy=Epf5QSqiqHa2UF2ObXbMr%_YZk15Rne^5=ID;K8+&3J+x{}V1k({s8>1N^sH*U z&nmwnNTu`=1fATaN)6ewtGAk3`>T{tra9lp*NkYr7nP>Ye z{d0|R`xM5H-@LlHylycb*x5n2b`{~$86;e{T`=mpV6@K#2VAX~*Jcm%apiF^2J|#|aZ$DbUvi)n@Zp)uy_p{4iZr;AA?0$5KX%2>Sh_m>nh;h>x zuA|O``(k6b5Kmud&tZ8%kjdjw@O+=E78zv!NXohz@}Z$c)mlh;e3c=YMKVjnvh6M` za4q^*l4l*BSiRH zw0!a5+u|XaZ(-ZVsv<>1!?NIk;b~kvYzbSPpk=pg6VKd12VNU>; zpyzN`LoeW75SWFnk~k6e3AlfxH*hCJe}_BrHrH^k)}fn3rWNitciB&!efD!J{`uGs zj#@7n0wKAzY;F%DRJXRXn%HI*A=;a2kGtJ;e(<{GUFnNh3GQ|h7m0slz4Pv-vu5y> zs(&nhmgYr?z6vb&=tW!=f4BghH|e;1D2S<^;IAyf*Q>tbP4?Ry=4=d}v}60*hjY(u z#~M_(4pq2aP{rd=-P57&-mkkzEqjDi(I8ciBaNPpbm#uM22^YSA4kfcj&$divIcZxLE)|aRxj1=aiHS+e=ewwn@ZDg%GROk z4XE-vaw?-1P}%ZQ^Eghmi4)&m7Wn#d38>)a@Yi%)tlqj;uU^9o!?hUvdRb1>Id=8X z@PiLO8bX6pYA6J)y6&06MueZl_{L-WNXF-?7oe^Je3>U-@WYZe*3gr$da7u5PgS|n zD}0@(<)#|tYBgq$e;Uh&ld6eVo&gR~gL1Dv2ZAB^J?tMlckT;|E3e2B|Ic2^|%m!trh`>c=OTKVqd zWR}fA)PEw<$4{z!^#Ys(-@Uq4QS|XMtfnmcM4I3z^dg<5f8`p$mDKIJ5ev9)DAQ3q z9mIqRm@ z_V$x{oBB5tc_lcPiBAG-LpU}$LNho;FhfN|FhMXkG(|B(Mnpq7MnX3+K{+)>Mm``s pI5s&#GdM*sLq$X|K`=KoMKME0L_;}7LN_r%IWVG&P66#9VSE4p delta 2267 zcmV<12qgE0qX~wi39y<15Hw+AIAJh1VlrfAGcYnUH?yh&{sIs*VPrUAFgIc{WM(rk zGBY=WxCMu}1p&9X1p-Mu0Wg;WLjocJFt;T`0u2KK+=jO_MglJZe+V(_7?Y1oF}xO- zl$gYrj4=75Es)kytD3l7nAS3LOp;n4Z%d8q>T*LvgTQxL)-cMtnAfUToqXFvSL>=R z!{n}3ozxn>)WwcH7nq!5a)!z4{%$tKCYv`K*hV$1dAs_qHYcr#8}H=x(RsPA&GPon zHZ;vQYVtbq#cz8If0dhtp4NuW>QU!gCa{^1w2|90l-eBXs-|kbebO7dz0|}v>={FE zj&a!qJnEuu=5V?}ZYW z|Ch_zPfSRi_fl8;dF8uSLfX`ZT<|K<^2v~*M5nFo`3L%ZGj>SrMyf3Oa8&~*dCMGP z@}6yt1RTaOf3V1Cff7!E+o7B^-s!lk*OLJzB5tbos?PVVv`d3MJU^9wl+(BhL_NG- zt%b(W)nfM@HEUDg>w>Sh^I`Qg5*2}=Ry1@}Q=z-kK|)3xOp%e-7bc|D8Vm?|pMnE8 z6@jdcBIxJ17~*3RZ>Dr`D7VZ)-T{FEACn+fI2CG#f6qf0u4Su-_<+jTTEKxZz^-wq z%IBSopw;*%H3F16qr4mr%()R&Hlzk_=mEP&qHUcE4(cVU8f9>r(UCC{;gusVQb`PD z24%1|NLRHHrlBU1wvuRML%Y(Ek3~M;NcpzFP{{if7_=aXOnIl`VZNb{MgA%Wge3&E zUQRkae+&x{DMAZ8b&+?$peaO2-#_H7KtwvsOBf+Y`ZS9C_Ry*^feB`+pkC#4)3d7a zKC2A#|4k{hHg%!g)C!F@IPU$(qY82@eFFVZF&`MDmyoO8#`sw8m#K2z|55I?buz^R z+-Xvb@^n#Vc{tF$if7RB^8L-fUcUd~;^kE~e~af_3{JA?7zC#Aq#!Ctp7^8cKv_cu z!r{ryT5vQ8lSPk<5gu8M1KDTs;+G_yJXA#-5ZeYkg3@^zPt(!yd@@Z4>(T2nnY{%^ zk9zc7)d^ND=y-^8JPIDsV|q%@=sCThujwVdqBk_AcXUL@G@K|DaPkqjQ?k ze+A8HK}))%Unm>^Jnpj;#xlBnn0}0oS0~rMyuYaFV1uhL^YU?R@*>}!tFK*}8)){_#r8D-OK4(V(b zS3KRP6;+>FWM%UN2=h-Dr^$U8azWW5f63EqOh41l%dAX%tIvhjz;XGICkZXTW}fY@ z^v^ZM?Nb;(e)H<)^18)%U}p#6+Es*0XOM8+cEPCYg3&$~9B{Q_UYkA4$CbyeybbAV zc^dtzV|nxx%irIey?cHMmcPvA*+mJa?^%0Vk%45me=2;B5w+}Q9ar?%wz5QtY%J#2qyDfi;-Onz6xq17dvis2`ra2hSA(vIzKAI?3u z9cxhCI#l6yK^2cfbx()7d%x}?wd@g6MT1m5jx>5Y(w+P38c?wTl(&KMs0ON|M}a!_ zbfCL8#5JU99jRg+N_9gie;g@)I?|n6${Ns(1%Wr-C7^Jv3l!Xy?PBV4A)}t>t#7j=h)Rl z!w)|EXb25Xsi6?G>bhqN8xejI;~S6hBN?BoUVyp^@MWHS!4FH?SVK>~>ZzjLJyqpO zukdxEmYZsntJRo2e`-`)%@#CD*J|V*HN2%p*)3{Bt%hw?6MA;04)63}mX1!d(crp_ z^RiFEtJkA=P?WI657J@~4{(Cwd@znntj?FCa+xQC@*yq<*$6KR5@(2I1If0kcgu7-9<1i&KF?+YsD(S9_*);pU|So$t?3XIHI%S$U6?T! zOm%MGggiw%HiRVT@3!p6&%nE;*`yaDN&Q9DDn2xB?5T=sAD<*IAtuq^ilhl8uNTSu z*xOI)ZR+1Q10^z-iBAG-Lqj<;Ha0>qIXFc#I6_1;LpMY?LqbC|LqbD1Lo+ooIX)mf pLpd`xHbO8tI7Kr!LPRt}H$*r?LPIn|LPI!1Gc_?ew>VG&P67B5YS;h( diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf index 1caad950dd86f012f770b82a757846a5490a1f97..d2ae8d7b4fd5f8a589b08fdbe14f2f5eeefbbda8 100644 GIT binary patch delta 105 zcmZ4Wfo0VPmWC~iC-qs34UEjDpVeoS2eY<+&}UR-cQ$r$bv7_HvM_fsa5c3sFgCO_ cGj%pMbT%+Hv2-?Zv#?XJA*5t_ggN6S069(@zyJUM delta 105 zcmZ4Wfo0VPmWC~iC-qqj42(>tpVeoS2eY<+&}UR-ceb#wFmrJ=aC9>@cXM?yHaB-Q cFfuZ*baS?FGBEh~ar(i=!$#(9^Oa)8;B9R_0 diff --git a/pdf/The_binary_number_system.pdf b/pdf/The_binary_number_system.pdf index e3ed4490e9a7b9f868e7f84ec3747551b5083ca3..5ed368742d79b35afc3d765854f7afcf21404193 100644 GIT binary patch delta 102 zcmZ4Wn`6~)j)oS-EllXG-94Hga-yG&8htHZnCcb#yf}cXl>6 cc5<>Xw{UTBG_Z7bwo|Ynq-49B4O0pu0O+O~a4=({tn)l^Bh;_scP!WOueOGBdDrGIum`HFmOeH8nRkws12w YvIO!BEuGBV4D1wa2q~F9TaEDn0G7xawg3PC delta 99 zcmex;j^+0`mWC~i*>a2q({tn)l^6}S_scP!WOp`mcC|2fvotqwbaFCxb#^f{v@kU_ Zws3TDHE=X=GcvPNupy*m`fN4E2LPx28xQ~h diff --git a/pdf/Turing_machines.pdf b/pdf/Turing_machines.pdf index b0d35e16834e754b6bfbd1ff06b6f06b6bfbe249..683929f107e06c41b99e91fd09732919a2a04d76 100644 GIT binary patch delta 100 zcmaE`nC-!0wuUW?3)>lur!Q(}RAMyVezcwOI)}57rICxXnX{3xv6+FRsj-uhvzwu- bnUlGRlbegBsgbFjf(;=h+wV_cWMl*YBiI}o delta 100 zcmaE`nC-!0wuUW?3)>kDrY~w|RAMyPezcwOI)}4~o1u%jg^8o1p}C2PlYz0Zn}La$ btBZ-bnVYGbv5UE#f(;=h+wV_cWMl*YAUzxi diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf index 8a024505c665a7b45a0eb33d06cb1378599b1a21..c10aa1b1616e995e51ae8bd023ca101e08572176 100644 GIT binary patch delta 99 zcmeA>%+hz5rC|$Wza*pa^a+xTN{q(aH%l@eVskceax-#vwlH)yHZU@9bv8G5Gc&a? Zax-;tG;=jDa5cA6upy*m`VIxgYXD*?8e9MX delta 99 zcmeA>%+hz5rC|$Wza*o<^a+xTN{j~EH%l@eVsmyhb}@9cG;=g@c675eadI>;adR^> ZF*9;=bFwrtGcvMMupy*m`VIxgYXE1`8g>8x diff --git a/pdf/Von_Neumann_architecture.pdf b/pdf/Von_Neumann_architecture.pdf index 0d81307c43688d8f53f9edb0bfaf0e0e588de42b..ff1b528c8f55429c66870c79583618699eb64958 100644 GIT binary patch delta 104 zcmdmZfp6mlzJ?aY7N#xCt}_^or@PHyR$?^Xo;ibAn$OwI#L39X)Y!QWl8Jd~6*eTc$QnLNOF_SVQ0C^A@t^fc4