λ演算 🎲
一种形式系统，用于数学逻辑和计算机科学中，通过函数抽象、应用、变量绑定和替换来表达计算。
Пока нет связанных полок. Скоро появятся.
🌐 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 — लैम्ब्डा कैलकुलस
गणितीय तर्क और कंप्यूटर विज्ञान में एक औपचारिक प्रणाली जो चर बंधन और प्रतिस्थापन के साथ फलन अमूर्तन और अनुप्रयोग के आधार पर गणना व्यक्त करती है।