Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Theorie der Logischen Programmierung (German, Paperback)
Loot Price: R1,579
Discovery Miles 15 790
|
|
Theorie der Logischen Programmierung (German, Paperback)
Series: Springer-Lehrbuch
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.