prolog logische programmierung: Bücher (17 Ergebnisse)

Taschenbuch. Zustand: Gut. 2., überarb. u. erw. Aufl. 317 Seiten; Das Taschenbuch besitzt einen Bibliotheksstempel im Inneren, befindet sich aber ansonsten in einem einwandfreien Zustand. Sprache: Deutsch Gewicht in Gramm: 300.

paperback. Zustand: Gut. 277 Seiten; Ausgabe von 1986, Artikel stammt aus Nichtraucherhaushalt! BM6593 Sprache: Deutsch Gewicht in Gramm: 1.

paperback. Zustand: Gut. Seiten; Ausgabe von 1986, Artikel stammt aus Nichtraucherhaushalt! AN11701 Sprache: Deutsch Gewicht in Gramm: 500.

Zustand: acceptable. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn.

Zustand: Poor. Signatur, nicht zum Buch zugehörig.

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Softcover. 317 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 86A2130 3411006307 Sprache: Deutsch Gewicht in Gramm: 300.

Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: Kleiner Riss, angestoßen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Produktart: Bücher.

Zustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Sprache: Deutsch | Produktart: Bücher.

Softcover. 317 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 89A55 3411056304 Sprache: Deutsch Gewicht in Gramm: 300.

Softcover. Zustand: gut. 1992. Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Möglichkeiten der logischen Programmierung vertraut. Die ausführliche Darstellung mit Übungsaufgaben und ausgewählten Lösungen setzt keine speziellen Vorkenntnisse in formaler Logik voraus. In der Einleitung werden die wichtigsten Probleme und Resultate der Theorie anhand von Beispielen anschaulich vorgestellt. Es ist ein besonderes Anliegen des Buches, zu zeigen, wie höhere Konzepte der mathematischen Logik, z.B. vollständige Theorien, dreiwertige Logik oder saturierte Strukturen, in natürlicher und verständlicher Weise sinnvoll eingesetzt werden können. Auch dem neuen Thema der logischen Programmierung mit Randbedingungen (constraints) ist ein Kapitel gewidmet. In allen Teilen des Buches wird Wert gelegt auf klare Darstellung, mathematische Präzision und vollständige, nachvollziehbare Beweise. Auf übertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingeführt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektüre zu Vorlesungen als auch zum Selbststudium geeignet. Inhalt: 0 Einleitung.- 1 Voraussetzungen.- 1.1 Terminologie und Notation.- 1.2 Übungsaufgaben.- 2 Der Prädikatenkalkül erster Stufe.- 2.1 Die Syntax des Prädikatenkalküls erster Stufe.- 2.2 Semantik des Prädikatenkalküls erster Stufe.- 2.3 Die Interpretation von Formeln des Prädikatenkalküls.- 2.4 Herbrand-Strukturen.- 2.5 Übungsaufgaben.- 3 Unifikation.- 3.1 Substitution.- 3.2 Der Termverband.- 3.3 Unifikation sortierter Terme.- 3.4 Unifikation von Termen zweiter Stufe.- 3.5 Übungsaufgaben.- 4 Unifikationsalgorithmen.- 4.1 Der Algorithmus von J. A. Robinson.- 4.2 Der Martelli-Montanari Algorithmus.- 4.3 Übungsaufgaben.- 5 Resolutionskalküle.- 5.1 Das Resolutionsprinzip.- 5.2 Die Stützmengen-Strategie.- 5.3 Beweisdiagramme.- 5.4 Modellelimination.- 5.5 Übungsaufgaben.- 6 PROLOG-Situationen.- 6.1 Lineare Resolution.- 6.2 Beweissuchbäume.- 6.3 Fixpunkte.- 6.4 Im Endlichen erfolglose Beweissuchbäume.- 6.5 Übungsaufgaben.- 7 Eigenschaften von Hornkauseln.- 7.1 Modelltheoretische Eigenschaften von Hornklauseln.- 7.2 Die Turingvollständigkeit des Hornklauselfragments.- 7.3 Übungsaufgaben.- 8 Allgemeine PROLOG-Situationen.- 8.1 NF-Beweissuchbäume.- 8.2 Die Vervollständigung.- 8.3 Der Korrektheitssatz für NF-Beweissuche.- 8.4 Fixpunkte.- 8.5 Ein Vollständigkeitssatz.- 8.6 Übungsaufgaben.- 9 Dreiwertige Semantik für verallgemeinerte PROLOG-Situationen.- 9.1 Einführung in die dreiwertige Logik.- 9.2 Die Dreiwertige Vervollständigung.- 9.3 Exkurs über saturierte Strukturen.- 9.4 Übungsaufgaben.- 10 PROLOG-Situationen mit Gleichheit.- 10.1 Syntax und Semantik.- 10.2 K-Herbrand-Strukturen.- 10.3 E-Resolution.- 10.4 Übungsaufgaben.- 11 Logische Programme mit Randbedingungen.- 11.1 Prolog-Situationen mit Randbedingungen.- 11.2 Übungsaufgaben.- Lösungen Sprache deutsch Maße 155 x 235 mm Einbandart Paperback Mathematik Informatik Informatiker Beweis Division dreiwertige Logik Logiker Logische Programmierung Prädikate Prädikatenlogik Programmieren Programmierung PROLOG Resolutionskalkül ISBN-10 3-540-55702-4 / 3540557024 ISBN-13 978-3-540-55702-9 / 9783540557029 Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Schmitt In deutscher Sprache. 246 pages.

