Tesis profesional presentada por Juan Carlos Nieves Sánchez

Maestría en Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales. Escuela de Ingeniería, Universidad de las Américas Puebla.

Jurado Calificador

Presidente: Dr. Rogelio Dávila Pérez
Vocal y Director: Dr. Mauricio Javier Osorio Galindo
Secretario: Dr. Daniel Vallejo Rodríguez

Cholula, Puebla, México a 17 de febrero de 2001.

Índice de contenido

Introducción (archivo pdf, 66 kb)

Capítulo 1. Marco teórico (archivo pdf, 256 kb)

  • 1.1 Fundamentos de la Programación Lógica
  • 1.2 Conjuntos parcialmente ordenados
  • 1.3 Programación de orden parcial
  • 1.4 Algunos estándares

Capítulo 2. Optimización del espacio de búsqueda (archivo pdf, 257 kb)

  • 2.1 Semántica operacional
  • 2.2 Formalización de la semántica operacional
  • 2.3 Extensiones

Capítulo 3. Conclusiones y trabajo a futuro (archivo pdf, 111 kb)

Referencias (archivo pdf, 207 kb)

Nieves Sánchez, J. C. 2001. Semántica operacional de un lenguaje lógico funcional. Tesis Maestría. Ciencias con Especialidad en Ingeniería en Sistemas Computacionales. Departamento de Ingeniería en Sistemas Computacionales, Escuela de Ingeniería, Universidad de las Américas Puebla. Febrero. Derechos Reservados © 2001.