Libro: A Proof Assistant For Logic (lecture Notes In 2283)

Descripción

Libro: A Proof Assistant for Logic (Lecture Notes in Computer Science, 2283)

Descripción:
Este volumen es una introducción independiente a la lógica de prueba interactiva en orden (HOL), utilizando el asistente de prueba Isabelle 2002. En comparación con la documentación existente de Isabelle, proporciona una ruta directa a la lógica, que la mayoría de la gente prefiere en estos días. Pasa por alto la lógica de primer orden y minimiza la discusión de la metateoría. Está escrito para usuarios potenciales y no para nuestros colegas en el mundo de la Otra desviación de la documentación anterior es que describimos la notación de script de prueba de Markus Wenzel en lugar de los scripts tácticos de ML. El l-ter facilita la introducción de nuevas tácticas sobre la marcha, pero casi nadie hace eso. La sintaxis dedicada de Wenzel es elegante, reemplazando, por ejemplo, las tácticas de simplificación con un solo método, a saber, simp, con ciones asociadas. El libro tiene tres partes. La primera parte, Técnicas elementales, muestra cómo modelar programas funcionales en lógica. Los primeros ejemplos involucran listas y los números naturales. La mayoría de las pruebas tienen dos pasos, que consisten en la inducción sobre una variable elegida seguida de la táctica automática. Pero incluso esta parte elemental cubre temas tan avanzados como la recursión anidada y mutua. La segunda parte, Lógica y conjuntos, presenta una colección de tácticas de bajo nivel que puedes usar para gobernar selectivamente. También describe el tratamiento I de conjuntos, funciones y relaciones y explica cómo definir conjuntos inductivamente. Uno de los ejemplos se refiere a la teoría de la comprobación de modelos y otro está extraído de un libro de texto clásico sobre lenguajes formales.

- - - - - - - - - - - - - - - - - - - - - - - -

- TODOS NUESTROS PRODUCTOS SON NUEVOS, IMPORTADOS, ORIGINALES Y FISICOS.
- LA FECHA DE ENTREGA ES LA QUE INDICA MERCADOLIBRE EN ESTA PUBLICACION.
- ENVIAMOS SOLO POR MERCADOENVIOS.
- GARANTIA 30 DIAS CORRIDOS DE RECIBIDA LA COMPRA.
- COMPROMETIDOS AL 100% CON EL SERVICIO AL CLIENTE

Garantía del vendedor: 30 días