Calcul lambda 🎲
Système formel de logique mathématique et d’informatique pour exprimer le calcul au moyen de l’abstraction et de l’application de fonctions, avec liaison de variables et substitution.
Пока нет связанных полок. Скоро появятся.
🌐 English — Lambda calculus
A formal system in mathematical logic and computer science for expressing computation based on function abstraction and application using variable binding and substitution.
🌐 中文 — λ演算
一种形式系统，用于数学逻辑和计算机科学中，通过函数抽象、应用、变量绑定和替换来表达计算。
🌐 العربية — حساب لامدا
نظام صوري في المنطق الرياضي وعلوم الحاسب للتعبير عن الحساب اعتمادًا على تجريد الدوال وتطبيقها واستخدام ربط المتغيرات والاستبدال.
🌐 Español — Cálculo lambda
Sistema formal de la lógica matemática y las ciencias de la computación para expresar computación mediante abstracción y aplicación de funciones, con enlace de variables y sustitución.
🌐 Français — Calcul lambda
Système formel de logique mathématique et d’informatique pour exprimer le calcul au moyen de l’abstraction et de l’application de fonctions, avec liaison de variables et substitution.
🌐 de — Lambda-Kalkül
Formales System der mathematischen Logik und Informatik zur Darstellung von Berechnungen mittels Funktionsabstraktion und -anwendung sowie Variablenbindung und Substitution.
🌐 pt — Cálculo lambda
Sistema formal da lógica matemática e da ciência da computação para expressar computação por meio de abstração e aplicação de funções, com ligação de variáveis e substituição.
🌐 tr — Lambda hesabı
Matematiksel mantık ve bilgisayar biliminde, değişken bağlama ve yerine koyma ile fonksiyon soyutlaması ve uygulamasına dayalı hesaplamayı ifade eden biçimsel bir sistem.
🌐 hi — लैम्ब्डा कैलकुलस
गणितीय तर्क और कंप्यूटर विज्ञान में एक औपचारिक प्रणाली जो चर बंधन और प्रतिस्थापन के साथ फलन अमूर्तन और अनुप्रयोग के आधार पर गणना व्यक्त करती है।