Nächste Seite:
Termbäume, Positionen
Aufwärts:
Symbolisches Rechnen Vorlesung Wintersemester
Vorherige Seite:
Hausaufgaben
Terme, Ersetzungs-Systeme (Grundl.)
Unterabschnitte
Termbäume, Positionen
Baum-Bereiche
Einsetzen an Position
Variablen, Substitutionen
Regeln
Regelsysteme
Termersetzung/Anwendungen
Term-Ersetzung und Computeralgebra
Wort- und Term-Ersetzung
Hausaufgaben zu TRS, SRS
