Del i serien Künstliche Intelligenz

Automatisierung von Terminierungsbeweisen

Häftad, Tyska, 1991

AvChristoph Walther

759 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-01-01
Mått170 x 244 x 15 mm
Vikt468 g
FormatHäftad
SpråkTyska
SerieKünstliche Intelligenz
Antal sidor253
Upplaga1991
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528047719

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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.

Mer från samma författare

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Inbunden, 2022

649 kr

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Häftad, 2022

499 kr

Del 34

Semantik und Programmverifikation

Christoph Walther

Häftad, 2001

519 kr

Soziale Arbeit in der Psychiatrie. Lehrbuch

Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann

Inbunden, 2022

579 kr

Soziale Arbeit in Psychiatrie und Suchthilfe. Fallbuch

Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann

Häftad, 2023

469 kr

Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit

Christoph Walther, Ingo Palsherm

Häftad, 2023

369 kr

Sigebert Von Gembloux (1112): Das Leben Des Heiligen Wibert: 'Vita', 'Elevatio' Und 'Miracula S. Wicberti', Liturgische Zeugnisse. Edition, Ubersetzun

Christoph Walther

Häftad

1 249 kr

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Inbunden, 2022

649 kr

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Häftad, 2022

509 kr

Mer från samma serie

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

759 kr

LISP

Rüdiger Esser

Häftad, 1989

739 kr

Logische Grundlagen der Künstlichen Intelligenz

Nils J. Nilsson

Häftad, 1989

679 kr

Wissensbasierte Echtzeitplanung

Jürgen Dorn

Häftad, 1989

739 kr

Modulare Regelprogrammierung

Siegfried Bocionek

Häftad, 1990

759 kr

Relative Complexities of First Order Calculi

Elmar Eder

Häftad, 1992

739 kr

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Léa Sombé

Häftad, 1992

759 kr

Logische und Funktionale Programmierung

Ulrich Furbach

Häftad, 1991

759 kr

Parallelism in Logic

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH

Häftad, 1991

759 kr

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

759 kr

Du kanske också är intresserad av

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Häftad, 2022

499 kr

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Inbunden, 2022

649 kr

Del 34

Semantik und Programmverifikation

Christoph Walther

Häftad, 2001

519 kr

Soziale Arbeit in Psychiatrie und Suchthilfe. Fallbuch

Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann

Häftad, 2023

469 kr

Soziale Arbeit in der Psychiatrie. Lehrbuch

Jeannette Bischkopf, Daniel Deimel, Christoph Walther, Ralf-Bruno Zimmermann

Inbunden, 2022

579 kr

Sigebert Von Gembloux (1112): Das Leben Des Heiligen Wibert: 'Vita', 'Elevatio' Und 'Miracula S. Wicberti', Liturgische Zeugnisse. Edition, Ubersetzun

Christoph Walther

Häftad

1 249 kr

Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit

Christoph Walther, Ingo Palsherm

Häftad, 2023

369 kr

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Häftad, 2022

509 kr

Mittelniederdeutsches Handwörterbuch

August Lübben, Christoph Walther

Inbunden, 2022

649 kr

Prolog

Paul Cordes, Paul Schmitz

Häftad, 1990

759 kr

Del i serien Künstliche Intelligenz

Automatisierung von Terminierungsbeweisen

Häftad, Tyska, 1991

AvChristoph Walther

759 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-01-01
Mått170 x 244 x 15 mm
Vikt468 g
FormatHäftad
SpråkTyska
SerieKünstliche Intelligenz
Antal sidor253
Upplaga1991
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528047719

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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.