Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theorie der logischen Programmierung

Theorie der logischen Programmierung

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
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
Available Sizes
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
Contact Store Call Store Contact Support
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Evolvable Systems: From Biology to Hardware

$54.99

Karl Kraus-Handbuch

$119.99

Zur Kenntnis der Retzer Sande

$59.99

Approaches for Science Illustration and Communication

$129.00

Psychiatrie

$64.99

Ultrafast Magnetism I

$169.99

International Oil Industry

$44.99

Silicon-Containing Polymers

$379.99

Einfhrung in Grundbegriffe und Grundfragen der Erziehungswissenschaft

$44.99

Formal Methods: Foundations and Applications

$39.99

Horticulture: Plants for People and Places, Volume 2

$129.00

Conservative Women

$54.99

Privateering and Diplomacy, 17931807

$79.99

Explicit Communication

$54.99

Konstruktive Geometrie fr Techniker

$54.99

The Philosophy of War and Exile

$54.99

The Perfume Handbook

$84.99

Unionist Voices and the Politics of Remembering the Past in Northern Ireland

$39.99

Goethe Jahrbuch 2002

$39.99

Optimal Control of Credit Risk

$84.99

Plant Physiological Ecology

$59.99

Extracellular Composite Matrices in Arthropods

$299.99

Hierarchical Control and Optimization Strategies Applied to Solar Membrane Distillation Facilities

$109.00

The Philosophy and Science of Language

$139.99

Human Computer Interaction in Healthcare

$69.99

Representing Lives

$84.99

Mindfulness-based Emotion Focused Counselling

$89.99

Anreizsysteme in der Beschaffung

$69.99

Internationale Herausforderungen humanitrer NGOs

$79.99

Trait Crate Plus: Grade 5

$175.00

The Fascination of Probability, Statistics and their Applications

$109.99

Investition I

$54.99

Finite Element Analysis for Civil Engineering with DIANA Software

$199.99

Machine Learning for Materials Discovery

$129.00

Nature Management by Grazing and Cutting

$219.99

Frida Kahlo y sus animalitos

$6.71

Comparative and Veterinary Pharmacology

$329.99

Exploring the Mathematical Education of Teachers Using TEDS-M Data

$84.99

Linear Algebra, Signal Processing, and Wavelets - A Unified Approach

$79.99

Gabby's Dollhouse: Kitty School Level 1 Reader

$4.49