Vor Ort
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

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1991

Abbildungen

IV, 159 S. 1 Abb.

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, 159 S. 1 Abb.

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

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • 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.- 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.