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.
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.
Artículo:
Análisis de convergencia de los métodos de partición de grupo precondicionados en problemas de valor en la frontera.
Artículo:
Evaluación de la inversión en CAC de China mediante un novedoso modelo basado en opciones reales
Artículo:
Nuevo método de Runge-Kutta-Nyström implícito diagonal de 4(3) pares para EDOs periódicas.
Artículo:
Teoría Espectral para un Modelo Matemático de la Interacción Débil—Parte I: La Desintegración de los Bosones Vectoriales Intermedios
Artículo:
Espacios de tipo métrico cuasi desplazados doblemente controlados y algunos resultados
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Artículo:
La gestión de las relaciones con los clientes como característica de la alta rentabilidad empresarial
Artículo:
Análisis socioeconómico de la problemática de los desechos plásticos en el mar
Artículo:
Los web services como herramienta generadora de valor en las organizaciones