 |
|
|
Item Details
| Title:
|
THEORIE DER LOGISCHEN PROGRAMMIERUNG
|
| By: |
Peter H. Schmitt |
| Format: |
Paperback |
| List price:
|
£42.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540557024 |
| ISBN 13: |
9783540557029 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
11 September, 1992 |
| Series: |
Springer-Lehrbuch |
| Pages: |
258 |
| Synopsis: |
Die Programmiersprache Prolog hat ihre Bewahrungsprobe 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 Moglichkeiten der logischen Programmierung vertraut. Die ausfuhrliche Darstellung mit Ubungsaufgaben und ausgewahlten Losungen 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 hohere Konzepte der mathematischen Logik, z.B. vollstandige Theorien, dreiwertige Logik oder saturierte Strukturen, in naturlicher und verstandlicher Weise sinnvoll eingesetzt werden konnen. 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 Prazision und vollstandige, nachvollziehbare Beweise. Auf ubertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingefuhrt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lekture zu Vorlesungen als auch zum Selbststudium geeignet. |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|