Coq

Coq

    8.4

5º de 9 en Resolver ecuaciones

Gratis (libre)
     
5

Comprobador de teoremas matemáticos

Análisis de

Este programa tiene muy interesantes aplicaciones en diversos campos, ya que podemos utilizarla desde el área de la enseñanza de las matemáticas al entorno industrial. Coq es un sistema de demostración que nos proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos ejecutables y teoremas, todo ello junto a un entorno de desarrollo semi-interactivo de pruebas comprobadas. Las aplicaciones más habituales y típicas para este programa son, por ejemplo, la formalización de la semántica de los lenguajes de programación. En este punto, podemos nombrar el proyecto de certificación del compilador de CompCert o la certificación de Java Card EAL7, todo ello en el contexto industrial. Otro campo de aplicación muy claro es el de la formalización de las matemáticas    y su enseñanza.

Este programa nos permite expresar afirmaciones matemáticas, comprobaciones mecánicas de las mismas, así como también nos ayuda a encontrar pruebas formales de la certeza de las aseveraciones. Este programa trabaja dentro de la teoría del cálculo de construcciones inductivas, una derivación del cálculo de construcciones. Coq no es un comprobador automático de teoremas pero incluye tácticas automáticas de comprobación y varios procedimientos de decisión.

Valoraciones sobre Coq

Muy Bueno

5 votos

  • Excelente 
  •  
  • 1
  • Muy Bueno 
  •  
  • 2
  • Normal 
  •  
  • 2
  • Malo 
  •  
  • 0
  • Pésimo 
  •  
  • 0

 

Más información

Tamaño

53,71 MB

Última versión

8.4

Idioma

Inglés 

Descargas totales

8.827

Funciona en

Windows XP, Vista, 7

Fecha

hace 11 años y 4 meses

Autor

Análisis de seguridad

De confianza

Alternativas a Coq

DeadLine

Programa para solucionar todas nuestras ecuaciones matemáticas de forma grafica.

Gratis Descargar
Ecualin
Obsoleto

Aplicación para resolver sistemas de ecuaciones lineales.

Gratis Descargar
MathCast

Redacción y edición de ecuaciones, matrices y vectores.

Gratis (libre) Descargar
Logical Formula Evaluator

Herramienta de edición y resolución de fórmulas lógicas proposicionales

Gratis Descargar
Math Mechanixs

Programa para solucionar nuestros problemas matemáticos.

Gratis Descargar
Ro3n

Aplicación básica para la resolución de ecuaciones lineales y cuadráticas.

Gratis (libre) Descargar