diff --git a/Hardware/Binary/Binary_arithmetic.md b/Hardware/Binary/Binary_arithmetic.md index 9b69a29..f221483 100644 --- a/Hardware/Binary/Binary_arithmetic.md +++ b/Hardware/Binary/Binary_arithmetic.md @@ -1,9 +1,9 @@ --- -tags: +categories: - Mathematics - - binary + - Computer_Architecture +tags: [binary] --- - # Binary arithmetic ## Binary addition diff --git a/Hardware/Binary/Binary_arithmetic_with_circuits.md b/Hardware/Binary/Binary_arithmetic_with_circuits.md index e708bd3..1db8e88 100644 --- a/Hardware/Binary/Binary_arithmetic_with_circuits.md +++ b/Hardware/Binary/Binary_arithmetic_with_circuits.md @@ -1,7 +1,8 @@ --- -tags: - - electronics - - binary +categories: + - Computer_Architecture + - Electronics +tags: [binary] --- # Binary arithmetic with circuits diff --git a/Hardware/Binary/The_binary_number_system.md b/Hardware/Binary/The_binary_number_system.md index d090c35..8e27ddb 100644 --- a/Hardware/Binary/The_binary_number_system.md +++ b/Hardware/Binary/The_binary_number_system.md @@ -1,8 +1,10 @@ --- -tags: +categories: - Mathematics - - binary + - Computer_Architecture +tags: [binary] --- + # The binary number system ## Decimal (denary) number system diff --git a/Hardware/Binary/Why_computers_use_binary.md b/Hardware/Binary/Why_computers_use_binary.md index 1d3c11d..0d1af36 100644 --- a/Hardware/Binary/Why_computers_use_binary.md +++ b/Hardware/Binary/Why_computers_use_binary.md @@ -1,7 +1,8 @@ --- -tags: - - Theory_of_Computation - - binary +categories: + - Mathematics + - Computer_Architecture +tags: [binary] --- # Why computers use binary diff --git a/Hardware/Bus.md b/Hardware/Bus.md index 4e582d9..0b8368d 100644 --- a/Hardware/Bus.md +++ b/Hardware/Bus.md @@ -1,9 +1,11 @@ --- -tags: +categories: + - Computer_Architecture - Hardware - - motherboard +tags: [motherboard] --- +# # Bus A bus is a communication system that transfers data between components inside a computer, or between computers. diff --git a/Hardware/CPU/CPU_architecture.md b/Hardware/CPU/CPU_architecture.md index 5b2702d..1c7c037 100644 --- a/Hardware/CPU/CPU_architecture.md +++ b/Hardware/CPU/CPU_architecture.md @@ -1,8 +1,7 @@ --- -tags: - - Hardware - - cpu - - von_neumann +categories: + - Computer_Architecture +tags: [CPU] --- # CPU architecture diff --git a/Hardware/CPU/Fetch_decode_execute.md b/Hardware/CPU/Fetch_decode_execute.md index 0fc641c..e685b35 100644 --- a/Hardware/CPU/Fetch_decode_execute.md +++ b/Hardware/CPU/Fetch_decode_execute.md @@ -1,9 +1,10 @@ --- -tags: - - Hardware - - cpu +categories: + - Computer_Architecture +tags: [CPU] --- + # Fetch, decode, execute, store *Fetch, decode, execute* is the operating cycle of the CPU. We will run through how this works with reference to the [CPU architecture](/Hardware/CPU/CPU_architecture.md). diff --git a/Hardware/CPU/Introduction.md b/Hardware/CPU/Introduction.md index 3222f45..e3c0260 100644 --- a/Hardware/CPU/Introduction.md +++ b/Hardware/CPU/Introduction.md @@ -1,7 +1,7 @@ --- -tags: - - Hardware - - cpu +categories: + - Computer_Architecture +tags: [CPU] --- # CPU: Introduction diff --git a/Hardware/CPU/The_Little_Man_computer.md b/Hardware/CPU/The_Little_Man_computer.md index d7f2657..1cb2a77 100644 --- a/Hardware/CPU/The_Little_Man_computer.md +++ b/Hardware/CPU/The_Little_Man_computer.md @@ -1,3 +1,9 @@ +--- +categories: + - Computer_Architecture +tags: [CPU, processors] + +--- ## The Little Man Computer // TODO: Improve notes and learn how to use diff --git a/Hardware/Chipset_and_controllers.md b/Hardware/Chipset_and_controllers.md index 35823c3..d31db6c 100644 --- a/Hardware/Chipset_and_controllers.md +++ b/Hardware/Chipset_and_controllers.md @@ -1,10 +1,11 @@ --- -tags: -- Hardware -- memory -- motherboard +categories: + - Computer_Architecture + - Hardware +tags: [motherboard, chipset] --- + # Chipset and controllers A **controller** is simply a circuit that controls a process. The **chipset** is a combination of controllers placed on the same piece of silicon. diff --git a/Hardware/Logic_Gates/And_gate.md b/Hardware/Logic_Gates/And_gate.md index f626c5e..fcee76b 100644 --- a/Hardware/Logic_Gates/And_gate.md +++ b/Hardware/Logic_Gates/And_gate.md @@ -1,9 +1,9 @@ --- -tags: - - Logic +categories: + - Computer_Architecture - Electronics - Hardware - - logic-gates +tags: [logic_gates] --- # AND gate diff --git a/Hardware/Logic_Gates/Logic_circuits.md b/Hardware/Logic_Gates/Logic_circuits.md index 8199653..235b3b7 100644 --- a/Hardware/Logic_Gates/Logic_circuits.md +++ b/Hardware/Logic_Gates/Logic_circuits.md @@ -1,8 +1,9 @@ --- -tags: - - Logic +categories: + - Computer_Architecture - Electronics - - binary + - Hardware +tags: [logic_gates, binary] --- # Logic circuits diff --git a/Hardware/Logic_Gates/Logic_gates.md b/Hardware/Logic_Gates/Logic_gates.md index 8ce3cda..9f74a0d 100644 --- a/Hardware/Logic_Gates/Logic_gates.md +++ b/Hardware/Logic_Gates/Logic_gates.md @@ -1,9 +1,9 @@ --- -tags: -- Logic -- Electronics -- Hardware -- logic-gates +categories: + - Computer_Architecture + - Electronics + - Hardware +tags: [logic_gates, binary] --- # Logic gates diff --git a/Hardware/Logic_Gates/Nand_gate.md b/Hardware/Logic_Gates/Nand_gate.md index ff99a12..a9cb2eb 100644 --- a/Hardware/Logic_Gates/Nand_gate.md +++ b/Hardware/Logic_Gates/Nand_gate.md @@ -1,9 +1,9 @@ --- -tags: - - Logic +categories: + - Computer_Architecture - Electronics - Hardware - - logic_gates +tags: [logic_gates, binary] --- # NAND gate diff --git a/Hardware/Logic_Gates/Not_gate.md b/Hardware/Logic_Gates/Not_gate.md index 005dacc..76ce4f3 100644 --- a/Hardware/Logic_Gates/Not_gate.md +++ b/Hardware/Logic_Gates/Not_gate.md @@ -1,10 +1,11 @@ --- -tags: - - Logic +categories: + - Computer_Architecture - Electronics - Hardware - - logic-gates +tags: [logic_gates, binary] --- + # NOT gate This gate corresponds to the negation logical connective. diff --git a/Hardware/Logic_Gates/Or_gate.md b/Hardware/Logic_Gates/Or_gate.md index 97f24ff..407c2d8 100644 --- a/Hardware/Logic_Gates/Or_gate.md +++ b/Hardware/Logic_Gates/Or_gate.md @@ -1,9 +1,9 @@ --- -tags: - - Logic +categories: + - Computer_Architecture - Electronics - Hardware - - logic-gates +tags: [logic_gates, binary] --- # OR gate diff --git a/Hardware/Logic_Gates/Xor_gate.md b/Hardware/Logic_Gates/Xor_gate.md index 440559c..c9664ec 100644 --- a/Hardware/Logic_Gates/Xor_gate.md +++ b/Hardware/Logic_Gates/Xor_gate.md @@ -1,9 +1,9 @@ --- -tags: - - Logic +categories: + - Computer_Architecture - Electronics - Hardware - - logic-gates +tags: [logic_gates, binary] --- # XOR gate diff --git a/Hardware/Memory/RAM_types.md b/Hardware/Memory/RAM_types.md index f311500..9bd1cb4 100644 --- a/Hardware/Memory/RAM_types.md +++ b/Hardware/Memory/RAM_types.md @@ -1,8 +1,8 @@ --- -tags: -- Hardware -- memory -- motherboard +categories: + - Computer_Architecture + - Hardware +tags: [memory, motherboard] --- # Memory diff --git a/Hardware/Memory/Role_in_computation.md b/Hardware/Memory/Role_in_computation.md index 41092dc..86c37ca 100644 --- a/Hardware/Memory/Role_in_computation.md +++ b/Hardware/Memory/Role_in_computation.md @@ -1,7 +1,7 @@ --- -tags: -- Hardware -- memory +categories: + - Computer_Architecture +tags: [memory] --- # The role of memory in computation diff --git a/Hardware/Motherboard.md b/Hardware/Motherboard.md index d4fde2d..f50171f 100644 --- a/Hardware/Motherboard.md +++ b/Hardware/Motherboard.md @@ -1,9 +1,9 @@ --- -tags: - - Electronics +categories: + - Computer_Architecture - Hardware +tags: [motherboard] --- - # Motherboard diff --git a/Linux/Procedural/Bluetooth.md b/Linux/Procedural/Bluetooth.md index 5d599b2..5941691 100644 --- a/Linux/Procedural/Bluetooth.md +++ b/Linux/Procedural/Bluetooth.md @@ -1,7 +1,7 @@ --- -tags: - - Linux - - networking +categories: + - Linux +tags: [] --- # Bluetooth diff --git a/Linux/Procedural/Compile_from_source.md b/Linux/Procedural/Compile_from_source.md index bac4c58..d63dc1c 100644 --- a/Linux/Procedural/Compile_from_source.md +++ b/Linux/Procedural/Compile_from_source.md @@ -1,8 +1,8 @@ --- -tags: - - Linux +categories: + - Linux +tags: [make] --- - # Compile package from source 1. Clone the repo from GitHub diff --git a/Linux/Procedural/Pacman.md b/Linux/Procedural/Pacman.md index fe92347..dd4b5da 100644 --- a/Linux/Procedural/Pacman.md +++ b/Linux/Procedural/Pacman.md @@ -1,8 +1,10 @@ --- -tags: - - Linux +categories: + - Linux +tags: [] --- + # Pacman ## List all installed packages diff --git a/Linux/Procedural/User_management.md b/Linux/Procedural/User_management.md index 7060a9b..872910d 100644 --- a/Linux/Procedural/User_management.md +++ b/Linux/Procedural/User_management.md @@ -1,8 +1,8 @@ --- -tags: - - Linux +categories: + - Linux +tags: [user_management] --- - # User management ## Switch user diff --git a/Linux/systemd.md b/Linux/systemd.md index 6d91a33..d057888 100644 --- a/Linux/systemd.md +++ b/Linux/systemd.md @@ -1,10 +1,10 @@ --- -categories: - - Linux - - Operating_Systems -tags: [user_space, systems_programming] +categories: + - Linux +tags: [systems_programming, systemd] --- + # `systemd` Once the [boot process](/Operating_Systems/Boot_process.md) has completed and the bootloader has located the kernel and injected it into memory the first user space program runs: `init` (for _initialisation_). `init` is a [daemon](/Operating_Systems/Daemons.md) process that continues running until shutdown and is responsible for starting all the processes that are prerequisites for user space. For example: network connections, disk access, user logins etc. diff --git a/Logic/Biconditional_Elimination.md b/Logic/Biconditional_Elimination.md index 8bfea39..9049a5e 100644 --- a/Logic/Biconditional_Elimination.md +++ b/Logic/Biconditional_Elimination.md @@ -1,8 +1,7 @@ --- -tags: - - Logic - - propositional-logic - - derivation-rules +categories: + - Logic +tags: [propositional_logic] --- Give that the biconditional means that if $P$ is the case, $Q$ is the case and if $Q$ is the case, $P$ must be the case, if we have $P \equiv Q$ and $P$, we can derive $Q$ and vice versa. diff --git a/Logic/Biconditional_Introduction.md b/Logic/Biconditional_Introduction.md index 6474370..1a32680 100644 --- a/Logic/Biconditional_Introduction.md +++ b/Logic/Biconditional_Introduction.md @@ -1,10 +1,8 @@ --- -tags: - - Logic - - propositional-logic - - derivation-rules +categories: + - Logic +tags: [propositional_logic] --- - The biconditional means if $P$ is the case, $Q$ is the case and if $Q$ is the case, $P$ must be the case. Thus to introduce this operator we must demonstrate both that $Q$ follows from $P$ and that $P$ follows from $Q$. We do this via two sub-proofs. ![bi-intro.png](../img/bi-intro.png) diff --git a/Logic/Conditional_Elimination.md b/Logic/Conditional_Elimination.md index 524b958..aaca47f 100644 --- a/Logic/Conditional_Elimination.md +++ b/Logic/Conditional_Elimination.md @@ -1,8 +1,7 @@ --- -tags: - - Logic - - propositional-logic - - derivation-rules +categories: + - Logic +tags: [propositional_logic] --- If we have a conditional and we have independently derived its antecedent, we may invoke its consequent. This is often referred to as *Modus ponens* (affirming the antecedent). diff --git a/Logic/Conditional_Introduction.md b/Logic/Conditional_Introduction.md index 5fdb7b2..90d3a45 100644 --- a/Logic/Conditional_Introduction.md +++ b/Logic/Conditional_Introduction.md @@ -1,9 +1,7 @@ --- -title: Conditional introduction -tags: - - Logic - - propositional-logic - - derivation-rules +categories: + - Logic +tags: [propositional_logic] --- If we can show that $Q$ follows from $P$ (typically via a subproof) than we can assert that P implies Q. This is also sometimes known as _Conditional Proof_