ece208: add formulas

docs/2b/biol240.md

@@ -0,0 +1 @@
+# BIOL 240: Microbiology 1

docs/2b/ece203.md

@@ -0,0 +1 @@
+# ECE 203: Probability

docs/2b/ece207.md

@@ -0,0 +1,2 @@
+# ECE 207: Signals and Systems
+

docs/2b/ece208.md

@@ -0,0 +1,22 @@
+# ECE 208: Discrete Math 2
+
+## Hilbert system rules
+
+**Axioms:**
+
+- $\vdash (A\implies (B\implies A))$
+- $\vdash (A\implies (B\implies C))\implies ((A\implies B)\implies (A\implies C))$
+- $\vdash (\neg B\implies\neg A)\implies (A\implies B))$
+
+**Inference (MP):**
+
+- $\frac{\vdash A, \vdash A\implies B}{\vdash B}$
+
+**Derived rules:**
+
+- Deduction: $\frac{U\cup \{A\}\vdash B}{U\vdash A\implies B}$
+- Contrapositive: $\frac{U\vdash \neg B\implies\neg A}{U\vdash A\implies B}$ (and vice versa)
+- Transitivity: $\frac{u\vdash A\implies B, U\vdash B\implies C}{U\vdash A\implies C}$
+- Exchange of antecedent: $\frac{U\vdash A\implies (B\implies C)}{U\vdash B\implies (A\implies C)}$
+- Double negation: $\frac{U\vdash \neg\neg A}{U\vdash A}$ (and vice versa)
+- Reductio ad absurdum: $\frac{U\vdash\neg A\implies false}{U\vdash A}$

docs/2b/ece224.md

@@ -0,0 +1 @@
+# ECE 224: Embedded

docs/2b/ece252.md

@@ -0,0 +1 @@
+# ECE 252: Concurrency

mkdocs.yml

@@ -42,6 +42,13 @@ nav:
       - "ECE 250: DSA": 2a/ece250.md
       - "ECE 205: Advanced Calculus 1": 2a/ece205.md
       - "ECE 204: Numerical Methods": 2a/ece204.md
+  - Computer Engineering 2B:
+      - "ECE 208: Discrete Math 2": 2b/ece208.md
+      - "ECE 207: Signals": 2b/ece207.md
+      - "BIOL 240: Microbiology 1": 2b/biol240.md
+      - "ECE 203: Probability": 2b/ece203.md
+      - "ECE 224: Embedded": 2b/ece224.md
+      - "ECE 252: Concurrency": 2b/ece252.md
 
 theme:
   name: material