diff --git a/sections/german/09/alignment-crop.svg b/sections/german/09/alignment-crop.svg index 2eccc89..fd0bc38 100644 --- a/sections/german/09/alignment-crop.svg +++ b/sections/german/09/alignment-crop.svg @@ -1,5 +1,5 @@ - diff --git a/sections/german/09/alignment.tex b/sections/german/09/alignment.tex index 2e1a411..138d2aa 100644 --- a/sections/german/09/alignment.tex +++ b/sections/german/09/alignment.tex @@ -6,9 +6,11 @@ \usepackage{hyperref} \begin{document} \thispagestyle{empty} +\parbox{.7\linewidth}{ \begin{align} 13 \cdot (4a - 3)^2 &= 13 \cdot (16a^2 - 24a + 9) \\ &= 208a^2 - 312a + 117 \end{align} +} \end{document} diff --git a/sections/german/10/10.md b/sections/german/10/10.md index 7d3bb9e..0d449ca 100644 --- a/sections/german/10/10.md +++ b/sections/german/10/10.md @@ -74,9 +74,9 @@ Eine Überschrift wird so ausgezeichnet:
\section\*{Einfache Java-Anwendung}
\inputminted{java}{Test.java}
public class HelloWorld {
- public static void main(/\*…\*/) {
- System.out.println("Hello, World!");
- }
+ public static void main(/\*…\*/) {
+ System.out.println(/\*…\*/);
+ }
}
Das Paket `footmisc` stellt verschiedene weitere Optionen für die Darstellung von Fußnoten zur Verfügung, die als optionale Parameter an den Befehl `\usepackage` übergeben werden können.
+% Zählung auf jeder Seite neu beginnen:
+\usepackage[perpage]{footmisc}
+
+% Fußnoten inline anzeigen lassen:
+\usepackage[para]{footmisc}
+
+% Symbole zur Nummerierung verwenden:
+\usepackage[symbol]{footmisc}
+
+
+ Beweisbäume lassen sich mit dem Paket `prftree` einwandfrei darstellen.
+\begin{displaymath}
+\prftree[l,r]{}{[comp$\_{ns}$]}
+{
+ \prftree[l,r]{}{[comp$\_{ns}$]}
+ {
+ \prftree[l,r]{}{[ass$\_{ns}$]}
+ {
+ -
+ }
+ {
+ (\texttt{m:=a}, \sigma\_{\bot,\bot})
+ \rightarrow \sigma\_{48,\bot}
+ }
+ }
+ {
+ \prftree[l,r]{}{[ass$\_{ns}$]}
+ {
+ -
+ }
+ {
+ (\texttt{n:=b}, \sigma\_{48,\bot})
+ \rightarrow \sigma\_{48,18}
+ }
+ }
+ {
+ (\texttt{m:=a; n:=b}, \sigma\_{\bot,\bot})
+ \rightarrow \sigma\_{48,18}
+ }
+}
+{
+ \prftree[l,r]{}{}
+ {
+ \dots
+ }
+ {
+ \textbf{[1]}\ (\texttt{LOOP}, \sigma\_{48,18})
+ \rightarrow \sigma\_{6,6}
+ }
+}
+{
+ (\texttt{m:=a; n:=b; LOOP}, \sigma\_{\bot,\bot})
+ \rightarrow \sigma\_{6,6}
+}
+\end{displaymath}
+