Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App

Peter H Schmitt [Autor]

(24 Ergebnisse)
Autor
Peter H Schmitt
Autor: Peter H Schmitt
Diese Suche speichern
Neuware
Theorie der logischen Programmierung  - Eine elementare EinführungBeispielbild für diese ISBN

Theorie der logischen Programmierung - Eine elementare Einführung

von Peter H. Schmitt

1992 Kartoniert, 260 Seiten, 235mm x 155mm x 15mm, Sprache(n): ger 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 logis…

Neuware
Bestell-Nr.: A394322
ISBN: 3540557024
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

54,99 EUR

Kostenloser Versand
Theorie der logischen Programmierung Eine elementare Einführung (Springer-Lehrbuch) von Peter H. Schmitt 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. Sc…

von Peter H. Schmitt Verlag: Springer

1992 1992 Softcover 246 S. Zustand: gebraucht - sehr gut, 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 Progr…

gebraucht, sehr gut
Bestell-Nr.: BN14966
ISBN: 3540557024
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars-Lutzer *** LITERA…, Wahlstedt, Deutschland

62,90 EUR

zzgl. 6,99 EUR Verpackung & Versand
Theorie der logischen Programmierung  - Eine elementare Einführung

Theorie der logischen Programmierung - Eine elementare Einführung

von Peter H Schmitt Verlag: Springer Berlin,

1992. Gebrauchs- und Lagerspuren. Außen: verschmutzt. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 22635263/203

gebraucht, gut
Bestell-Nr.: 22635263203
ISBN: 3540557024
Anbieter: Buchpark GmbH, Trebbin, Deutschland

  • Sonderaktion: 10% Rabatt bis 11.06.2024
Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

22,56 EUR 20,30 EUR

Kostenloser Versand
Denn sie werden getröstet werden: Das Hausbuch zu Leid und Trauer, Sterben und Tod  - Das Hausbuch zu Leid und Trauer, Sterben und Tod

Denn sie werden getröstet werden: Das Hausbuch zu Leid und Trauer, Sterben und Tod - Das Hausbuch…

von Neysters Peter Verlag: Kösel,

[2. Aufl.] 1993. Gebundene Ausgabe 374 S. Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

gebraucht, gut
Bestell-Nr.: 1256363
ISBN: 3466363950
Anbieter: Buchversand Büchermaus, Seesen, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

2,31 EUR

zzgl. 2,40 EUR Verpackung & Versand
Automated Deduction - A Basis for Applications, Volume III Applications

Automated Deduction - A Basis for Applications, Volume III Applications

von Wolfgang Bibel Verlag: Kluwer Academic Publishers

1998 XII, 334 Seiten, gebundene Ausgabe Hier nur Volume III. Zust: Gutes Exemplar. Mit Vorbesitzereintrag.

gebraucht
Bestell-Nr.: 492425
ISBN: 0792351312
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland

42,80 EUR

zzgl. 3,00 EUR Verpackung & Versand
Zeiten der Liebe: Ein Ehe- und Partnerschaftsbuch

Zeiten der Liebe: Ein Ehe- und Partnerschaftsbuch

von Karl H. Schmitt Verlag: Kösel,

1991. Gebundene Ausgabe 336 Seiten Kösel - 6. Auf. 1996 - gb + Su J5-CZZ6-LLIC

gebraucht, sehr gut
Bestell-Nr.: 219347
ISBN: 3466363438
Anbieter: Antiquariat Armebooks, Frankfurt, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

1,00 EUR

zzgl. 3,80 EUR Verpackung & Versand
Denn sie werden getröstet werden: Das Hausbuch zu Leid und Trauer, Sterben und Tod

Denn sie werden getröstet werden: Das Hausbuch zu Leid und Trauer, Sterben und Tod

von Peter Neysters Verlag: Kösel,

1993. Gebundene Ausgabe Besitzerstempel innen.

gebraucht, gut
Bestell-Nr.: 1129849
ISBN: 3466363950
Anbieter: Buchhesse, Bad Vilbel, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

2,95 EUR

zzgl. 2,98 EUR Verpackung & Versand
Denn sie werden getröstet werden: Das Hausbuch zu Leid und Trauer, Sterben und Tod

Denn sie werden getröstet werden: Das Hausbuch zu Leid und Trauer, Sterben und Tod

von Peter Neysters Verlag: Kösel,

1993. 0,0 x 0,0 x 0,0 cm, Gebundene Ausgabe Mit altersbedingten Lager- und Gebrauchsspuren. Elk-17

gebraucht, gut
Bestell-Nr.: 126455
ISBN: 3466363950
Anbieter: Bücherbazaar, Eggenstein, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

2,20 EUR

zzgl. 2,90 EUR Verpackung & Versand
Zeiten der Liebe: Ein Ehe- und Partnerschaftsbuch

Zeiten der Liebe: Ein Ehe- und Partnerschaftsbuch

von Karl H. Schmitt Verlag: Kösel,

Gebundene Ausgabe 336 Seiten 78 E

gebraucht, gut
Bestell-Nr.: 13633
ISBN: 3466363438
Anbieter: Ja-Buch / Binger-Antiquariat, Bingen am Rhein, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

5,50 EUR

Kostenloser Versand
Zeiten der Liebe: Ein Ehe- und Partnerschaftsbuch

Zeiten der Liebe: Ein Ehe- und Partnerschaftsbuch

von H. Schmitt Karl Verlag: Kösel,

1. [Dr.] 1991. Gebundene Ausgabe 0 Gebrauchsspuren.

gebraucht, gut
Bestell-Nr.: 1101047
ISBN: 3466363438
Anbieter: Buchhesse, Bad Vilbel, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

2,95 EUR

zzgl. 2,98 EUR Verpackung & Versand
Nichts passendes gefunden?
Autor
Peter H Schmitt
Link zur Suche kopieren

Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!