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:<img src="/home/thomas/repos/computer_science/img/ground-symbol.png" width="300px">
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:<img src="../img/serial-transmission.jpg" width="800px"/>
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:<img src="/home/thomas/repos/computer_science/img/atom-diagram.svg" width="400" align="right" />
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:<img src="/home/thomas/repos/computer_science/img/hardware-sim-basic.png" >
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:<img src="/home/thomas/repos/eolas/img/magnetic_field.png" width="300" />
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:<img align="left" width="200" src="/home/thomas/repos/computer_science/img/integrated-circuit.jpeg">
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:<img src="../img/motherboard-pi.jpg" width="400px"/>
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:<img  width="200" src="/home/thomas/repos/computer_science/img/breadboard-DIP.jpg">
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:<img src="../img/parallel-transmission.jpg" width="800px"/>
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)
