Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03130588n
Noun Concept
Categories: Θεωρία τύπων, Ιεραρχία
EL
θεωρία τύπων  θεωρία τύπου
EL
Στα Μαθηματικά, στη Λογική και στη Επιστήμη των Υπολογιστών, η Θεωρία Τύπων είναι ένα από τα τυπικά συστήματα τα οποία χρησιμοποιούνται στην Απλοϊκή Θεωρία Συνόλων, ή στη μελέτη τέτοιων φορμαλισμών γενικότερα. Wikipedia
Definitions
Relations
Sources
EL
Στα Μαθηματικά, στη Λογική και στη Επιστήμη των Υπολογιστών, η Θεωρία Τύπων είναι ένα από τα τυπικά συστήματα τα οποία χρησιμοποιούνται στην Απλοϊκή Θεωρία Συνόλων, ή στη μελέτη τέτοιων φορμαλισμών γενικότερα. Wikipedia
IS A
τυπικό σύστημα
HAS PART
EN
container
HAS KIND
EN
homotopy type theory
martin-löf θεωρία τύπου
EN
bottom type
FACET OF
πληροφορική
μαθηματική λογική
λογική
μαθηματικά
Wikipedia
EL
θεωρία τύπων
Wikidata
EL
Θεωρία τύπων
Wikipedia Translations
EL
θεωρία τύπου

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License