Take three and pay for only two with coupon TRIPLEEN
by Peter Gibbins · Clarendon Press · tapa blanda · 336 pages
* All our products are carefully inspected to support sustainable culture.
Every product is inspected, cleaned and verified before shipping. If it's not what you expected, we'll refund your money.
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.
