Cantitate/Preț
Produs
Total produse
Vezi coșul
Logische und Funktionale Programmierung: Grundlagen einer Kombination de Ulrich Furbach

Logische und Funktionale Programmierung: Grundlagen einer Kombination: Künstliche Intelligenz

Autor Ulrich Furbach
de Limba Germană Paperback – 1991

Din seria Künstliche Intelligenz

  • Parallelism in Logic: Its Potential for Performance and Program Development
    Preț: 40880 lei
  • 20% Automated Theorem Proving
    Preț: 62290 lei
  • Relative Complexities of First Order Calculi
    Preț: 40069 lei
  • 20% Prolog: Eine methodische Einführung
    Preț: 40145 lei
  • 20% Die Wissensrepräsentationssprache OPS5: Sprachbeschreibung und Einführung in die regelorientierte Programmierung
    Preț: 34945 lei
  • 20% Objektorientierte und wissensbasierte Bildverarbeitung
    Preț: 34614 lei
  • Logische Grundlagen der Künstlichen Intelligenz
    Preț: 36749 lei
  • Wissensbasierte Echtzeitplanung
    Preț: 40180 lei
  • 20% Modulare Regelprogrammierung
    Preț: 34534 lei
  • 20% Automatisierung von Terminierungsbeweisen
    Preț: 34759 lei
  • 20% Schließen bei unsicherem Wissen in der Künstlichen Intelligenz: Vergleich von Formalismen anhand eines Beispiels
    Preț: 34377 lei
  • 20% LISP: Fallbeispiele mit Anwendungen in der Künstlichen Intelligenz
    Preț: 34582 lei
  • 20% Prolog: Eine methodische Einführung
    Preț: 34709 lei
  • 20% Neuronale Netze und Fuzzy-Systeme: Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden
    Preț: 41064 lei

Preț: 34220 lei

Preț vechi: 42775 lei
-20%

Puncte Express: 513

Carte tipărită la comandă

Livrare economică 11-25 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783528051273
ISBN-10: 3528051272
Pagini: 168
Ilustrații: IV, 159 S. 1 Abb.
Dimensiuni: 170 x 244 x 9 mm
Greutate: 0.28 kg
Ediția:1991
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Künstliche Intelligenz

Locul publicării:Wiesbaden, Germany

Public țintă

Research

Cuprins

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.