rename logic

Artificial-Intelligence-HSBI-TDU · Jul 10, 2024 · 23c2da0 · 23c2da0
1 parent b988aca
commit 23c2da0
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 4 deletions.
diff --git a/lecture/logic/intro-logic.md → lecture/logic/logic1-intro.md b/lecture/logic/intro-logic.md → lecture/logic/logic1-intro.md
diff --git a/lecture/logic/syntax.md → lecture/logic/logic2-syntax.md b/lecture/logic/syntax.md → lecture/logic/logic2-syntax.md
diff --git a/lecture/logic/modelle.md → lecture/logic/logic3-modelle.md b/lecture/logic/modelle.md → lecture/logic/logic3-modelle.md
diff --git a/lecture/logic/resolution.md → lecture/logic/logic4-resolution.md b/lecture/logic/resolution.md → lecture/logic/logic4-resolution.md
diff --git a/readme.md b/readme.md
@@ -286,10 +286,10 @@ Für die Vergabe von Übungspunkten ist eine **erfolgreiche Teilnahme an der Üb
 [Wahrscheinlichkeitstheorie]: lecture/naivebayes/probability.md
 [Naive Bayes]: lecture/naivebayes/nb.md
 
-<!-- [Einführung Logik]: lecture/logic/intro-logic.md -->
-<!-- [Syntax und Semantik]: lecture/logic/syntax.md -->
-<!-- [Modelle]: lecture/logic/modelle.md -->
-<!-- [Resolutionsbeweise]: lecture/logic/resolution.md -->
+<!-- [Einführung Logik]: lecture/logic/logic1-intro.md -->
+<!-- [Syntax und Semantik]: lecture/logic/logic2-syntax.md -->
+<!-- [Modelle]: lecture/logic/logic3-modelle.md -->
+<!-- [Resolutionsbeweise]: lecture/logic/logic4-resolution.md -->
 
 [Prüfungsvorbereitung HSBI]: admin/exams-hsbi.md
 [Prüfungsvorbereitung TDU]: admin/exams-tdu.md