Nimm drei und bezahle nur zwei mit dem Gutschein DREIFACH
MwSt. inbegriffen
* Alle unsere Produkte werden sorgfältig geprüft, um eine nachhaltige Kultur zu fördern.
Jedes Produkt wird vor dem Versand geprüft, gereinigt und verifiziert. Wenn es nicht Ihren Erwartungen entspricht, erstatten wir Ihnen das Geld.
ISBN: 9780198596592
Este libro es una introducción a las ideas esenciales de la lógica formal y al nuevo campo de la programación lógica, que está empezando a tener un impacto en el área tradicional de la ingeniería de software convencional. Se enfatizan los conceptos lógicos y cómo pueden implementarse en el lenguaje de programación lógica Prolog. Los autores discuten analizadores, impresoras bonitas, intérpretes de lenguajes de programación, verificadores de pruebas interactivos, demostradores de teoremas de varios tipos e implementan versiones de Prolog. La primera parte del libro trata sobre Prolog como lenguaje de programación y cómo se puede utilizar. El núcleo del libro trata sobre los cálculos proposicionales y de predicados, que se tratan convencionalmente, a través de sistemas de deducción natural. Se esboza la teoría detrás de la demostración automática de teoremas. Los dos últimos capítulos examinan la lógica de un pequeño lenguaje imperativo de programación especificado y la lógica restringida de Prolog real. También se consideran cuestiones filosóficas.
