Reduktionssysteme / Springer-Lehrbuch (PDF)
Rechnen und Schließen in gleichungsdefinierten Strukturen
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen...
sofort als Download lieferbar
eBook (pdf)
42.99 €
21 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Reduktionssysteme / Springer-Lehrbuch (PDF)“
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren und 4. prinzipielle Entscheidbarkeit von grundlegenden Eigenschaften.
Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche und übersichtliche Darstellung abgerundet.
Für Studenten und Wissenschaftler auf dem Gebiet der Mathematischen Logik und formalen Sprachen, der Logik und Semantik von Programmiersprachen und der künstlichen Intelligenz.
Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche und übersichtliche Darstellung abgerundet.
Für Studenten und Wissenschaftler auf dem Gebiet der Mathematischen Logik und formalen Sprachen, der Logik und Semantik von Programmiersprachen und der künstlichen Intelligenz.
Bibliographische Angaben
- Autor: Jürgen Avenhaus
- 2013, 1995, 251 Seiten, Deutsch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642793517
- ISBN-13: 9783642793516
- Erscheinungsdatum: 12.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 30 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Reduktionssysteme / Springer-Lehrbuch"
0 Gebrauchte Artikel zu „Reduktionssysteme / Springer-Lehrbuch“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Reduktionssysteme / Springer-Lehrbuch".
Kommentar verfassen