Merkzettel Warenkorb
Produktbild: Logische und Funktionale Programmierung

Logische und Funktionale Programmierung Grundlagen einer Kombination

Aus der Reihe Künstliche Intelligenz

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1991

Abbildungen

IV, mit Abbildung

Verlag

Vieweg & Teubner

Seitenzahl

159

Maße (L/B/H)

24,4/17/1 cm

Gewicht

302 g

Auflage

1991

Sprache

Deutsch

ISBN

978-3-528-05127-3

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1991

Abbildungen

IV, mit Abbildung

Verlag

Vieweg & Teubner

Seitenzahl

159

Maße (L/B/H)

24,4/17/1 cm

Gewicht

302 g

Auflage

1991

Sprache

Deutsch

ISBN

978-3-528-05127-3

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Logische und Funktionale Programmierung
  • 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.- 4.2.1 ODER-Paralleles FHCL.- 4.2.2 Implementierung.- 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.