Coq

Coq

Coq

Coq (gallo en francés) es un sistema de ayuda para la demostración de teoremas que maneja aserciones matemáticas, verifica mecánicamente las pruebas de aserciones, ayuda a encontrar pruebas para esas aserciones y extrae programas certificados (correctos) a partir de las pruebas constructivas de aserciones que representan su especificación formal. Coq trabaja basándose en la teoría del Cálculo de Construcciones Inductivas, que es una teoría derivada del Cálculo de Construcciones.

Fue desarrollado en Francia, en el proyecto LogiCal, entre el INRIA, la École Polytechnique, la Universidad París XI y el CNRS. Dirigen el desarrollo los investigadores Gilles Dowek y Christine Paulin-Mohring. Coq está escrito en el lenguaje Ocaml.

Enlaces externos

Obtenido de "Coq"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • coq — coq …   Dictionnaire des rimes

  • coq — 1. (kok ; le q se fait toujours entendre, excepté dans coq d Inde qui se prononce : ko din d ; dans plusieurs provinces, au pluriel, on prononce non pas des kok, mais des kô, qui est une prononciation ancienne) s. m. 1°   Le mâle de la poule.… …   Dictionnaire de la Langue Française d'Émile Littré

  • Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия

  • coq — COQ. s. m. (On pron. le Q.) Sorte d oiseau domestique qui est le mâle de la poule. Bon coq. Un jeune coq. Un vieux coq. Crête de coq. Faire battre, faire jouter des coqs. Un combat de coqs. Le chant du coq. Au premier chant du coq. Plumes de coq …   Dictionnaire de l'Académie Française 1798

  • Coq — steht für: A. Le Coq, estnische Brauerei Coq (Software), ein mathematisches Beweisführungsprogramm Le Coq Sportif, Sportartikelhersteller Le Coq ist in der Geographie: der französische Name des belgischen Ortes De Haan Coq, Le Coq ist der… …   Deutsch Wikipedia

  • coq — COQ. s. m. Sorte d oiseau domestique qui est le masle de la poule. Bon coq. un jeune coq. un vieux coq. creste de coq. faire battre, faire jouster des coqs. le chant du coq. au premier chant du coq. un peu avant le point du jour on entend le coq… …   Dictionnaire de l'Académie française

  • coq — {{t=g}}kottos,{{/t}} Graece, gallus est gallinaceus, Hinc forte Coq dicimus, pro Cot, Cotte, huius cottes, et Cottis, huius cottidis, caput significat: vnde {{t=g}}kottoi,{{/t}} gallinacei dicti sunt, ob cristam quam in capite ferunt. Il estoit… …   Thresor de la langue françoyse

  • Coq — (gallo en francés) es un sistema de ayuda a la demostración de teoremas que maneja aserciones matemáticas, verifica mecánicamente las pruebas de aserciones, ayuda a encontrar prubas para esas aserciones y extrae programas certificados (correctos) …   Enciclopedia Universal

  • coq — COQ: Un homme maigre doit toujours dire qu un bon coq n est jamais gras …   Dictionnaire des idées reçues

  • Coq. — Coq. (Med.), Abbreviatur auf Recepten für: Coque, koche …   Pierer's Universal-Lexikon

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”