\begin{slide}{Lineare Gleichungen}

eingeschränkte Syntax ($\approx$ Signatur)

Terme:
\begin{itemize}
\item Summand $\to$ ganze Zahl $\cdot$ Variable
\item Summe $\to$ Summand ( $+$ Summand)$^*$
\end{itemize}

Formeln:
\begin{itemize}
\item Gleichung $\to$ Summe $=$ Summe
\item Gleichungssystem $\to$ Gleichung ( $\wedge$ Gleichung)$^*$
\end{itemize}

Struktur: rationale Zahlen, übliche Operationen.

Erfüllbarkeit ist entscheidbar (durch Gauß-Elimination).

Jede Lösungsmenge ist (leer oder) affin linear.

\end{slide}
