Coq
8.2.pl1
Descargar Coq (132 Mb)
| Licencia: | Gratis |
|---|---|
| Idioma: | Inglés |
| Actualizado: | 28 de Septiembre del 2009 |
| Descargas: | 173 descargas |
| Autor: | Web |
| Funciona en: | Windows XP |
"Sistema de comprobación y pruebas matemáticas."
Revisado por el equipo de redacción de PortalProgramas
Coq es un sistema de demostración automática de teoremas.
Es un lenguaje formal para escribir las definiciones matemáticas, los algoritmos de ejecutables y de los teoremas. En un entorno interactivo semidesarrollo podrás realizar comprobaciones y pruebas.
Es un lenguaje formal para escribir las definiciones matemáticas, los algoritmos de ejecutables y de los teoremas. En un entorno interactivo semidesarrollo podrás realizar comprobaciones y pruebas.
¿No te gusta Coq?
Prueba estos Programa similares
 |
Ejercicios de matemáticas
Múltiples ejercicios de matemáticas para niños y adultos. |
Español
|
Gratis |
 |
Geogebra
Programa de eduación para interactuar dinámicamente con la matemática. |
Español
|
Gratis |
 |
CalcMAT
Potente herramienta de cálculo, con capacidad de conversión entre diferentes unidades. |
Español
|
Evaluacion |
 |
Graph
Genera graficas de las funciones matemáticas. |
Español
|
Gratis |
Más programa en Matematicas
o las búsquedas relacionadas con esta descarga gratuita
- divisiones
- divisiones ejercicios
- matematicas primaria
- matematicas
- ejercicios matematicas primaria
- operaciones basicas matematicas
- resolver ejercicios matematicas
- divisiones primaria
- resolver divisiones matematicas
- divisiones matematicas
Tu opinión sobre Coq
Para poder opinar debes estar identificado en PortalProgramas
¡Software libre!
Este programa puedes usarlo, copiarlo y distribuirlo libremente.
Conoce más software libre en Matematicas
¿Qué es el software libre?