Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Diese Produkte könnten Sie auch interessieren:
Reduktionssysteme
Rechnen und Schließen in gleichungsdefinierten Strukturen
251 Seiten, Taschenbuch
€ 56.53
| Reihe | Springer-Lehrbuch |
|---|---|
| ISBN | 9783540585596 |
| Erscheinungsdatum | 06.03.1995 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Lieferzeit | Lieferbar in 6 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags
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.
| Reihe | Springer-Lehrbuch |
|---|---|
| ISBN | 9783540585596 |
| Erscheinungsdatum | 06.03.1995 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer Berlin |
| Lieferzeit | Lieferbar in 6 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
Unsere Prinzipien
- ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
- ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- ✔ alle FALTER-Produkte und Abos, nur hier!
- ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
- ✔ keine Weitergabe personenbezogener Daten an Dritte
- ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Sagen Sie uns Ihre Meinung
Wie gefällt Ihnen unser Shop?
Ihr Name (optional)
Ihre E-Mail Adresse (optional)