Logische und Funktionale Programmierung

Grundlagen einer Kombination

AvUlrich Furbach

Häftad, Tyska, 1991

Del i serien Künstliche Intelligenz

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

591 kr

Produktinformation

Utgivningsdatum:1991-01-01
Mått:170 x 244 x 10 mm
Vikt:302 g
Format:Häftad
Språk:Tyska
Serie:Künstliche Intelligenz
Antal sidor:159
Upplaga:1991
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528051273

Utforska kategorier

Programmeringsböcker inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

0 Einführung.- 1 Hornklausellogik als Programmiersprache.- 1.1 Die Sprache der Hornklauseln: Syntax und Semantik von HCL.- 1.2 Behandlung der Gleichheit.- 1.3 HCL-Programme mit Gleichheit.- 2 Die Kombination von HCL und funktionalen Sprachen.- 2.1 Formale Spezifikation der Kombination.- 2.2 Erweiterte Unifikation.- 2.3 Erweiterte Resolution.- 2.4 Korrektheit.- 2.5 Vollständigkeit.- 2.6 Beispiele aus der Literatur.- 3 Das FHCL-Programmiersystem.- 3.1 Die Sprache.- 3.2 Erweiterte Unifikation und Resolution in FHCL.- 3.3 Inverse Funktionen.- 3.4 Systemumgebung.- 3.5 Ein FHCL-Beispiel.- 4 Parallelisierung von HCL.- 4.1 ODER-Parallelität.- 4.2 FHCL auf Mehrprozessorsystemen.- 5 Termersetzungssysteme im FHCL-Schema.- 5.1 Termersetzungssysteme als funktionale Sprache.- 5.2 Von Hornklausellogik zu Termersetzungssystemen.- 5.3 Einordnung ins FHCL-Schema und Diskussion.- 6 Sortierte Hornklauseln.- 6.1 Mehrsortigkeit.- 6.2 Sortenhierarchien.- 6.3 Syntaktischer Zucker.- 6.4 Attribute und Vererbung.- 6.5 Gleichungen vs. Relativierung.- 7 Eine Anwendung: Smoothsort.- 7.1 Transformationelle Programmentwicklung.- 7.2 Entwicklung von Smoothsort.- 7.3 Lehren daraus.- 8 Zusammenfassung.- 9 Anhang.- Literatur.- Sachwortverzeichnis.

Mer från samma författare

Del 578

Computational Intelligence in Data Science

Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M.

Inbunden, 2020

1 137 kr

Computational Intelligence in Data Science

Anand Kumar M., Ashish Ghosh, Ulrich Furbach, Aravindan Chandrabose

E-bok

2020

1 427 kr

Del 578

Computational Intelligence in Data Science

Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M.

Häftad, 2021

1 137 kr

KI 2005: Advances in Artificial Intelligence

Ulrich Furbach

Häftad, 2005

572 kr

KI 2005: Advances in Artificial Intelligence

Ulrich Furbach

E-bok

2005

718 kr

Automated Reasoning

Ulrich Furbach, Natarajan Shankar

Häftad, 2006

1 137 kr

Automated Reasoning

Natarajan Shankar, Ulrich Furbach

E-bok

2006

1 470 kr

Computational Logic - CL 2000

Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd

E-bok

2003

739 kr

Logics in Artificial Intelligence

Ulrich Furbach, Farinas Luis Del Cerro

E-bok

2003

718 kr

Logic Programming and Nonmonotonic Reasoning

Ulrich Furbach, Anil Nerode

Häftad, 1997

572 kr

Mer från samma serie

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

588 kr

LISP

Rüdiger Esser

Häftad, 1989

571 kr

Logische Grundlagen der Künstlichen Intelligenz

Nils J. Nilsson

Häftad, 1989

520 kr

Wissensbasierte Echtzeitplanung

Jürgen Dorn

Häftad, 1989

571 kr

Modulare Regelprogrammierung

Siegfried Bocionek

Häftad, 1990

588 kr

Automatisierung von Terminierungsbeweisen

Christoph Walther

Häftad, 1991

588 kr

Relative Complexities of First Order Calculi

Elmar Eder

Häftad, 1992

571 kr

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

Léa Sombé

Häftad, 1992

588 kr

Parallelism in Logic

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH

Häftad, 1991

588 kr

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

588 kr

Du kanske också är intresserad av