docs/2b/biol240.md

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

docs/2b/ece203.md

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

docs/2b/ece207.md

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

docs/2b/ece208.md

@@ -1,22 +0,0 @@
-# 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

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

docs/2b/ece252.md

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

mkdocs.yml

@@ -42,13 +42,6 @@ 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