Sistema de deductivo de resolución generalizada.

Una herramienta simple para probar la teoría sobre los sistemas deductivos de lógica de predicado
Descargar ahora

Sistema de deductivo de resolución generalizada. Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • Hashim Habiballa
  • Sistemas operativos:
  • May 1st, 2013, 12:11 UTC
  • Tamaño del archivo:
  • 527 KB

Sistema de deductivo de resolución generalizada. Etiquetas


Sistema de deductivo de resolución generalizada. Descripción

El sistema de deductivo de resolución generalmente es una aplicación intuitiva que le permite resolver problemas utilizando la teoría de primer orden y probar la hipótesis del sistema deductivo de lógica de predicado. El software puede procesar múltiples conjuntos de fórmulas de origen simultáneamente y le permite modificar las características de salida (axiomas, progreso, fuentes, resoluciones, estadísticas, etc.).


Sistema de deductivo de resolución generalizada. Software relacionado

Sobre nosotros