Biblioteca122.739 documentos en línea

Artículo

Formalization of Linear Space Theory in the Higher-Order Logic Proving SystemFormalización de la Teoría del Espacio Lineal en el Sistema de Demostración Lógica de Orden Superior.

Resumen

La demostración de teoremas es un enfoque importante en la verificación formal. La lógica de orden superior es una forma de lógica de predicados que se distingue de la lógica de primer orden por tener cuantificadores adicionales y una semántica más fuerte. La lógica de orden superior es más expresiva. Este artículo presenta la formalización de la teoría de espacios lineales en HOL4. Un conjunto de propiedades es caracterizado en HOL4. Este resultado se utiliza para sentar las bases para la aplicación de la lógica de orden superior en un espectro más amplio de aplicaciones de ingeniería.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento