Coq d'or

Regardez d'autres dictionnaires:

• 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 — Saltar a navegación, búsqueda 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… …   Wikipedia Español

• 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