Métodos y herramientas matemáticas para el análisis semántico en programación.

Mathematical Aspects of Logic Programming Semantics.  Hitzler, Pascal — Seda, Anthony. Taylor & Francis, 2011. ISBN: 9781439829622. DESCARGAR LIBRO

Aspectos matemáticos de la semántica de la programación lógica.

Cubriendo los resultados de la investigación de vanguardia de los propios autores, este libro presenta un relato riguroso y moderno de los métodos y herramientas matemáticas necesarias para el análisis semántico de los programas lógicos. Amplía significativamente las herramientas y métodos de la teoría del orden tradicional para incluir métodos no convencionales del análisis matemático que dependen de la topología, la teoría de dominios, las funciones de distancia generalizadas y la teoría de puntos fijos asociada.

Los autores examinan de cerca las interrelaciones entre varias semánticas así como la integración de la programación lógica y los sistemas de conexión/redes neuronales.

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Salir /  Cambiar )

Google photo

Estás comentando usando tu cuenta de Google. Salir /  Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Salir /  Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Salir /  Cambiar )

Conectando a %s