Symbolic Logic And Mechanical Theorem Proving

Descripción

LIBROS
-----------------------------------------------------------------------------
---------------------- TIEMPOS DE ENVÍO ------------------------
--------------------------- DE 4 A 8 DÍAS ---------------------------
---------- HÁBILES A CIUDADES PRINCIPALES -----------
-----------------------------------------------------------------------------


--TITULO--
Lógica simbólica y demostración teorema mecánica

--TITULO--
Symbolic Logic and Mechanical Theorem Proving


--DESCRIPCIÓN LARGA--
Desde la contraportada La demostración del teorema mecánico es un tema importante en inteligencia artificial Se ha aplicado a muchas áreas análisis de programas, síntesis de programas, sistemas deductivos de respuesta a preguntas, sistemas de resolución de problemas y tecnología de robots Este texto clásico proporciona una discusión exhaustiva de la demostración del teorema mecánico y sus aplicaciones, así como una introducción a la lógica simbólica Se adopta un enfoque puramente teóricomodelo para la lógica de primer orden, y el libro enfatiza implementaciones informáticas eficientes de técnicas de prueba Apropiado tanto para estudiantes universitarios como para cursos de posgrado en demostración de teoremas, este texto también es adecuado como un libro de texto complementario en inteligencia artificial para proporcionarle al estudiante antecedentes en las áreas de prueba y aplicación de teoremas mecánicos

Peso del Producto: 1 Libra