Image or-gate-new.png is used in the following files: /home/thomas/repos/eolas/zk/Logic_gates.md:![](/img/or-gate-new.png) /home/thomas/repos/eolas/zk/Logic_gates.md:![](/img/xor-gate-new.png) /home/thomas/repos/eolas/zk/Logic_gates.md:![](/img/nor-gate-new.png) Image charge-cylinder.svg is used in the following files: /home/thomas/repos/eolas/zk/Current.md:![](/img/charge-cylinder.svg) Image react-lifecycle.png is used in the following files: /home/thomas/repos/eolas/zk/Lifecycle_methods.md:![React component lifecycle](react-lifecycle.png) Image kernel-cpu-interaction.svg is used in the following files: /home/thomas/repos/eolas/zk/Relation_between_kernel_and_CPU.md:![](/img/kernel-cpu-interaction.svg) Image sql-left-outer-join.png is used in the following files: /home/thomas/repos/eolas/zk/Joins_in_SQL.md:![](/img/sql-left-outer-join.png) Image sam-directory.png is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/_img/sam-directory.png) Image series-battery-diagram.svg is used in the following files: /home/thomas/repos/eolas/zk/Cells_and_batteries.md:![](/img/series-battery-diagram.svg) Image Screenshot_2021-05-11_at_18.55.23.png is used in the following files: /home/thomas/repos/eolas/zk/Algorithmic_complexity.md:![Screenshot_2021-05-11_at_18.55.23.png](Screenshot_2021-05-11_at_18.55.23.png) Image mongoose-hierarchy.svg is used in the following files: /home/thomas/repos/eolas/zk/Creating_a_schema_and_model.md:![](/img/mongoose-hierarchy.svg) Image 1.4-Input-Process-Output.png is used in the following files: /home/thomas/repos/eolas/zk/Defining_a_computer.md:![1.4-Input-Process-Output.png](1.4-Input-Process-Output.png) Image LMC_5.gif is used in the following files: /home/thomas/repos/eolas/zk/The_Little_Man_computer.md:![LMC_5.gif](LMC_5.gif) Image queue.svg is used in the following files: /home/thomas/repos/eolas/zk/Queue.md:![queue.svg](queue.svg) Image virtual-memory-diagram.jpg is used in the following files: /home/thomas/repos/eolas/zk/Virtual_memory_and_the_MMU.md:![](/img/virtual-memory-diagram.jpg) Image draw.io-Page-8.drawio.png is used in the following files: /home/thomas/repos/eolas/zk/Reducing_fractions.md: ![draw.io-Page-8.drawio.png](draw.io-Page-8.drawio.png) Deleted unused image: signed-conversion.png Image ground-symbol.png is used in the following files: /home/thomas/repos/eolas/zk/Ground.md: Image dipole-again.svg is used in the following files: /home/thomas/repos/eolas/zk/Electromagnetism.md:![](/img/dipole-again.svg) Image series-battcircuit.svg is used in the following files: /home/thomas/repos/eolas/zk/Cells_and_batteries.md:![](/img/series-battcircuit.svg) Image conjunc-elim.png is used in the following files: /home/thomas/repos/eolas/zk/Conjunction_Elimination.md:![](/img/conjunc-elim.png) Image standard-userspace.png is used in the following files: /home/thomas/repos/eolas/zk/Containerization.md:![](/img/standard-userspace.png) Image parallel-battery-diagram.svg is used in the following files: /home/thomas/repos/eolas/zk/Cells_and_batteries.md:![](/img/parallel-battery-diagram.svg) Image switch-and-gate.png is used in the following files: /home/thomas/repos/eolas/zk/Transistors.md:![](/img/switch-and-gate.png) Image negate-intro.png is used in the following files: /home/thomas/repos/eolas/zk/Negation_Introduction.md:![](/img/negate-intro.png) Image jk-flip-flops.png is used in the following files: /home/thomas/repos/eolas/zk/Flip_flops.md:![](/img/jk-flip-flops.png) Image disjunc-intro.png is used in the following files: /home/thomas/repos/eolas/zk/Disjunction_Introduction.md:![](/img/disjunc-intro.png) Image postman-lambda.png is used in the following files: /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/postman-lambda.png) Image lsof.png is used in the following files: /home/thomas/repos/eolas/zk/Monitoring_processes_and_resources.md:![](/img/lsof.png) Image step4.png is used in the following files: /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![](/img/step4.png) Image cell-comparison.svg is used in the following files: /home/thomas/repos/eolas/zk/Cells_and_batteries.md:![](/img/cell-comparison.svg) Image draw.io-Page-9.drawio.png is used in the following files: /home/thomas/repos/eolas/zk/Dividing_fractions.md:![draw.io-Page-9.drawio 1.png](draw.io-Page-9.drawio.png) /home/thomas/repos/eolas/zk/Dividing_fractions.md:![draw.io-Page-9.drawio 2.png](draw.io-Page-9.drawio.png) Image drawio-Page-7.drawio.png is used in the following files: /home/thomas/repos/eolas/zk/Reducing_fractions.md:![drawio-Page-7.drawio.png](drawio-Page-7.drawio.png) Image cloudwatch-logs.png is used in the following files: /home/thomas/repos/eolas/zk/CloudWatch.md:![](/img/cloudwatch-logs.png) Image Pasted_image_20220411082627.png is used in the following files: /home/thomas/repos/eolas/zk/Package_management.md:![Pasted image 20220411082627.png](Pasted_image_20220411082627.png) Image container-lifecycle.png is used in the following files: /home/thomas/repos/eolas/zk/Docker_containers.md:![](/img/container-lifecycle.png) Image memory-flow.svg is used in the following files: /home/thomas/repos/eolas/zk/Memory.md:![](/img/memory-flow.svg) Image rebase-tip-chage.svg is used in the following files: /home/thomas/repos/eolas/zk/Rebasing.md:![](/img/rebase-tip-chage.svg) Image opensearch-architecture.drawio.svg is used in the following files: /home/thomas/repos/eolas/zk/OpenSearch.md:![](/img/opensearch-architecture.drawio.svg) Image FL-Databases-1.5_terminology.gif is used in the following files: /home/thomas/repos/eolas/zk/Relational_database_architecture.md:![](/img/FL-Databases-1.5_terminology.gif) Image apollo-explorer.png is used in the following files: /home/thomas/repos/eolas/zk/Apollo_Server.md:![](/img/apollo-explorer.png) Image nand-mem-second.gif is used in the following files: /home/thomas/repos/eolas/zk/Creating_memory_with_NAND.md:![](/img/nand-mem-second.gif) Image circ-batt-final.svg is used in the following files: /home/thomas/repos/eolas/zk/Cells_and_batteries.md:![](/img/circ-batt-final.svg) Image systemd-global-files.png is used in the following files: /home/thomas/repos/eolas/zk/systemd.md:![](/img/systemd-global-files.png) _`systemd` global unit files_ Image dsfdsfsdfwe.png is used in the following files: /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![](/img/dsfdsfsdfwe.png) Image graphql_multiple_resources.png is used in the following files: /home/thomas/repos/eolas/zk/Key_characteristics_of_GraphQL.md:![](/img/graphql_multiple_resources.png) Image mongo-doc-added.png is used in the following files: /home/thomas/repos/eolas/zk/Adding_documents_to_a_collection.md:![](/img/mongo-doc-added.png) Image sr_latch_logic_circuit.png is used in the following files: /home/thomas/repos/eolas/zk/Latches.md:![](/img/sr_latch_logic_circuit.png) Deleted unused image: 74181aluschematic.png Deleted unused image: wiresnstuff.jpg Image server-listening.png is used in the following files: /home/thomas/repos/eolas/zk/1_GET.md:![](/img/server-listening.png) Image normal-merge-again.svg is used in the following files: /home/thomas/repos/eolas/zk/Rebasing.md:![](/img/normal-merge-again.svg) Image half-adder-gates-three.png is used in the following files: /home/thomas/repos/eolas/zk/Half_adder_and_full_adder.md:![](/img/half-adder-gates-three.png) Image half-adder-new.png is used in the following files: /home/thomas/repos/eolas/zk/Half_adder_and_full_adder.md:![](/img/half-adder-new.png) Image git-interactive-rebase.png is used in the following files: /home/thomas/repos/eolas/zk/Rebasing.md:![](/img/git-interactive-rebase.png) Image lambda-overview.png is used in the following files: /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/lambda-overview.png) Image git-interactive-mode-2.png is used in the following files: /home/thomas/repos/eolas/zk/Interactive_staging.md:![](/img/git-interactive-mode-2.png) Image one-eighth-a.png is used in the following files: /home/thomas/repos/eolas/zk/Dividing_fractions.md:![one-eighth-a.png](one-eighth-a.png) Image equiv-fractions.png is used in the following files: /home/thomas/repos/eolas/zk/Equivalent_fractions.md:![equiv-fractions.png](equiv-fractions.png) Image terminal_colours.png is used in the following files: /home/thomas/repos/eolas/zk/Formatting_output_text_in_Bash.md:![](/img/terminal_colours.png) Image negate-elim.png is used in the following files: /home/thomas/repos/eolas/zk/Negation_Elimination.md:![](/img/negate-elim.png) Image DMUX.png is used in the following files: /home/thomas/repos/eolas/zk/Multiplexers_and_demultiplexers.md:![](/img/DMUX.png) Image sr_latch_diagram.png is used in the following files: /home/thomas/repos/eolas/zk/Latches.md:![](/img/sr_latch_diagram.png) Image analog-digital.svg is used in the following files: /home/thomas/repos/eolas/zk/Analogue_and_digital.md:![](/img/analog-digital.svg) Image clock_pulses.png is used in the following files: /home/thomas/repos/eolas/zk/Clock_signals.md:![](/img/clock_pulses.png) Image negated-conjunction-decomposition-rule.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![negated-conjunction-decomposition-rule.svg](negated-conjunction-decomposition-rule.svg) Image proof.png is used in the following files: /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![proof.png](proof.png) /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![](/img/theoremproof.png) Image Pasted_image_20220319135558.png is used in the following files: /home/thomas/repos/eolas/zk/Binary_number_system.md:![](../../img/Pasted_image_20220319135558.png) Deleted unused image: alien-blood-alien.png Image diode.png is used in the following files: /home/thomas/repos/eolas/zk/LEDs.md:![](/img/diode.png) Image hexadecimal-to-bytes.svg is used in the following files: /home/thomas/repos/eolas/zk/Hexadecimal_number_system.md:![](/img/hexadecimal-to-bytes.svg) Image conditional-decomposition-rule.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![conditional-decomposition-rule.svg](conditional-decomposition-rule.svg) /home/thomas/repos/eolas/zk/Truth_trees.md:![negated-conditional-decomposition-rule.svg](negated-conditional-decomposition-rule.svg) Image harddisk.png is used in the following files: /home/thomas/repos/eolas/zk/What_are_disks.md:![](/img/harddisk.png) Image postman-aws-output.png is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/img/postman-aws-output.png) Image full-adder-new.png is used in the following files: /home/thomas/repos/eolas/zk/Half_adder_and_full_adder.md:![](/img/full-adder-new.png) Image graphql-architecture.png is used in the following files: /home/thomas/repos/eolas/zk/Key_characteristics_of_GraphQL.md:![](/img/graphql-architecture.png) Image and-gate-new-2.png is used in the following files: /home/thomas/repos/eolas/zk/Logic_gates.md:![](/img/and-gate-new-2.png) Image state-machine-definition.png is used in the following files: /home/thomas/repos/eolas/zk/Step_functions_and_state_machines.md:![](/img/state-machine-definition.png) Image lambda_func_one.png is used in the following files: /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/lambda_func_one.png) Image 3-bit-adder-diagram.png is used in the following files: /home/thomas/repos/eolas/zk/Three_bit_counter.md:![](/img/3-bit-adder-diagram.png) Image mount-directory.png is used in the following files: /home/thomas/repos/eolas/zk/Filesystems.md:![](/img/mount-directory.png) Image conjunc-intro.png is used in the following files: /home/thomas/repos/eolas/zk/Conjunction_Introduction.md:![](/img/conjunc-intro.png) Image gateway-trigger.png is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/img/gateway-trigger.png) /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/api-gateway-trigger.png) Image grub.jpg is used in the following files: /home/thomas/repos/eolas/zk/Boot_process.md:![](/img/grub.jpg) Image sync-thread.svg is used in the following files: /home/thomas/repos/eolas/zk/Event_loop.md:![sync-thread.svg](sync-thread.svg) Image switch-or-gate.png is used in the following files: /home/thomas/repos/eolas/zk/Transistors.md:![](/img/switch-or-gate.png) Image valence-shell.svg is used in the following files: /home/thomas/repos/eolas/zk/Electrons.md:![](/img/valence-shell.svg) Image proofs-drawio-Page-5.drawio_2.png is used in the following files: /home/thomas/repos/eolas/zk/Theorems_and_empty_sets.md:![](/img/proofs-drawio-Page-5.drawio_2.png) Image python-exception-hierarchy.png is used in the following files: /home/thomas/repos/eolas/zk/Error_handling_in_Python.md:![](/img/python-exception-hierarchy.png) Image git-manual-hunk.png is used in the following files: /home/thomas/repos/eolas/zk/Interactive_staging.md:![](/img/git-manual-hunk.png) Image ORelim2.png is used in the following files: /home/thomas/repos/eolas/zk/Disjunction_Elimination.md:![](/img/ORelim1.png) ![](/img/ORelim2.png) Image multi_on_off.gif is used in the following files: /home/thomas/repos/eolas/zk/Why_computers_use_binary.md:![multi_on_off 1.gif](multi_on_off.gif) Image em-spectrum.jpg is used in the following files: /home/thomas/repos/eolas/zk/Electromagnetism.md:![](/img/em-spectrum.jpg) Image Turing_machines_01.gif is used in the following files: /home/thomas/repos/eolas/zk/Turing_machines.md:![Turing_machines_01.gif](Turing_machines_01.gif) The direction that the Image xor-gate-new.png is used in the following files: /home/thomas/repos/eolas/zk/Logic_gates.md:![](/img/xor-gate-new.png) Image greyscale-encoding.svg is used in the following files: /home/thomas/repos/eolas/zk/Binary_colour_encoding.md:![](/img/greyscale-encoding.svg) Image em-wave.gif is used in the following files: /home/thomas/repos/eolas/zk/Electromagnetism.md:![](/img/em-wave.gif) Image negated-disjunction-decomposition-rule.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![negated-disjunction-decomposition-rule.svg](negated-disjunction-decomposition-rule.svg) Image mongo-compass.png is used in the following files: /home/thomas/repos/eolas/zk/Create_database.md:![](/img/mongo-compass.png) Image disjunction-decomposition-rule.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![disjunction-decomposition-rule.svg](disjunction-decomposition-rule.svg) /home/thomas/repos/eolas/zk/Truth_trees.md:![negated-disjunction-decomposition-rule.svg](negated-disjunction-decomposition-rule.svg) Image multiple_circuits.gif is used in the following files: /home/thomas/repos/eolas/zk/Why_computers_use_binary.md:![multiple_circuits.gif](multiple_circuits.gif) Image step2.png is used in the following files: /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![](/img/step2.png) Image and-transistor.png is used in the following files: /home/thomas/repos/eolas/zk/Transistors.md:![](/img/and-transistor.png) Image Pasted_image_20220319135805.png is used in the following files: /home/thomas/repos/eolas/zk/Binary_number_system.md:![](../../img/Pasted_image_20220319135805.png) Image sam-build.png is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/img/sam-build.png) Image serial-transmission.jpg is used in the following files: /home/thomas/repos/eolas/zk/Bus.md: Image hardware-abstraction-hierarchy.png is used in the following files: /home/thomas/repos/eolas/zk/Hardware_abstraction_and_modularity.md:![](/img/hardware-abstraction-hierarchy.png) Image logical-falsity-tree.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![logical-falsity-tree.svg](logical-falsity-tree.svg) Image gateway-services.png is used in the following files: /home/thomas/repos/eolas/zk/API_Gateway.md:![](/img/gateway-services.png) Image signed-to-unsigned.png is used in the following files: /home/thomas/repos/eolas/zk/Signed_and_unsigned_numbers.md:![](/img/signed-to-unsigned.png) Image atom-diagram.svg is used in the following files: /home/thomas/repos/eolas/zk/Matter_and_atoms.md: Image complex-tree.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![complex-tree.svg](complex-tree.svg) Image hardware-sim-basic.png is used in the following files: /home/thomas/repos/eolas/zk/Hardware_simulation.md: Image negated-biconditional-decomposition-rule.drawio.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![negated-biconditional-decomposition-rule.drawio.svg](negated-biconditional-decomposition-rule.drawio.svg) Image javascript-recursion.png is used in the following files: /home/thomas/repos/eolas/zk/Recursion.md:![javascript-recursion.png](javascript-recursion.png) Image unsigned-to-signed.png is used in the following files: /home/thomas/repos/eolas/zk/Signed_and_unsigned_numbers.md:![](/img/unsigned-to-signed.png) Image biconditional-elim.png is used in the following files: /home/thomas/repos/eolas/zk/Biconditional_Elimination.md:![](/img/biconditional-elim.png) Image nand-gate-new.png is used in the following files: /home/thomas/repos/eolas/zk/Logic_gates.md:![](/img/nand-gate-new.png) Image containers-in-userspace.png is used in the following files: /home/thomas/repos/eolas/zk/Containerization.md:![](/img/containers-in-userspace.png) Image magnetic_field.png is used in the following files: /home/thomas/repos/eolas/zk/Electromagnetism.md: Image bi-intro.png is used in the following files: /home/thomas/repos/eolas/zk/Biconditional_Introduction.md:![](/img/bi-intro.png) /home/thomas/repos/eolas/zk/Logical_equivalence.md:![bi-intro.png](bi-intro.png) Image or-transistor.svg is used in the following files: /home/thomas/repos/eolas/zk/Transistors.md:![](/img/or-transistor.svg) Image square.svg is used in the following files: /home/thomas/repos/eolas/zk/Algorithmic_complexity.md:![square.svg](square.svg) Image sql-inner-join.png is used in the following files: /home/thomas/repos/eolas/zk/Joins_in_SQL.md:![](/img/sql-inner-join.png) Image MUX.png is used in the following files: /home/thomas/repos/eolas/zk/Multiplexers_and_demultiplexers.md:![](/img/MUX.png) /home/thomas/repos/eolas/zk/Multiplexers_and_demultiplexers.md:![](/img/DMUX.png) Image disjunc-elim.png is used in the following files: /home/thomas/repos/eolas/zk/Disjunction_Elimination.md:![](/img/disjunc-elim.png) Image cloud-formation-stack.png is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/img/cloud-formation-stack.png) Image graphQL_request_load.png is used in the following files: /home/thomas/repos/eolas/zk/Key_characteristics_of_GraphQL.md:![](/img/graphQL_request_load.png) Image s3-package-again.svg is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/img/s3-package-again.svg) Image access-key-aws.png is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/img/access-key-aws.png) Image Screenshot_2021-05-11_at_18.51.02.png is used in the following files: /home/thomas/repos/eolas/zk/Algorithmic_complexity.md:![Screenshot_2021-05-11_at_18.51.02.png](Screenshot_2021-05-11_at_18.51.02.png) Deleted unused image: opensearch.drawio.svg Image transistor-off.png is used in the following files: /home/thomas/repos/eolas/zk/Transistors.md:![](/img/transistor-off.png) Image single-git-history-rebase.svg is used in the following files: /home/thomas/repos/eolas/zk/Rebasing.md:![](/img/single-git-history-rebase.svg) Image vertical-circuit.png is used in the following files: /home/thomas/repos/eolas/zk/Circuits.md:![](/img/vertical-circuit.png) Image integrated-circuit.jpeg is used in the following files: /home/thomas/repos/eolas/zk/Integrated_circuits.md: Image nand-mem-demonstrated.gif is used in the following files: /home/thomas/repos/eolas/zk/Creating_memory_with_NAND.md:![](/img/nand-mem-demonstrated.gif) Image nand-mem-first.gif is used in the following files: /home/thomas/repos/eolas/zk/Creating_memory_with_NAND.md:![](/img/nand-mem-first.gif) Image container-versus-vm.png is used in the following files: /home/thomas/repos/eolas/zk/Containerization.md:![](/img/container-versus-vm.png) Image Screenshot_2020-08-09_at_21.34.48.png is used in the following files: /home/thomas/repos/eolas/zk/Defining_a_computer.md:![Screenshot_2020-08-09_at_21.34.48.png](Screenshot_2020-08-09_at_21.34.48.png) Image graphql-journey-two.svg is used in the following files: /home/thomas/repos/eolas/zk/Journey_of_GraphQL_query.md:![](/img/graphql-journey-two.svg) Image systemd-local-files.png is used in the following files: /home/thomas/repos/eolas/zk/systemd.md:![](/img/systemd-local-files.png) Image journald.png is used in the following files: /home/thomas/repos/eolas/zk/journald.md:![](/img/journald.png) Image combined-merge-hist.svg is used in the following files: /home/thomas/repos/eolas/zk/Rebasing.md:![](/img/combined-merge-hist.svg) Deleted unused image: wonderlane-Wo1kOJhfW04-unsplash.jpg Image htop.png is used in the following files: /home/thomas/repos/eolas/zk/Monitoring_processes_and_resources.md:![](/img/htop.png) Image nand_latch_logic_circuit.png is used in the following files: /home/thomas/repos/eolas/zk/Creating_memory_with_NAND.md:![](/img/nand_latch_logic_circuit.png) Interactive version of circuit: Image voltage-drop.png is used in the following files: /home/thomas/repos/eolas/zk/Voltage.md:![](/img/voltage-drop.png) Image von_neumann_architecture.jpeg is used in the following files: /home/thomas/repos/eolas/zk/CPU_architecture.md:![](/img/von_neumann_architecture.jpeg) Image step1.png is used in the following files: /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![](/img/step1.png) Image git-bisect.svg is used in the following files: /home/thomas/repos/eolas/zk/Git_bisect.md:![](/img/git-bisect.svg) Image local-sam-docker.png is used in the following files: /home/thomas/repos/eolas/zk/Local_AWS_development_with_SAM.md:![](/img/local-sam-docker.png) Image stack1.svg is used in the following files: /home/thomas/repos/eolas/zk/Stacks.md:_A stack visualised horizontally_ ![stack1.svg](stack1.svg) Image nor-gate-new.png is used in the following files: /home/thomas/repos/eolas/zk/Logic_gates.md:![](/img/nor-gate-new.png) Image mongo-db-structure.svg is used in the following files: /home/thomas/repos/eolas/zk/Introduction.md:![](/img/mongo-db-structure.svg) Image mongo-collection.png is used in the following files: /home/thomas/repos/eolas/zk/Creating_a_schema_and_model.md:![](img/../../../img/mongo-collection.png) Image ORelim1.png is used in the following files: /home/thomas/repos/eolas/zk/Disjunction_Elimination.md:![](/img/ORelim1.png) ![](/img/ORelim2.png) Image derivation_from_contradiction.png is used in the following files: /home/thomas/repos/eolas/zk/Logical_consistency.md:![](/img/derivation_from_contradiction.png) Image stack2.svg is used in the following files: /home/thomas/repos/eolas/zk/Stacks.md:_A stack visualised vertically_ ![stack2.svg](stack2.svg) Image Pasted_image_20220319135823.png is used in the following files: /home/thomas/repos/eolas/zk/Binary_number_system.md:![](../../img/Pasted_image_20220319135823.png) Image red-encoding.svg is used in the following files: /home/thomas/repos/eolas/zk/Binary_colour_encoding.md:![](/img/red-encoding.svg) Image sam-template-yaml.png is used in the following files: /home/thomas/repos/eolas/zk/SAM.md:![](/img/sam-template-yaml.png) Image t-flip-flops.png is used in the following files: /home/thomas/repos/eolas/zk/Flip_flops.md:![](/img/t-flip-flops.png) Image negated-conditional-decomposition-rule.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![negated-conditional-decomposition-rule.svg](negated-conditional-decomposition-rule.svg) Image Memory-Hierarchy.jpg is used in the following files: /home/thomas/repos/eolas/zk/Memory.md:![](/img/Memory-Hierarchy.jpg) Image motherboard-pi.jpg is used in the following files: /home/thomas/repos/eolas/zk/Motherboard.md: Image awk-outline.png is used in the following files: /home/thomas/repos/eolas/zk/Awk.md:![](/img/awk-outline.png) Image sql-right-outer-join.png is used in the following files: /home/thomas/repos/eolas/zk/Joins_in_SQL.md:![](/img/sql-right-outer-join.png) Image REST_request-load.png is used in the following files: /home/thomas/repos/eolas/zk/Key_characteristics_of_GraphQL.md:![](/img/REST_request-load.png) Image proofs-drawio-Page-6.drawio.png is used in the following files: /home/thomas/repos/eolas/zk/Disjunction_Elimination.md:![](/img/proofs-drawio-Page-6.drawio.png) /home/thomas/repos/eolas/zk/Formal_proofs_in_propositional_logic.md:![](/img/proofs-drawio-Page-6.drawio.png) Image lambda-func-two.png is used in the following files: /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/lambda-func-two.png) Image step3.png is used in the following files: /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![](/img/step3.png) Image theoremproof.png is used in the following files: /home/thomas/repos/eolas/zk/Strategies_for_constructing_proofs.md:![](/img/theoremproof.png) Image breadboard-DIP.jpg is used in the following files: /home/thomas/repos/eolas/zk/Integrated_circuits.md: Image node-event-loop.svg is used in the following files: /home/thomas/repos/eolas/zk/Event_loop.md:![](/img/node-event-loop.svg) Image diode-led.png is used in the following files: /home/thomas/repos/eolas/zk/LEDs.md:![](/img/diode-led.png) Image breakdown.svg is used in the following files: /home/thomas/repos/eolas/zk/Algorithmic_complexity.md:![breakdown.svg](breakdown.svg) Image hd-sim-test.png is used in the following files: /home/thomas/repos/eolas/zk/Hardware_simulation.md:![](/img/hd-sim-test.png) Image basic-circuit.png is used in the following files: /home/thomas/repos/eolas/zk/Circuits.md:![](/img/basic-circuit.png) Image sql-full-outer-join.png is used in the following files: /home/thomas/repos/eolas/zk/Joins_in_SQL.md:![](/img/sql-full-outer-join.png) Image dock-architecture.png is used in the following files: /home/thomas/repos/eolas/zk/Docker_architecture.md:![](/img/dock-architecture.png) Image lambda-func-three.png is used in the following files: /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/lambda-func-three.png) Image api-gateway-trigger.png is used in the following files: /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/api-gateway-trigger.png) Image hertz_wave_freq.gif is used in the following files: /home/thomas/repos/eolas/zk/CPU_architecture.md:![](/img/hertz_wave_freq.gif) Image transistor-on.png is used in the following files: /home/thomas/repos/eolas/zk/Transistors.md:![](/img/transistor-on.png) Image logical-equivalence-tree.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![logical-equivalence-tree.svg](logical-equivalence-tree.svg) Image xor-hdl.png is used in the following files: /home/thomas/repos/eolas/zk/Hardware_Description_Language.md:![](/img/xor-hdl.png) Image parallel-transmission.jpg is used in the following files: /home/thomas/repos/eolas/zk/Bus.md: Image proofs-drawio-Page-5.drawio.png is used in the following files: /home/thomas/repos/eolas/zk/Formal_proofs_in_propositional_logic.md:![](/img/proofs-drawio-Page-5.drawio.png) Image reiteration.png is used in the following files: /home/thomas/repos/eolas/zk/Reiteration.md:![](/img/reiteration.png) Image conjunction-decomposition-rule.svg is used in the following files: /home/thomas/repos/eolas/zk/Truth_trees.md:![conjunction-decomposition-rule.svg](conjunction-decomposition-rule.svg) /home/thomas/repos/eolas/zk/Truth_trees.md:![negated-conjunction-decomposition-rule.svg](negated-conjunction-decomposition-rule.svg) Image yellow-encoding.svg is used in the following files: /home/thomas/repos/eolas/zk/Binary_colour_encoding.md:![](/img/yellow-encoding.svg) Image cherry-pick.svg is used in the following files: /home/thomas/repos/eolas/zk/Cherry_picking.md:![](/img/cherry-pick.svg) Image state-machine-execution.png is used in the following files: /home/thomas/repos/eolas/zk/Step_functions_and_state_machines.md:![](/img/state-machine-execution.png) Image git-patch-mode.png is used in the following files: /home/thomas/repos/eolas/zk/Interactive_staging.md:![](/img/git-patch-mode.png) Image lin.svg is used in the following files: /home/thomas/repos/eolas/zk/Algorithmic_complexity.md:distribution:![lin.svg](lin.svg) Image cond-elim.png is used in the following files: /home/thomas/repos/eolas/zk/Conditional_Elimination.md:![](/img/cond-elim.png) Image async.svg is used in the following files: /home/thomas/repos/eolas/zk/Event_loop.md:![async.svg](async.svg) Image trigger-info.png is used in the following files: /home/thomas/repos/eolas/zk/Practical_walkthrough_Lambda_creation_within_AWS.md:![](/img/trigger-info.png) Image lambda-cloudwatch.png is used in the following files: /home/thomas/repos/eolas/zk/CloudWatch.md:![](/img/lambda-cloudwatch.png) Image cond-intro.png is used in the following files: /home/thomas/repos/eolas/zk/Conditional_Introduction.md:![](/img/cond-intro.png) Image xor-addition-four.png is used in the following files: /home/thomas/repos/eolas/zk/Hardware_simulation.md:![](/img/xor-addition-four.png)