Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Theorie der logischen Programmierung

Name: Theorie der logischen Programmierung
Brand: Springer, Berlin
SKU: 9783540557029
Price: 1178 CZK
Availability: InStock

Eine elementare Einführung

Autor: Peter H. Schmitt

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

1 178 Kč

Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das log...

Informace o knize

Autor

Peter H. Schmitt

Jazyk

Němčina

Vazba

Kniha - Brožovaná

Vydáno

1992

Stránek

246

EAN

9783540557029

ISBN

3540557024

Enbook ID

06808791

Vydavatel

Springer, Berlin

Hmotnost

406

Rozměry

155 x 235 x 13

Kompletní popis

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.

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Theorie der logischen Programmierung

Eine elementare Einführung

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Metternich und der europäische Frieden

Das Geschichtswerk des Herodot von Halikarnassos

Tahiti: Ein Abenteuerroman aus der Südsee

Zákaznicí kteří koupili tuto knihu koupili také

2 Agujas Tejidos. Especial Infantil

Power of Memory in Democratic Politics

Investigating Classroom Discourse

Just Property

Structure of the Earth

Hegel en 90 minutos

Erakundeen soziologia

Kezdők olasz nyelvkönyve

Elles m'Observent

Archiv český Díl XLII

Europa/Nippon/New York: Poems/Not-Poems

I Was Anastasia

Today Karissa Will Be a Princess

Stratford-Upon-Avon and Evesham

Politics of Writing

Nanomaterials for Chemical Sensors and Biotechnology

Suite for Strings

1 Honest Man: Four Different Perspectives

LE GUSTA LA MUSICA, LE GUSTA BAILAR