Ταχύτερη από τον browser!
9 συγγένειες: Agda, INRIA, Κέιμπριτζ, Πολυτεχνική Σχολή (Γαλλία), Συναρτησιακός προγραμματισμός, Αγγλία, Γαλλία, Γαλλική γλώσσα, OCaml.
Agda
Απόσπασμα απόδειξης στο '''agda2''' Το Agda είναι βοηθός αποδείξεων (proof assistant), δηλ.
Νέος!!: Coq και Agda · Δείτε περισσότερα »
INRIA
Το Institut national de recherche en informatique et en automatique (INRIA) (Ελληνικά: Εθνικό Ινστιτούτο Έρευνας στην Πληροφορική και τον Αυτοματισμό) είναι ένα εθνικό ινστιτούτο της Γαλλίας πουεστιάζει στην επιστήμη υπολογιστών, τη θεωρία ελέγχουκαι τα εφαρμοσμένα μαθηματικά.
Νέος!!: Coq και INRIA · Δείτε περισσότερα »
Κέιμπριτζ
Το κέντρο της πόλης Πρόσωψη τουκολεγίουKing's Η στρογγυλή εκκλησία στο κέντρο τουΚέιμπριτζ. Η πόλη τουΚέιμπριτζ (αγγλικά: Cambridge,, παλιά ελληνική ονομασία: Κανταβριγία) είναι παλιά αγγλική πανεπιστημιούπολη και διοικητικό κέντρο της επαρχίας τουΚέιμπριτζσαϊρ (Cambridgeshire).
Νέος!!: Coq και Κέιμπριτζ · Δείτε περισσότερα »
Πολυτεχνική Σχολή (Γαλλία)
Η Πολυτεχνική Σχολή (γαλλικά: École polytechnique) είναι δημόσιο ανώτατο εκπαιδευτικό ίδρυμα τριτοβάθμιας εκπαίδευσης και έρευνας στη Γαλλία.
Νέος!!: Coq και Πολυτεχνική Σχολή (Γαλλία) · Δείτε περισσότερα »
Συναρτησιακός προγραμματισμός
Στην επιστήμη υπολογιστών, συναρτησιακός προγραμματισμός είναι ένα προγραμματιστικό παράδειγμα πουαντιμετωπίζει τον υπολογισμό ως την αποτίμηση μαθηματικών συναρτήσεων και αποφεύγει την κατάσταση προγράμματος και τα μεταβλητά δεδομένα.
Νέος!!: Coq και Συναρτησιακός προγραμματισμός · Δείτε περισσότερα »
Αγγλία
Η Αγγλία (αγγλικά: England) είναι τμήμα τουΗνωμένουΒασιλείου, το οποίο είναι νησιωτικό κράτος βορειοδυτικά της ηπειρωτικής Ευρώπης.
Νέος!!: Coq και Αγγλία · Δείτε περισσότερα »
Γαλλία
Η Γαλλία (γαλλικά: France), με επίσημη ονομασία ως Γαλλική Δημοκρατία, είναι κράτος της Ευρώπης. Το πολίτευμά της είναι η ενιαία, ημιπροεδρική δημοκρατία, ενώ το μεγαλύτερο μέρος των εδαφών και τουπληθυσμού της βρίσκεται στη Δυτική Ευρώπη περιλαμβάνοντας όμως και κάποιες περιοχές και εδάφη διάσπαρτα σε ολόκληρη την υφήλιο. Η συνολική έκταση της Γαλλίας, ανέρχεται σε 674.843 τ.χλμ. και έχει πληθυσμό 68.128.000 κατοίκους (σύμφωνα με εκτιμήσεις για το 2023). Πρωτεύουσα και μεγαλύτερη πόλη είναι το Παρίσι. Επίσημη γλώσσα της Γαλλίας, είναι η γαλλική και νόμισμά της είναι το ευρώ. Το σύνθημά της είναι «Ελευθερία, Ισότητα, Αδερφοσύνη», και η σημαία της αποτελείται από τρεις κάθετες λωρίδες χρώματος μπλε, άσπρουκαι κόκκινου. Ο ύμνος της είναι Η Μασσαλιώτιδα. Η συνταγματική αρχή της είναι «κυβέρνηση τουλαού, από τον λαό και υπέρ τουλαού». Η Γαλλία ως χώρα σχηματίστηκε τον Πρώιμο Μεσαίωνα, παίρνοντας το όνομά της (Φρανς) από τους Φράγκους. Από τις αρχές του17ουαιώνα, ως το πρώτο μισό του20ουαιώνα, κατείχε μεγάλη αποικιακή αυτοκρατορία. Από τη δεκαετία του1950, είναι ένα από τα ιδρυτικά μέλη της Ευρωπαϊκής Ένωσης. Είναι πυρηνική δύναμη, και ένα από τα πέντε μόνιμα μέλη τουΣυμβουλίουΑσφαλείας των Ηνωμένων Εθνών. Η Γαλλία παίζει σημαντικό ρόλο στην παγκόσμια ιστορία με τον πολιτισμό της, τη γλώσσα της και τις δημοκρατικές και κοσμικιστικές της αξίες. Η Γαλλία κατείχε, το 2012, την πέμπτη θέση παγκοσμίως στο ακαθάριστο εθνικό προϊόν. Η οικονομία της, κεφαλαιοκρατικού τύπουμε αρκετά ισχυρή κρατική παρέμβαση. Είναι ένας από τους ηγέτες παγκοσμίως στους τομείς των τροφίμων, της αεροναυπηγικής, των αυτοκινήτων, των προϊόντων πολυτελείας, τουτουρισμού και των πυρηνικών. Με πληθυσμό 67 εκατομμύρια κατοίκους, η Γαλλία είναι μια ανεπτυγμένη χώρα με πολύ υψηλό δείκτη ανθρώπινης ανάπτυξης των Ηνωμένων Εθνών..
Νέος!!: Coq και Γαλλία · Δείτε περισσότερα »
Γαλλική γλώσσα
Η γαλλική γλώσσα (ή φραγκική γλώσσα) (γαλλικά, «la langue française») είναι η τρίτη από τις Ρομανικές γλώσσες από άποψη αριθμού ομιλητών ως μητρική γλώσσα, μετά την ισπανική γλώσσα και την πορτογαλική γλώσσα αλλά η μόνη από τις Ρομανικές με δυναμική παρουσία και στις πέντε ηπείρους και η μόνη με 600 περίπουεκατομμύρια ομιλητές ως μητρική, πρώτη ή δεύτερη γλώσσα Είναι επίσης η δεύτερη ξένη γλώσσα διδασκαλίας ανά τον κόσμο μετά τα αγγλικά με 125 εκατομμύρια μαθητές το 2015 και 900.000 διδάσκοντες, πολύ μπροστά έναντι της τρίτης σε σειρά διδασκόμενης γλώσσας.
Νέος!!: Coq και Γαλλική γλώσσα · Δείτε περισσότερα »
OCaml
Objective Caml (OCaml, προφέρεται «Οκάμελ»), ή Αντικειμενοστρεφής Caml, είναι η κύρια υλοποίηση της γλώσσας προγραμματισμού Caml, η οποία δημιουργήθηκε από τον Ξαβιέ Λερουά, τον Ζερόμ Βουιγιόν, τον Νταμιέν Ντολιγιέ, Ντιντιέ Ρεμύ και άλλους, το 1996.
Νέος!!: Coq και OCaml · Δείτε περισσότερα »
