Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:17679309n
Noun Named Entity
Categories: Λ-λογισμός, Θεωρία αποδείξεων, Θεωρία τύπων
EL
Σύστημα U
EL
Στη μαθηματική λογική, το Σύστημα U και το Σύστημα U− είναι αμιγή συστήματα τύπων, δηλαδή: Ειδικές μορφές λάμδα λογισμού με έναν αυθαίρετο αριθμό δομών, αξιωμάτων και κανόνων, ή εξαρτήσεων μεταξύ των δομών. Wikipedia
Definitions
Relations
Sources
EL
Στη μαθηματική λογική, το Σύστημα U και το Σύστημα U− είναι αμιγή συστήματα τύπων, δηλαδή: Ειδικές μορφές λάμδα λογισμού με έναν αυθαίρετο αριθμό δομών, αξιωμάτων και κανόνων, ή εξαρτήσεων μεταξύ των δομών. Wikipedia
IS A
αμιγές σύστημα τύπων
Wikipedia
EL
Σύστημα U
Wikidata
EL
Σύστημα U

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