Nächste Seite: Gleichungssysteme (Syntax) Aufwärts: Symbolisches Rechnen Vorlesung Wintersemester Vorherige Seite: Hausaufgaben zu TRS, SRS

Gleichungsdefinierte Strukturen

Unterabschnitte

Gleichungssysteme (Syntax)
Algebren (Semantik)
Modelle
Syntaktische u. semantische Äq. von Termen
Gleichungstheoreme und induktive Th.
Aufgaben