Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Aunque varias aplicaciones tecnológicas recientes requieren computación deductiva clásica con lógicas no clásicas, muchas tecnologías clave siguen funcionando bien -o exclusivamente, para el caso- con lógica clásica. En este primero de los dos volúmenes que componen la obra, profundizamos en la computación deductiva clásica con lógica clásica.
El objetivo del texto principal es proporcionar al lector una elaboración exhaustiva tanto de la computación clásica -también conocida como lenguajes formales y teoría de autómatas- como de la deducción clásica con el cálculo de predicados de primer orden clásico, con vistas a las implementaciones computacionales, concretamente en la demostración automatizada de teoremas y la programación lógica. Como complemento a la exposición matemática de los temas, ofrecemos al lector una amplia selección de ejercicios. Esta selección tiene como objetivo no sólo la práctica del material discutido, sino también el planteamiento creativo de problemas, tanto para los contenidos discutidos como para los novedosos, así como la investigación de otros temas relevantes.
La presente tercera edición mejora las anteriores al ofrecer un enfoque mucho más algorítmico: Ahora hay una sección completamente nueva sobre algoritmos y hay en total catorce algoritmos claramente aislados y diseñados en pseudocódigo. Otras mejoras son, por ejemplo, el énfasis en las funciones en el capítulo 1 y más ejercicios con máquinas de Turing.
© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)