Lineare Gleichungen

eingeschränkte Syntax ($ \approx$ Signatur)

Terme:

Formeln:

Struktur: rationale Zahlen, übliche Operationen.

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

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



2009-06-22