Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: علم الحاسوب في 1936, اختراعات أمريكية, نماذج حاسوبية, طرق شكلية, حسابات اللامدا
AR
تكامل لامدا  حسابات اللامدا  Lambda calculus  λ-حساب التفاضل والتكامل  تعبيرات لامدا،
AR
حساب اللامبدا نظام صوري في المنطق الرياضي، يعبر عن الحوسبة القائمة على التجريد والتطبيق باستخدام المتغيرات المقيدة والاستبدال. Wikipedia
Definitions
Relations
Sources
AR
حساب اللامبدا نظام صوري في المنطق الرياضي، يعبر عن الحوسبة القائمة على التجريد والتطبيق باستخدام المتغيرات المقيدة والاستبدال. Wikipedia
IS A
نموذج رياضي
نظام شكلي
PART OF
النظرية الحسابية
HAS KIND
EN
binary lambda calculus
EN
typed lambda calculus
HAS INSTANCE
EN
simply typed lambda calculus
EN
System F
DISCOVERER OR INVENTOR
ألونزو تشرتش
HAS QUALITY
كمال تورنغ
NAMED AFTER
لامدا
USE
نموذج حوسبة
Wikipedia
AR
تكامل لامدا
Wikidata
AR
حسابات اللامدا
Wikipedia Redirections
AR
Lambda calculus, حسابات اللامدا
Wikipedia Translations
AR
λ-حساب التفاضل والتكامل, تعبيرات لامدا،, حساب التفاضل والتكامل، لامدا

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