Automatisierung von Terminierungsbeweisen
588 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
- Utgivningsdatum:1991-01-01
- Mått:170 x 244 x 15 mm
- Vikt:468 g
- Format:Häftad
- Språk:Tyska
- Serie:Künstliche Intelligenz
- Antal sidor:253
- Upplaga:1991
- Förlag:Springer Fachmedien Wiesbaden
- ISBN:9783528047719
Utforska kategorier
Innehållsförteckning
- 1 Einleitung.- 1.1 EinTerminierungsbeweis für einen Sortieralgorithmus.- 1.2 Das Termenierungsverfahren — Ein Überblick.- 1.3 Bibliographische Anmerkungen und verwandte Arbeiten.- 2 Syntaktische und semantische Begriffe.- 2.1 Syntaktische definitionen.- 2.2 semantik der sprache erster stufe.- 2.3 standardalgebren und Standardmodelle.- 2.4 Fundierte Ordnungen.- 3 Spezifikationen.- 3.1 Datenstrukturen.- 3.2 Algorithmen.- 3.3 Normalformen für Algorithmen.- 3.4 Zulässige spezifikationen und Beweisen durch Induktion.- 3.5 Zusammenfassung.- 4 Beweisen durch Abschätzen mit dem E-Kalkül.- 4.1 Die Anzahlordnung.- 4.2 Abschätzungen durch argumentbeschränkte Operationen.- 4.3 Differenzliterale für argumentbeschränkte Operationen.- 4.4 Abschätzungen durch Datenstrukturen.- 4.5 Formale Definition und Korrektheit des E-Kalküls.- 4.6 Das Differenzäquivalent.- 4.7 Ein Beweisverfahren für den E-Kalkül.- 4.8 Zusammenfassung.- 5 Erzeugung von Terminierungshypothesen.- 5.1 Terminierungshypothesen durch Abschätzungen.- 5.2 Ein Terminierungskriterium mit Termrepräsentanten.- 5.3 Algorithmen in positiver Strukturnormalform.- 5.4 Lexikographische Terminierungsordnungen.- 5.5 Terminierungshypothesen für das ‘Sort’-Beispiel.- 5.6 Zusammenfassung.- 6 Erkennen argumentbeschränkter Operationen.- 6.1 Reflexive Selektoren.- 6.2 Argumentbeschränkte Algorithmen.- 6.3 Synthese von differenzalgorithmen.- 6.4 Zusammenfassung.- 7 Optimierung von Differenzalgorithmen.- 7.1 Bedingungssubsumption.- 7.2 Termvereinfachung.- 7.3 Rekursionselimination.- 7.4 Fallverschmelzung.- 7.5 Zusammenfassung.- 8 Algorithmenmodifikation.- 8.1 Transformation von Ergebnistermen.- 8.2 Transformation von Bedingungen.- 8.3 Die Aufgabe des Benutzers.- 8.4 Zusammenfassung.- 9 Implementierung.
Hoppa över listan









Mer från samma författare
Del 34
Soziale Arbeit in der Psychiatrie. Lehrbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Inbunden, 2022
443 kr
Soziale Arbeit in Psychiatrie und Suchthilfe. Fallbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Häftad, 2023
357 kr
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Christoph Walther, Ingo Palsherm
Häftad, 2023
287 kr
Hoppa över listan









Du kanske också är intresserad av
Del 34
Soziale Arbeit in der Psychiatrie. Lehrbuch
Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann
Inbunden, 2022
443 kr
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Christoph Walther, Ingo Palsherm
Häftad, 2023
287 kr