chore: tidy up titles

zk/The_Pragmatic_Programmer_1999.md

@@ -2,6 +2,8 @@
 tags: []
 ---
 
+# The Pragmatic Programmer (Hunt/Thomas, 1999)
+
 ## General
 
 ### Meyer's Uniform Access Principle

zk/Theorems_and_empty_sets.md

@@ -4,12 +4,13 @@ tags:
   - logic
 ---
 
+# Theorems and empty sets
+
 We know that when we construct a
-[derivation](Formal_proofs_in_propositional_logic.md#derivation-rules)
+[derivation](Formal_proofs_in_propositional_logic.md#derivation-rules) we start
-we start from a set of assumptions and then attempt to reach a proposition that
+from a set of assumptions and then attempt to reach a proposition that is a
-is a consequence of the starting assumptions. However it does not always have to
+consequence of the starting assumptions. However it does not always have to be
-be the case that the starting set contains members. The set can in fact be
+the case that the starting set contains members. The set can in fact be empty.
-empty.
 
 _Demonstration_
 

zk/Truth_trees.md

@@ -4,6 +4,8 @@ tags:
   - propositional-logic
 ---
 
+# Truth trees
+
 ## Rationale
 
 Like [truth-tables](Truth-tables.md), truth-trees are a means of graphically

zk/Turing_machines.md

@@ -4,6 +4,8 @@ tags:
   - Turing
 ---
 
+# Turing Machines
+
 ## What is a Turing Machine?
 
 Turing Machine is a machine that contains mutable state, executes sequences of

zk/Utilities_operators_flags.md

@@ -3,6 +3,8 @@ tags:
   - shell
 ---
 
+# Utilities, operators, flags in Bash
+
 The following are useful built-in utility methods that you can use for checking
 and validation in the course of your bash scripts.
 

zk/Validity_and_entailment.md

@@ -4,7 +4,7 @@ tags:
   - logic
 ---
 
-## Validity
+# Validity and entailment
 
 ### Informal definition
 

zk/Variables_and_data_types_in_Bash.md

@@ -3,6 +3,8 @@ tags:
   - shell
 ---
 
+# Variables and datatypes in Bash
+
 ## Types
 
 ## Variables

zk/Working_with_CSVs_in_Python.md

@@ -4,7 +4,7 @@ tags: [python, csv]
 created: Sunday, April 28, 2024
 ---
 
-# Working_with_CSVs_in_Python
+# Working with CSVs in Python
 
 ## Core package
 

zk/Zero_property_of_multiplication.md

@@ -4,6 +4,8 @@ tags:
   - theorems
 ---
 
+# Zero property of multiplication
+
 **Let $a$ represent any member of $\mathbb{W}$ or $\mathbb{Z}$ then:**
 
 $$ a \cdot 0 = 0 $$