العربية
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
مقالات كاملة
فئات
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
انت تكتب
المستعمل
تسجيل الدخول
تسجيل
استعادة كلمة السر
العلامات
علامات اللغة
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
علامة lambda-calculus - هذه الصفحة 14 - GeneraCodice
التسلسل أو استمرار النجاح في نقي لامدا-حساب التفاضل والتكامل
https://www.generacodice.com/ar/articolo/2478643/التسلسل-أو-استمرار-النجاح-في-نقي-لامدا-حساب-التفاضل-والتكامل
lambda-calculus
cs.stackexchange
هل يمكن تعريف القوائم بطريقة خاصة بحيث تحتوي على أشياء من نوع مختلف؟
https://www.generacodice.com/ar/articolo/2475569/هل-يمكن-تعريف-القوائم-بطريقة-خاصة-بحيث-تحتوي-على-أشياء-من-نوع-مختلف
functional-programming
-
lambda-calculus
-
category-theory
cs.stackexchange
كيفية فهم المحدد الكمي بدون إسناد " ∀ ( φ .(φ x m→ φ y))"؟
https://www.generacodice.com/ar/articolo/2475553/كيفية-فهم-المحدد-الكمي-بدون-إسناد-φ-φ-x-m-φ-y
lambda-calculus
-
isabelle
-
first-order-logic
-
modal-logic
-
higher-order-logic
cs.stackexchange
معنى وأهمية عبارة "لا يوجد تنفيذ إنهاء" في نظرية النوع
https://www.generacodice.com/ar/articolo/2475441/معنى-وأهمية-عبارة-لا-يوجد-تنفيذ-إنهاء-في-نظرية-النوع
functional-programming
-
type-theory
-
lambda-calculus
cs.stackexchange
تحويل حساب لامدا
https://www.generacodice.com/ar/articolo/2474831/تحويل-حساب-لامدا
python
-
lisp
-
functional-programming
-
haskell
-
lambda-calculus
cs.stackexchange
حاولت أن تستمد Z combinator وبدلا مشتقة أخرى
https://www.generacodice.com/ar/articolo/2474408/حاولت-أن-تستمد-z-combinator-وبدلا-مشتقة-أخرى
lambda-calculus
-
combinatory-logic
cs.stackexchange
Lambda Calculus دون متغيرات مجانية قوية مثل حساب التفاضل والتكامل Lambda؟
https://www.generacodice.com/ar/articolo/2467257/lambda-calculus-دون-متغيرات-مجانية-قوية-مثل-حساب-التفاضل-والتكامل-lambda
lambda-calculus
-
proof-techniques
-
turing-completeness
cs.stackexchange
تخفيض حساب لامدا:(((لامدا و (لامدا س (و س))) (لامدا ص (*ص ص))) 12)
https://www.generacodice.com/ar/articolo/2455935/تخفيض-حساب-لامدا-لامدا-و-لامدا-س-و-س-لامدا-ص-ص-ص-12
lambda-calculus
cs.stackexchange
تخفيض التعبير لامدا
https://www.generacodice.com/ar/articolo/2455712/تخفيض-التعبير-لامدا
functional-programming
-
lambda-calculus
-
encoding-scheme
cs.stackexchange
إنهاء ZIC SPINATATOR
https://www.generacodice.com/ar/articolo/2453760/إنهاء-zic-spinatator
fixed-point
-
lambda-calculus
-
evaluation-strategies
cs.stackexchange
«
11
12
13
14
15
16
»
العثور على نتائج: 627