Hardcover. Zustand: gut. 2000. Wilhelm Weisweber gibt in diesem Lehrbuch eine Einführung in die logische Programmier-sprache Prolog mit vielen praktischen Tips und Beispielen und stellt dabei selbstverständlich auch die Programmiersprache vor. Ziel ist es, den Leser, der nicht mit dem Fach Informatik vertraut sein muß, über diese Einführung hinaus an Anwendungen in der theoretischen Informatik und Computerlinguistik heranzuführen. Die praktische Verwendung von Prolog steht dabei immer im Vordergrund. Der erste Teil des Buches beschäftigt sich mit den Grundlagen für die Programmierung mit Prolog. Danach folgt eine Einführung in die grundlegenden Prolog-Programmiertechniken. Im letzten Teil werden Anwendungen von Prolog z.B. in den Bereichen Datenbanken, OODB's und Softwareengineering behandelt. Die darbebotenen Inhalte werden durch zahlreiche praktische Tips, Beispiele und Übungsaufgaben am Ende jedes Abschnitts vertieft. Dieses Buch führt den Leser mit vielen praktischen Tips und Beispielen in die logische Programmiersprache Prolog ein. Er wird dabei nicht nur mit den Spracheigenschaften vertraut gemacht, sondern an Anwendungen aus verschiedenen Bereichen der Informatik herangeführt. Beispiele behandeln Aufgaben aus der Computerlinguistik, der Sprach- und Informationswissenschaft und der Automatentheorie. Das Buch richtet sich an alle, die sich mit den Grundlagen der logischen Programmierung vertraut machen wollen, die sich von den imperativen, funktionalen und objektorientierten Ansätzen erheblich unterscheiden. Spezielle Informatikkenntnisse werden nicht vorausgesetzt. In deutscher Sprache. 384 pages. 23,6 x 17 x 2,6 cm.

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 384 | Produktart: Bücher.

Gebundene Ausgabe. Zustand: Befriedigend. 400 Seiten; Artikel stammt aus Nichtraucherhaushalt! M17297 Sprache: Deutsch Gewicht in Gramm: 550.

Hardcover. Zustand: Wie neu. 400 EDV Computer Bibl-Ex. Mit Abb. Stempel auf Seitenschnitt. Guter Zustand Bibl-Ex. Mit Abb. ha1071427 Sprache: Deutsch Gewicht in Gramm: 400.

Zustand: gut. Rechnung mit MwSt - Versand aus Deutschland pages.