Je was op zoek naar: coq (Engels - Grieks)

joël le coq (for group ii)
joël le coq (για την Ομάδα ii)

f - 92430 marnes de la coq
f-92430 marnes de la coq

graphical interface for the coq proof assistant
Γραφικό περιβάλλον για το βοηθό αποδείξεων coq

in computer science, coq is an interactive theorem prover.
Στην επιστήμη υπολογιστών, το coq είναι ένας διαλογικό εργαλείο απόδειξης θεωρημάτων (interactive theorem prover).

le coq arena was built, kadriorg also was the home ground for the estonia national football team.
le coq arena δεν είχε χτιστεί, το στάδιο ήταν η έδρα της Εθνικής ομάδας ποδοσφαίρου της Εσθονίας.

coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions.
Το coq λειτουργεί στη θεωρία του λογισμού των επαγωγικών κατασκευών (calculus of inductive constructions), ο οποίος αποτελεί παράγωγο του λογισμού των κατασκευών (calculus of constructions).

this removed the need to trust the various computer programs used to verify particular cases; it is only necessary to trust the coq kernel .
Αυτό απομάκρυνε την ανάγκη να εμπιστευτούμε τα διάφορα προγράμματα υπολογιστή που χρησιμοποιούνται για να επιβεβαιώσουν συγκεκριμένες υποθέσεις· απαιτείται μόνο να εμπιστευτούμε τον πυρήνα coq .

despite the name, most of the new features added to coq by ssreflect are general purpose features, useful not merely for the computational reflection style of proof.
Παρά το όνομα, τα πιο πολλά από τα νέα χαρακτηριστικά που προσθέτει στο coq η ssreflect είναι ιδιότητες γενικής χρήσης, που δεν είναι χρήσιμα μόνο για το στυλ υπολογιστικής ανάκλασης της απόδειξης.

==four color theorem and ssreflect extension==georges gonthier (of microsoft research, in cambridge, england) and benjamin werner (of inria) used coq to create a surveyable proof of the four color theorem, which was completed in september 2004.
== Θεώρημα τεσσάρων χρωμάτων και η επέκταση ssreflect ==Ο georges gonthier (από το microsoft research, στο Κέιμπριτζ της Αγγλίας) και ο benjamin werner (από το inria) χρησιμοποίησαν το coq για να δημιουργήσουν μια απόδειξη του θεωρήματος τεσσάρων χρωμάτων, η οποία ολοκληρώθηκε το Σεπτέμβριο του 2004.