Kurs:Einführung in die mathematische Logik/16/Klausur/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 4 }
\renewcommand{\avier}{ 0 }
\renewcommand{\afuenf}{ 22 }
\renewcommand{\asechs}{ 5 }
\renewcommand{\asieben}{ 3 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 0 }
\renewcommand{\azehn}{ 0 }
\renewcommand{\aelf}{ 3 }
\renewcommand{\azwoelf}{ 10 }
\renewcommand{\adreizehn}{ 0 }
\renewcommand{\avierzehn}{ 0 }
\renewcommand{\afuenfzehn}{ 0 }
\renewcommand{\asechzehn}{ 0 }
\renewcommand{\asiebzehn}{ 0 }
\renewcommand{\aachtzehn}{ 56 }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesiebzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabegibtloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die rekursive Definition für die \stichwort {Ausdrücke} {} in einer Sprache erster Stufe.
}{Ein
\stichwort {Ideal} {}
\mathl{{\mathfrak a} \subseteq R}{} in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$.
}{Die
\stichwort {Variablensubstitution} {}
\mathl{\alpha { \frac{ t_1 , \ldots , t_k }{ x_1 , \ldots , x_k } }}{} für einen $S$-Ausdruck $\alpha$, wobei
\mathl{x_1 , \ldots , x_k}{} Variablen und
\mathl{t_1 , \ldots , t_k}{} fixierte
$S$-\definitionsverweis {Terme}{}{}
seien.
}{Die \stichwort {Ableitbarkeit} {} eines Ausdrucks $\alpha \in L^S$ im prädikatenlogischen Kalkül.
}{Die \stichwort {Arithmetische Repräsentierbarkeit} {} einer Abbildung \maabbdisp {F} {\N^r} {\N^s } {.}
}{Eine \stichwort {\zusatzklammer {formale} {} {} Modallogik} {.} }
}
{} {}
\inputaufgabegibtloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Das \stichwort {Lemma von Zorn} {.}}{Der \stichwort {Endlichkeitssatz} {} für die Prädikatenlogik.}{Das \stichwort {Unvollständigkeitslemma} {.}}
}
{} {}
\inputaufgabe
{4 (1+3)}
{
In einer Höhle befinden sich im Innern am Ende des Ganges vier Personen. Sie haben eine Taschenlampe bei sich und der Gang kann nur mit der Taschenlampe begangen werden. Dabei können höchstens zwei Leute gemeinsam durch den Gang gehen. Die Personen sind unterschiedlich geschickt, die erste Person benötigt eine Stunde, die zweite Person benötigt zwei Stunden, die dritte Person benötigt vier Stunden und die vierte Person benötigt fünf Stunden, um den Gang zu durchlaufen. Wenn zwei Personen gleichzeitig gehen, entscheidet die langsamere Person über die Geschwindigkeit. \aufzaehlungzwei {Die Batterie für die Taschenlampe reicht für genau $13$ Stunden. Können alle vier die Höhle verlassen? } {Die Batterie für die Taschenlampe reicht für genau $12$ Stunden. Können alle vier die Höhle verlassen? }
}
{} {}
\inputaufgabe
{0}
{
}
{} {}
\inputaufgabegibtloesung
{(22 (1+3+3+4+4+3+4)}
{
Es sei $V$ eine
\zusatzklammer {nichtleere} {} {}
\definitionsverweis {Aussagenvariablenmenge}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Bel} \, { \left( V \right) }
}
{ =} { \operatorname{Abb} \, { \left( V , \{0,1\} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Menge aller Wahrheitsbelegungen auf $V$. In dieser Aufgabe untersuchen wir
\mathl{\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} und die Abbildung
\maabbeledisp {\Psi} {L^V} { \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
} { \alpha } { { \left( \lambda \mapsto I^ \lambda( \alpha ) \right) }
} {.}
Dabei spielen die beiden folgenden Teilmengen eine Rolle.
Es sei
\mavergleichskette
{\vergleichskette
{N
}
{ \subseteq }{ \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die folgendermaßen festgelegte Teilmenge. Eine Abbildung
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} gehört genau dann zu $N$, wenn es eine endliche Teilmenge
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) }}{} ist
\zusatzklammer {dies ist in Aufgabenteil 2 zu erläutern} {} {.}
Es sei
\mavergleichskette
{\vergleichskette
{M
}
{ \subseteq }{ \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die durch die folgenden Bedingungen rekursiv festgelegte Teilmenge.
a) Zu
\mathl{p \in V}{} gehört
\maabbeledisp {\operatorname{ev}_p} { \operatorname{Bel} \, { \left( V \right) }} { \{0,1\}
} { \lambda} { \lambda(p)
} {,}
zu $M$.
b) Wenn
\mathl{\varphi \in M}{} ist, so gehört auch $\tau \circ \varphi$ zu $M$, wobei
\maabb {\tau} {\{0,1\}} {\{0,1\}
} {}
die Vertauschungsabbildung bezeichnet.
c) Wenn
\mathl{\varphi, \theta \in M}{} sind, so gehören auch ${\min { \left( \varphi , \theta \right) } }$ und ${\max { \left( \varphi , \theta \right) } }$ zu $M$.
\aufzaehlungsieben{Ist $\Psi$
\definitionsverweis {injektiv}{}{?}
}{Es sei
\mavergleichskette
{\vergleichskette
{W
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge. Zeige, dass es eine natürliche surjektive Abbildung
\maabbdisp {} { \operatorname{Bel} \, { \left( V \right) } } { \operatorname{Bel} \, { \left( W \right) }
} {}
und eine natürliche injektive Abbildung
\maabbdisp {\Phi_W} {\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) } } { \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
} {}
}{Zeige, dass die in (2) beschriebene Abbildung
\maabbdisp {\Phi_W} {\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( W \right) } , \{0,1\} \right) } } { \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
} {}
die Evaluationen
\mathl{\operatorname{ev}_p}{,} die Verknüpfung mit $\tau$ und die Minima und Maxima respektiert.
}{Man gebe bei $V$ unendlich ein
\mathl{\varphi \in \operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }}{} an, das nicht zu $N$ gehört.
}{Es sei $V$ endlich. Zeige
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} {\operatorname{Abb} \, { \left( \operatorname{Bel} \, { \left( V \right) } , \{0,1\} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Zeige
\mavergleichskette
{\vergleichskette
{M
}
{ = }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Zeige, dass das Bild von $\Psi$ mit $M$ übereinstimmt.
}
}
{} {}
\inputaufgabegibtloesung
{5}
{
Es sei
\mavergleichskette
{\vergleichskette
{\Gamma
}
{ \subseteq }{L^V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche Menge an Aussagen. Skizziere ein Entscheidungsverfahren, mit dem man feststellen kann, ob $\Gamma$
\definitionsverweis {widersprüchlich}{}{}
ist oder nicht.
}
{} {}
\inputaufgabe
{3}
{
Es sei $A(n)$ eine Aussage\zusatzklammer {nform} {} {,}
in die man eine natürliche Zahl einsetzen kann. Diskutiere den Unterschied zwischen den beiden Aussagen
\mathdisp {{ \left( \forall n A(n) \right) } \rightarrow { \left( \forall n A(n+1) \right) } \text{ und } \forall n { \left( A(n) \rightarrow A(n+1) \right) }} { . }
Was ist die mathematische Relevanz der beiden Aussagen?
}
{} {}
\inputaufgabegibtloesung
{3}
{
Wir rechnen mit den Zahlen
\mathl{0,1,2,\text{viele}\,\, (v)}{} nach den folgenden Verknüpfungstabellen.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $+$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $v$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ $2$ }
\renewcommand{\leitspaltevier}{ $v$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 1 }
\renewcommand{\aeinsxdrei}{ 2 }
\renewcommand{\aeinsxvier}{ v }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 1 }
\renewcommand{\azweixzwei}{ 2 }
\renewcommand{\azweixdrei}{ v }
\renewcommand{\azweixvier}{ v }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 2 }
\renewcommand{\adreixzwei}{ v }
\renewcommand{\adreixdrei}{ v }
\renewcommand{\adreixvier}{ v }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ v }
\renewcommand{\avierxzwei}{ v }
\renewcommand{\avierxdrei}{ v }
\renewcommand{\avierxvier}{ v }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxvier
und %Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\cdot$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $v$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ $2$ }
\renewcommand{\leitspaltevier}{ $v$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 0 }
\renewcommand{\aeinsxdrei}{ 0 }
\renewcommand{\aeinsxvier}{ 0 }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 0 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ 2 }
\renewcommand{\azweixvier}{ v }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 0 }
\renewcommand{\adreixzwei}{ 2 }
\renewcommand{\adreixdrei}{ v }
\renewcommand{\adreixvier}{ v }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 0 }
\renewcommand{\avierxzwei}{ v }
\renewcommand{\avierxdrei}{ v }
\renewcommand{\avierxvier}{ v }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxvier
Zeige, dass es sich dabei um einen
\definitionsverweis {kommutativen Halbring}{}{}
handelt. Gilt für diesen die
\definitionsverweis {Abziehregel}{}{?}
}
{} {}
\inputaufgabe
{0}
{
}
{} {}
\inputaufgabe
{0}
{
}
{} {}
\inputaufgabegibtloesung
{3}
{
Erstelle ein Programm für eine Registermaschine, das abwechselnd \mathkor {} {1} {und} {0} {} ausdruckt, das mit sechs Befehlszeilen auskommt und lediglich einen Sprungbefehl verwendet.
}
{} {}
\inputaufgabegibtloesung
{10}
{
Beweise den Fixpunktsatz der Prädikatenlogik.
}
{} {}
\inputaufgabe
{0}
{
}
{} {}
\inputaufgabe
{0}
{
}
{} {}
\inputaufgabe
{0}
{
}
{} {}
\inputaufgabe
{0}
{
}
{} {}
\inputaufgabe
{0}
{
}
{} {}