Ταχύτερη από τον browser!
36 συγγένειες: Agda, Gregory Bateson, Κουρτ Γκέντελ, Οντολογία, Προγραμματισμός, Παράδοξο του Ράσελ, Σύνολο, Σύστημα F, Σύστημα Τύπων, Σύστημα τύπων, Στίβεν Κλέινι, Συνάρτηση, Συναρτησιακός προγραμματισμός, Τύπος δεδομένων, Ταυτότητα (μαθηματικά), Φυσικός αριθμός, Μαθηματικά, Μπέρτραντ Ράσελ, Θεωρία Συνόλων, Θεωρία κατηγοριών, Θεωρία μοντέλων, Θεωρία πεδίων, Αξίωμα του απείρου, Γραμματική Μόνταγκιου, Γκότλομπ Φρέγκε, Γλώσσα προγραμματισμού, Άλφρεντ Νορθ Γουάιτχεντ, Άλφρεντ Τάρσκι, Εγκυκλοπαίδεια Φιλοσοφίας του Στάνφορντ, Επιστήμη Υπολογιστών, Λούντβιχ Βιτγκενστάιν, Λογική, Λογική Υψηλής Τάξης, Λογισμός λάμδα, Stanford Encyclopedia of Philosophy, Tractatus Logico-Philosophicus.
Agda
Απόσπασμα απόδειξης στο '''agda2''' Το Agda είναι βοηθός αποδείξεων (proof assistant), δηλ.
Νέος!!: Θεωρία τύπων και Agda · Δείτε περισσότερα »
Gregory Bateson
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Γκρέγκορι Μπέιτσον.
Νέος!!: Θεωρία τύπων και Gregory Bateson · Δείτε περισσότερα »
Κουρτ Γκέντελ
Ο Κουρτ Γκέντελ (γερμ.: Kurt Friedrich Gödel, 28 Απριλίου1906 – 14 Ιανουαρίου1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος, ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών.
Νέος!!: Θεωρία τύπων και Κουρτ Γκέντελ · Δείτε περισσότερα »
Οντολογία
Με τον όρο Οντολογία αναφερόμαστε στο λόγο περί τουόντος ή στην επιστήμη τουόντος, τη φιλοσοφική αναζήτηση πουεξετάζει τις αρχές της ύπαρξης και συγκρότησης τουΌντος, μελετά τη φύση και την ουσία των Όντων (Ον.
Νέος!!: Θεωρία τύπων και Οντολογία · Δείτε περισσότερα »
Προγραμματισμός
Προγραμματισμός υπολογιστών είναι η διαδικασία εκτέλεσης ενός συγκεκριμένουυπολογισμού (ή γενικότερα, η επίτευξη ενός συγκεκριμένουυπολογιστικού αποτελέσματος), συνήθως με το σχεδιασμό/κατασκευή ενός εκτελέσιμουπρογράμματος υπολογιστή.
Νέος!!: Θεωρία τύπων και Προγραμματισμός · Δείτε περισσότερα »
Παράδοξο του Ράσελ
Ο Ράσελ το 1916 Στη θεμελίωση των μαθηματικών, το παράδοξο τουΡάσελ (επίσης γνωστό ως αντινομία τουΡάσελ), πουανακαλύφθηκε από τον Μπέρτραντ Ράσελ το 1901, έδειξε ότι η θεωρία συνόλων πουδημιουργήθηκε από τον Γκέοργκ Κάντορ οδηγεί σε μια αντίφαση.
Νέος!!: Θεωρία τύπων και Παράδοξο του Ράσελ · Δείτε περισσότερα »
Σύνολο
Διάγραμμα Βεν τομής δύο συνόλων. Ένα σύνολο είναι κάθε συλλογή σαφώς διακριτών και καλώς καθορισμένων αντικειμένων πουπροέρχονται από τον χώρο της εμπειρίας (αντικείμενα συγκεκριμένα) ή των διανοημάτων (αντικείμενα αφηρημένα), τα οποία θεωρούνται ως μια ολότητα.
Νέος!!: Θεωρία τύπων και Σύνολο · Δείτε περισσότερα »
Σύστημα F
To Σύστημα F, επίσης γνωστό ως πολυμορφικός λ-λογισμός των Ζιράρ-Ρέινολντς και λ-λογισμός δευτέρας τάξης, είναι ένας λ-λογισμός με τύπους πουεπεκτείνει τον λ-λογισμό με απλούς τύπους εισάγοντας ένα μηχανισμό καθολικής ποσόδειξης επί των τύπων.
Νέος!!: Θεωρία τύπων και Σύστημα F · Δείτε περισσότερα »
Σύστημα Τύπων
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΣύστημα τύπων.
Νέος!!: Θεωρία τύπων και Σύστημα Τύπων · Δείτε περισσότερα »
Σύστημα τύπων
Στην επιστήμη υπολογιστών, ως σύστημα τύπων (type system) μπορεί να οριστεί ένα διαχειρίσιμο συντακτικό πλαίσιο για την κατάταξη φράσεων ανάλογα με τις τιμές πουυπολογίζουν.
Νέος!!: Θεωρία τύπων και Σύστημα τύπων · Δείτε περισσότερα »
Στίβεν Κλέινι
Ο Στίβεν Κλέινι (Stephen Cole Kleene, 5 Ιανουαρίου1909 – 25 Ιανουαρίου1994) ήταν Αμερικανός μαθηματικός.
Νέος!!: Θεωρία τύπων και Στίβεν Κλέινι · Δείτε περισσότερα »
Συνάρτηση
Οι αντιστοιχίσεις b), c) d) είναι συναρτήσεις. Η αντιστοίχιση a) δεν αποτελεί συνάρτηση διότι υπάρχει στοιχείο τουσυνόλουορισμού πουαντιστοιχίζεται σε δύο διαφορετικά στοιχεία τουσυνόλουτιμών. Στα μαθηματικά, συνάρτηση, ή απεικόνιση είναι μια αντιστοίχιση μεταξύ δύο συνόλων, πουκαλούνται σύνολο ορισμού και σύνολο τιμών, κατά την οποία κάθε ένα στοιχείο τουπεδίουορισμού αντιστοιχίζεται σε ένα και μόνο στοιχείο τουπεδίουτιμών.
Νέος!!: Θεωρία τύπων και Συνάρτηση · Δείτε περισσότερα »
Συναρτησιακός προγραμματισμός
Στην επιστήμη υπολογιστών, συναρτησιακός προγραμματισμός είναι ένα προγραμματιστικό παράδειγμα πουαντιμετωπίζει τον υπολογισμό ως την αποτίμηση μαθηματικών συναρτήσεων και αποφεύγει την κατάσταση προγράμματος και τα μεταβλητά δεδομένα.
Νέος!!: Θεωρία τύπων και Συναρτησιακός προγραμματισμός · Δείτε περισσότερα »
Τύπος δεδομένων
Στον προγραμματισμό υπολογιστών, ένας τύπος δεδομένων (data type) είναι μία κατηγοριοποίηση πουπροσδιορίζει διαφορετικούς τύπους από δεδομένα, όπως κινητής υποδιαστολής (floating-point), ακεραίους (integer), ή τύπους δεδομένων αλήθειας (Boolean), η οποία καθορίζει τις πιθανές τιμές για αυτόν τον τύπο, τις λειτουργίες πουμπορούν να επιτελεστούν σε τιμές αυτού τουτύπου, την σημασία των δεδομένων και τον τρόπο πουοι τιμές αυτού τουτύπουμπορούν να αποθηκευτούν.
Νέος!!: Θεωρία τύπων και Τύπος δεδομένων · Δείτε περισσότερα »
Ταυτότητα (μαθηματικά)
Για σύνολα η αρχή της ταυτότητας διατυπώνεται ως εξής: Η πάνω αρχή είναι γνωστή και ως αξίωμα έκτασης (axiom of extensionality) και είναι το πρώτο από τα αξιώματα Ζερμέλο-Φρένκελ (Zermelo–Fraenkel).
Νέος!!: Θεωρία τύπων και Ταυτότητα (μαθηματικά) · Δείτε περισσότερα »
Φυσικός αριθμός
Οι φυσικοί αριθμοί μπορούν να χρησιμοποιηθούν για μετρήσεις (ένα μήλο, δύο μήλα, τρία μήλα,...) Στα μαθηματικά, οι φυσικοί αριθμοί είναι εκείνοι πουχρησιμοποιούνται για τη μέτρηση («υπάρχουν έξι νομίσματα στο τραπέζι») και για τη σύγκριση («υπάρχουν περισσότερες καρέκλες από τους πίνακες»).
Νέος!!: Θεωρία τύπων και Φυσικός αριθμός · Δείτε περισσότερα »
Μαθηματικά
Ευκλείδης: Έλληνας μαθηματικός, 3ος αιώνας π.Χ., όπως εικονίζεται από το Ραφαήλ στη λεπτομέρειά τουαπό τον πίνακα '''Scuola di Atene''' (Η Σχολή των Αθηνών). Τα μαθηματικά είναι η επιστήμη πουμελετά θέματα πουαφορούν την ποσότητα (αριθμούς), τη δομή (γεωμετρικά σχήματα), το χώρο, τη μεταβολή, τις σχέσεις όλων των μετρήσιμων αντικειμένων της πραγματικότητας και της φαντασίας μας, καθώς επίσης, σύμφωνα με ορισμένους ερευνητές, και μερικά άλλα πουδεν είναι γενικώς δεκτά ότι πρέπει να περιλαμβάνονται στον ορισμό των μαθηματικών.
Νέος!!: Θεωρία τύπων και Μαθηματικά · Δείτε περισσότερα »
Μπέρτραντ Ράσελ
Ο Μπέρτραντ Άρθουρ Γουίλιαμ Ράσελ (Bertrand Arthur William Russell, 18 Μαΐου1872 – 2 Φεβρουαρίου1970) ήταν Βρετανός άθεος φιλόσοφος, μαθηματικός και ειρηνιστής, ο οποίος βραβεύτηκε με το νόμπελ λογοτεχνίας το 1950 για τη συνεισφορά τουστον ανθρωπισμό και την ελευθερία της σκέψης.
Νέος!!: Θεωρία τύπων και Μπέρτραντ Ράσελ · Δείτε περισσότερα »
Θεωρία Συνόλων
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΘεωρία συνόλων.
Νέος!!: Θεωρία τύπων και Θεωρία Συνόλων · Δείτε περισσότερα »
Θεωρία κατηγοριών
Η Θεωρία Κατηγοριών είναι το πεδίο εκείνο των μαθηματικών πουεξετάζει τις γενικές ιδιότητες και τα χαρακτηριστικά των διαφόρων μαθηματικών δομών μέσα από την μελέτη σχέσεων μεταξύ αντικειμένων αυτών των δομών.
Νέος!!: Θεωρία τύπων και Θεωρία κατηγοριών · Δείτε περισσότερα »
Θεωρία μοντέλων
Στα μαθηματικά, η θεωρία μοντέλων (αγγλ. model theory) μελετά (κλάσεις από) μαθηματικές δομές όπως οι ομάδες, τα πεδία, οι γράφοι, ακόμα και τα universes της θεωρίας συνόλων, χρησιμοποιώντας εργαλεία της μαθηματικής λογικής.
Νέος!!: Θεωρία τύπων και Θεωρία μοντέλων · Δείτε περισσότερα »
Θεωρία πεδίων
Η θεωρία πεδίων (αγγλ. domain theory) είναι κλάδος των μαθηματικών πουμελετά είδη μερικά διατεταγμένων συνόλων (partially ordered sets ή posets), τα οποία ονομάζονται πεδία (domains).
Νέος!!: Θεωρία τύπων και Θεωρία πεδίων · Δείτε περισσότερα »
Αξίωμα του απείρου
Στην αξιωματική θεωρία συνόλων και στους κλάδους των μαθηματικών και της φιλοσοφίας πουτη χρησιμοποιούν, το αξίωμα τουαπείρουείναι ένα από τα αξιώματα της θεωρίας συνόλων Ζερμέλο-Φρένκελ.
Νέος!!: Θεωρία τύπων και Αξίωμα του απείρου · Δείτε περισσότερα »
Γραμματική Μόνταγκιου
Η γραμματική τουΜόνταγκιου(αγγλικά: Montague grammar) είναι μια προσέγγιση στη σημασιολογία των φυσικών γλωσσών πουπήρε το όνομά της από τον Αμερικανό επιστήμονα της λογικής Ρίτσαρντ Μόνταγκιου.
Νέος!!: Θεωρία τύπων και Γραμματική Μόνταγκιου · Δείτε περισσότερα »
Γκότλομπ Φρέγκε
Ο Φρίντριχ Λούντβιχ Γκότλομπ Φρέγκε (Friedrich Ludwig Gottlob Frege, 8 Νοεμβρίου1848 - 26 Ιουλίου1925) ήταν Γερμανός μαθηματικός, λογικολόγος και φιλόσοφος πουεργάστηκε στο Πανεπιστήμιο της Ιένας.
Νέος!!: Θεωρία τύπων και Γκότλομπ Φρέγκε · Δείτε περισσότερα »
Γλώσσα προγραμματισμού
Γλώσσα προγραμματισμού λέγεται μια τεχνητή γλώσσα πουμπορεί να χρησιμοποιηθεί για τον έλεγχο μιας μηχανής, συνήθως ενός υπολογιστή.
Νέος!!: Θεωρία τύπων και Γλώσσα προγραμματισμού · Δείτε περισσότερα »
Άλφρεντ Νορθ Γουάιτχεντ
Ο Άλφρεντ Νορθ Γουάιτχεντ (Alfred North Whitehead, 15 Φεβρουαρίου1861 – 30 Δεκεμβρίου1947) ήταν Άγγλος μαθηματικός και φιλόσοφος.
Νέος!!: Θεωρία τύπων και Άλφρεντ Νορθ Γουάιτχεντ · Δείτε περισσότερα »
Άλφρεντ Τάρσκι
Ο Άλφρεντ Τάρσκι (Alfred Tarski, 14 Ιανουαρίου1901 – 26 Οκτωβρίου1983) ήταν Πολωνός επιστήμονας της Λογικής, μαθηματικός και φιλόσοφος. Σπούδασε στο Πανεπιστήμιο της Βαρσοβίας και ήταν μέλος της σχολής της λογικής Λβιβ–Βαρσοβίας και της σχολής μαθηματικών και φιλοσοφίας της Βαρσοβίας.
Νέος!!: Θεωρία τύπων και Άλφρεντ Τάρσκι · Δείτε περισσότερα »
Εγκυκλοπαίδεια Φιλοσοφίας του Στάνφορντ
Η Εγκυκλοπαίδεια Φιλοσοφίας τουΣτάνφορντ είναι διαδικτυακή εγκυκλοπαίδεια της φιλοσοφίας πουδημοσιεύει έγκριτες μελέτες στη φιλοσοφία, ελεύθερα διαθέσιμες στους χρήστες τουδιαδικτύου.
Νέος!!: Θεωρία τύπων και Εγκυκλοπαίδεια Φιλοσοφίας του Στάνφορντ · Δείτε περισσότερα »
Επιστήμη Υπολογιστών
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Επιστήμη υπολογιστών.
Νέος!!: Θεωρία τύπων και Επιστήμη Υπολογιστών · Δείτε περισσότερα »
Λούντβιχ Βιτγκενστάιν
#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Λούντβιχ Βίτγκενσταϊν.
Νέος!!: Θεωρία τύπων και Λούντβιχ Βιτγκενστάιν · Δείτε περισσότερα »
Λογική
Η λογική έχει δύο έννοιες.
Νέος!!: Θεωρία τύπων και Λογική · Δείτε περισσότερα »
Λογική Υψηλής Τάξης
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΛογική ανώτερουβαθμού.
Νέος!!: Θεωρία τύπων και Λογική Υψηλής Τάξης · Δείτε περισσότερα »
Λογισμός λάμδα
Στη μαθηματική λογική, την πληροφορική και την υπολογιστική γλωσσολογία, λογισμός λάμδα ή λ-λογισμός (αγγλ. lambda calculus ή λ-calculus), είναι ένα τυπικό σύστημα (formal system) σχεδιασμένο για τη διερεύνηση ορισμών, εφαρμογών συναρτήσεων και αναδρομής συναρτήσεων.
Νέος!!: Θεωρία τύπων και Λογισμός λάμδα · Δείτε περισσότερα »
Stanford Encyclopedia of Philosophy
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΕγκυκλοπαίδεια Φιλοσοφίας τουΣτάνφορντ.
Νέος!!: Θεωρία τύπων και Stanford Encyclopedia of Philosophy · Δείτε περισσότερα »
Tractatus Logico-Philosophicus
Η Tractatus Logico-Philosophicus (Λογικο-Φιλοσοφική Πραγματεία) αποτελεί το μοναδικό φιλοσοφικό έργο πουδημοσίευσε ο Λούντβιχ Βιτγκενστάιν ενόσω ήταν εν ζωή.
Νέος!!: Θεωρία τύπων και Tractatus Logico-Philosophicus · Δείτε περισσότερα »
