Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen (Springer-Lehrbuch)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen" von Jürgen Avenhaus ist ein Lehrbuch, das sich mit den theoretischen Grundlagen und praktischen Anwendungen von Reduktionssystemen befasst. Diese Systeme sind entscheidend für das Verständnis und die Lösung von Gleichungen in algebraischen Strukturen. Das Buch bietet eine umfassende Einführung in die Konzepte der Termersetzungssysteme und ihre Rolle bei der automatischen Beweisführung. Es behandelt Themen wie Konfluenz, Terminierung und kritische Paare, um zu zeigen, wie man Gleichungssysteme effizient vereinfachen kann. Durch zahlreiche Beispiele und Übungen wird das theoretische Wissen vertieft, was es zu einem wertvollen Werkzeug für Studierende und Forscher im Bereich der Informatik und Mathematik macht.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
