From e15100ce6715c3fa9a31d14af4e05bbb01917d95 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sun, 28 Sep 2025 19:09:06 +0200 Subject: [PATCH] [TI] Fix compile errors --- semester3/ti/parts/languages-problems/kolmogorov-complexity.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex b/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex index 0d562d8..372b7da 100644 --- a/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex +++ b/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex @@ -42,4 +42,4 @@ Deshalb haben diese Wörter auch (meist) eine kleinere Kolmogorov-Komplexität. \fancydef{$K(n)$ für $n \in \N$} Die \bi{Kolmogorov-Komplexität einer natürlichen Zahl $n$} ist $K(n) = K(\text{Bin}(n))$, wobei $\text{Bin}(x) = \ceil{\log_2(x + 1)}$ % TODO: Verify correctness here -\inlinelemma Für jede Zahl $n \in \N - \{ 0 \}$ existiert ein Wort $w_n \in (\alphabets{bool})^n +\inlinelemma Für jede Zahl $n \in \N - \{ 0 \}$ existiert ein Wort $w_n \in (\alphabets{bool})^n$