COQ
Schlagen Sie auch in anderen Wörterbüchern nach:
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
