From 6db1a2cdd3b96731f2e092d55d8c2136eabc52d0 Mon Sep 17 00:00:00 2001
From: Julian T <julian@jtle.dk>
Date: Tue, 11 Feb 2020 12:24:56 +0100
Subject: Rename and cleanup

---
 sem1/BfCI/mm3.md | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 sem1/BfCI/mm3.md

(limited to 'sem1/BfCI/mm3.md')

diff --git a/sem1/BfCI/mm3.md b/sem1/BfCI/mm3.md
deleted file mode 100644
index a0bb1b8..0000000
--- a/sem1/BfCI/mm3.md
+++ /dev/null
@@ -1,19 +0,0 @@
-# Lektier
-
-## Steps til strong induction bevis
-
-1. *[Basis step]* start med at bevis at P(1) er sandt. Altså hvad resten vil bygge på.
-2. *[Inductive step]* bevis at hvis de første P(1 til k) er sandt er P(k+1) også sandt.
-
-## Recursive function
-
-En funktion der regner factorial. 
-Altså f(x) = 1 * 2 * 3 * .. * x
-
-Her vil f(1) = 1.
-Og resten vil være f(x) = x * f(x-1).
-
-f(1) = 1
-f(2) = 2 * f(1) = 2 * 1 = 2
-f(3) = 3 * f(2) = 3 * 2 = 6
-f(4) = 4 * f(3) = 4 * 6 = 16
-- 
cgit v1.2.3