Theorie der logischen Programmierung

Name: Theorie der logischen Programmierung
Brand: Springer Nature
SKU: 9783540557029
Availability: InStock

Best Price:
Buy Theorie der logischen Programmierung for $49.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $49.99 - $49.99

BEST PRICE

Single Product Purchase

$49.99

@ Link.springer.com BUY Now

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$49.99	$49.99			$49.99		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540557029

Condition

New

Product Description

Die Programmiersprache Prolog hat ihre Bewhrungsprobe 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 Mglichkeiten der logischen Programmierung vertraut. Die ausfhrliche Darstellung mit bungsaufgaben und ausgewhlten Lsungen 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 hhere Konzepte der mathematischen Logik, z.B. vollstndige Theorien, dreiwertige Logik oder saturierte Strukturen, in natrlicher und verstndlicher Weise sinnvoll eingesetzt werden knnen. 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 Przision und vollstndige, nachvollziehbare Beweise. Auf bertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingefhrt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektre zu Vorlesungen als auch zum Selbststudium geeignet.

Available Colors

N/A

Available Sizes

N/A