Coq

Coq

    8.4

6º de 9 en Resolver ecuaciones

Gratis (libre)
     
5

Comprobador de teoremas matemáticos

Valoraciones sobre Coq

Muy Bueno

5 votos

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

Análisis detallado

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.
Recibir notificaciones

¿Quieres recibir las novedades en apps de Resolver ecuaciones en tu email?

Tu email (No enviamos spam)


Programas alternativos a Coq

MathType

Una ayuda para el difícil trabajo de la edición de fórmulas matemáticas

Evaluación Descargar
Ecualin
Obsoleto

Aplicación para resolver sistemas de ecuaciones lineales.

Gratis Descargar
Math Mechanixs

Programa para solucionar nuestros problemas matemáticos.

Gratis Descargar
DeadLine

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

Gratis Descargar
MathCast

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

Gratis (libre) Descargar
Eular Equation Solver

Herramienta matemática para la resolución de ecuaciones de Eular

Gratis Descargar
 

Más información

Tamaño

53,71 MB

Versión

8.4

Idioma

Inglés 

Descargas totales

8.002

Funciona en

Windows XP, Vista, 7

Fecha

hace 5 años

Autor

Análisis antivirus

Sin virus