Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Logische und Funktionale Programmierung

Grundlagen einer Kombination

AvUlrich Furbach

Häftad, Tyska, 1991

Del i serien Künstliche Intelligenz

581 kr

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

Fler format och utgåvor

566 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

Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M. - Computational Intelligence in Data Science, Inbunden

Del 578

Computational Intelligence in Data Science

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

Inbunden, 2020

1 124 kr

Anand Kumar M., Ashish Ghosh, Ulrich Furbach, Aravindan Chandrabose - Computational Intelligence in Data Science, E-bok

Computational Intelligence in Data Science

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

E-bok

2020

1 367 kr

Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M. - Computational Intelligence in Data Science, Häftad

Del 578

Computational Intelligence in Data Science

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

Häftad, 2021

1 124 kr

Ulrich Furbach - KI 2005: Advances in Artificial Intelligence, Häftad

KI 2005: Advances in Artificial Intelligence

Ulrich Furbach

Häftad, 2005

566 kr

Ulrich Furbach - KI 2005: Advances in Artificial Intelligence, E-bok

KI 2005: Advances in Artificial Intelligence

Ulrich Furbach

E-bok

2005

687 kr

Ulrich Furbach, Natarajan Shankar - Automated Reasoning, Häftad

Automated Reasoning

Ulrich Furbach, Natarajan Shankar

Häftad, 2006

1 124 kr

Natarajan Shankar, Ulrich Furbach - Automated Reasoning, E-bok

Automated Reasoning

Natarajan Shankar, Ulrich Furbach

E-bok

2006

1 408 kr

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

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

718 kr

Ulrich Furbach, Farinas Luis Del Cerro - Logics in Artificial Intelligence, E-bok

Logics in Artificial Intelligence

Ulrich Furbach, Farinas Luis Del Cerro

E-bok

2003

687 kr

Ulrich Furbach, Anil Nerode - Logic Programming and Nonmonotonic Reasoning, Häftad

Logic Programming and Nonmonotonic Reasoning

Ulrich Furbach, Anil Nerode

Häftad, 1997

566 kr

Mer från samma serie

Reinhard Krickhahn - Die Wissensrepräsentationssprache OPS5, Häftad

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

581 kr

Rüdiger Esser - LISP, Häftad

LISP

Rüdiger Esser

Häftad, 1989

564 kr

Nils J. Nilsson - Logische Grundlagen der Künstlichen Intelligenz, Häftad

Logische Grundlagen der Künstlichen Intelligenz

Nils J. Nilsson

Häftad, 1989

511 kr

Jürgen Dorn - Wissensbasierte Echtzeitplanung, Häftad

Wissensbasierte Echtzeitplanung

Jürgen Dorn

Häftad, 1989

564 kr

Siegfried Bocionek - Modulare Regelprogrammierung, Häftad

Modulare Regelprogrammierung

Siegfried Bocionek

Häftad, 1990

581 kr

Christoph Walther - Automatisierung von Terminierungsbeweisen, Häftad

Automatisierung von Terminierungsbeweisen

Christoph Walther

Häftad, 1991

581 kr

Elmar Eder - Relative Complexities of First Order Calculi, Häftad

Relative Complexities of First Order Calculi

Elmar Eder

Häftad, 1992

564 kr

Léa Sombé - Schließen bei unsicherem Wissen in der Künstlichen Intelligenz, Häftad

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

Léa Sombé

Häftad, 1992

581 kr

Parallelism in Logic, Häftad

Parallelism in Logic

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH

Häftad, 1991

581 kr

Detlef D. Nauck - Neuronale Netze und Fuzzy-Systeme, Häftad

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

581 kr

Du kanske också är intresserad av

Ulrich Furbach - Logische und Funktionale Programmierung, E-bok

Logische und Funktionale Programmierung

Ulrich Furbach

E-bok

2013

566 kr

Paul Cordes, Paul Schmitz - Prolog, Häftad

Prolog

Paul Cordes, Paul Schmitz

Häftad, 1990

581 kr

Léa Sombé - Schließen bei unsicherem Wissen in der Künstlichen Intelligenz, Häftad

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

Léa Sombé

Häftad, 1992

581 kr

Detlef D. Nauck - Neuronale Netze und Fuzzy-Systeme, Häftad

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

581 kr

Rüdiger Esser - LISP, Häftad

LISP

Rüdiger Esser

Häftad, 1989

564 kr

Parallelism in Logic, Häftad

Parallelism in Logic

Friedrich Vieweg & Sohn Verlagsgesellschaft mbH

Häftad, 1991

581 kr

Ralf Cordes, Paul Schmitz - Prolog, Häftad

Prolog

Ralf Cordes, Paul Schmitz

Häftad, 1992

581 kr

Reinhard Krickhahn - Die Wissensrepräsentationssprache OPS5, Häftad

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

581 kr

Siegfried Bocionek - Modulare Regelprogrammierung, Häftad

Modulare Regelprogrammierung

Siegfried Bocionek

Häftad, 1990

581 kr

Jürgen Dorn - Wissensbasierte Echtzeitplanung, Häftad

Wissensbasierte Echtzeitplanung

Jürgen Dorn

Häftad, 1989

564 kr