Universidad del Valle Biblioteca Digital

Biblioteca Digital Universidad del Valle > Patrimonio Documental Universidad del Valle > Revistas > Matemáticas Enseñanza Universitaria > Vol. 16 no. 2, 2008 / Matemática Enseñanza Universitaria >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10893/1808

Título : Semánticas de punto fijo para programas anotados. una realización por Mho-resolución
Autores: Ramírez, Carlos Ernesto
Palabras clave : Puntos Fijos
Lógicas Anotadas
Hiper-resolución
Programación Lógica
Fecha de publicación: 13-oct-2011
Resumen: En programación lógica clásica, una de las herramientas conceptuales más poderosas consiste en la interpretación semántica de un conjunto de fórmulas como funciones sobre conjuntos ordenados con ciertas propiedades estructurales. Tales funciones en combinación con teoremas de punto fijos como el de Knaster-Tarsky permite resolver ecuaciones de definición en la semántica declarativa de un programa lógico, dando origen a una semántica completa para el programa. En este trabajo, a través de un operador de consecuencia basado en una técnica de hiper-resolución anotada conocida como f-resolución, introducimos una semántica de punto fijo para programas lógicos anotados.
URI: http://hdl.handle.net/10893/1808
Aparece en las colecciones: Vol. 16 no. 2, 2008 / Matemática Enseñanza Universitaria

Texto completo:

Archivo Descripción Tamaño Formato
V.16-No2-p.87-102.pdf555.5 kBAdobe PDFDescargar aquí
Ver estadísticas

Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
Creative Commons

Los ítems de Biblioteca Digital están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Biblioteca Mario Carvajal
biblioteca@univalle.edu.co
Teléfonos +57 2 3212950 - Fax 3212977
Universidad del Valle - Ciudad Universitaria
Calle 13 # 100-00 Cali, Colombia
    Biblioteca San Fernando
biblioteca@univalle.edu.co
Teléfonos +57 2 5185633 - Fax 5581951
Universidad del Valle - Sede San Fernando
Calle 4a.B # 36-00
Cali, Colombia
    Biblioteca Colección Clínica
biblioteca@univalle.edu.co
Teléfonos +57 2 5576113
Hospital Universitario del Valle
Calle 5a # 36-08
Cali, Colombia
DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard