Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: Θεωρία υπολογισμού, Λ-λογισμός
EL
λογισμός λάμδα  λ-λογισμός  λάμδα λογισμός  Λ-λογισμος  Λάμβδα λογισμό
EL
Στη μαθηματική λογική, την πληροφορική και την υπολογιστική γλωσσολογία, λογισμός λάμδα ή λ-λογισμός, είναι ένα τυπικό σύστημα σχεδιασμένο για τη διερεύνηση ορισμών, εφαρμογών συναρτήσεων και αναδρομής συναρτήσεων. Wikipedia
Definitions
Relations
Sources
EL
Στη μαθηματική λογική, την πληροφορική και την υπολογιστική γλωσσολογία, λογισμός λάμδα ή λ-λογισμός, είναι ένα τυπικό σύστημα σχεδιασμένο για τη διερεύνηση ορισμών, εφαρμογών συναρτήσεων και αναδρομής συναρτήσεων. Wikipedia
IS A
μαθηματικό μοντέλο
τυπικό σύστημα
PART OF
θεωρία υπολογισμού
HAS KIND
EN
binary lambda calculus
λ-λογισμός με τύπους
HAS INSTANCE
λ-λογισμός με απλούς τύπους
Σύστημα F
DISCOVERER OR INVENTOR
Αλόνζο Τσερτς
HAS QUALITY
Πληρότητα Τούρινγκ
NAMED AFTER
λάμδα
USE
μοντέλο υπολογισμού
Wikipedia
EL
λογισμός λάμδα
Wikidata
EL
λογισμός λάμδα
Wiktionary
EL
λογισμός λάμδα
Wikipedia Redirections
EL
Λ-λογισμος, λ-λογισμός, Λάμβδα λογισμό, λάμδα λογισμός, Λογισμός λ
Wikidata Alias
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