Nächste Seite:
Normalformen
Aufwärts:
Lineare Gleichungen und Ungleichungen
Vorherige Seite:
Lineare Gleichungen und Ungleichungen
Syntax, Semantik
lin. (Un-)Gleichungssystem
→
mathend000# (Constraint
∧)
*
mathend000# Constraint
Constraint
→
mathend000# Ausdruck Relsym Ausdruck
Relsym
→ = | ≤ | ≥
mathend000#
Ausdruck
→
mathend000# (Zahl
⋅
mathend000# Unbekannte
+)
*
mathend000# Zahl
Beispiel:
4
y
≤
x
∧4
x
≤
y
- 3∧
x
+
y
≥1∧
x
-
y
≥2
mathend000#
Semantik: Wertebereich für Unbekannte (und Ausdrücke) ist
mathend000# oder
mathend000#
2014-03-31