What is the translation of " LAMBDA CALCULUS " in Indonesian?

• kalkulus lambda
• sebagai lambda calculus

Examples of using Lambda calculus in English and their translations into Indonesian

Lisp[4] is a practical mathematical notation for computer programs based on lambda calculus.
Lisp adalah notasi matematika praktis untuk program komputer berdasarkan lambda kalkulus.

The Lambda Calculus is a relatively straightforward theory about the mathematics of functions and variable substitutions.
Lambda Calculus adalah teori relatif mudah tentang matematika fungsi dan substitusi variabel.

Perhaps the first formal incarnation of operational semantics was the use of the lambda calculus to define the semantics of LISP.
Mungkin inkarnasi formal pertama semantik operasional adalah bahwa dari kalkulus lambda[ rujukan?].

Functional programming has its roots in lambda calculus, a formal system developed in the 1930s to investigate function definition, function application, and recursion.
Fungsional pemrograman mempunyai akar di kalkulus lambda, sebuah sistem formal yang dikembangkan pada tahun 1930 untuk menyelidiki fungsi definisi, fungsi aplikasi, dan rekursi.

It probably doesn't matter which version of LISP you pick up, as long as you understand the core of its usefulness- stateless lambda calculus.
Mungkin tidak masalah versi LISP mana yang Anda ambil, selama Anda memahami inti kegunaannya- kalkulus lambda tanpa negara.

Lambda calculus(λ-calculus) is a formal system for expressing computations based on function abstraction and application using variable binding and substitution.
Saya memaknainya pula sebagai simbol lambda calculus( λ-calculus) yang merupakan simbol dari sistem dalam logika matematika untuk mengekspresikan komputasi berdasarkan abstraksi fungsi dan aplikasi menggunakan pengikatan dan substitusi variabel.

Lisp was originally created as a practical mathematical notation for computer programs, based on Alonzo Church's lambda calculus.
Lisp awalnya diciptakan sebagai notasi matematika praktis untuk program komputer yang terpengaruh oleh notasi kalkulus lambda Alonzo Church.

Lambda calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
Saya memaknainya pula sebagai simbol lambda calculus( λ-calculus) yang merupakan simbol dari sistem dalam logika matematika untuk mengekspresikan komputasi berdasarkan abstraksi fungsi dan aplikasi menggunakan pengikatan dan substitusi variabel.

Originally created as a practical mathematical notation for computer programs, LISP is based on the notation of Alonzo Church's lambda calculus.
Lisp awalnya diciptakan sebagai notasi matematika praktis untuk program komputer yang dipengaruhi oleh notasi kalkulus lambda Alonzo Church.

Lambda calculus(also written as λ-cal­cu­lus) is a formal system in mathematical logic for expressing computations based on function ab­strac­tion using variable binding and substitution.
Saya memaknainya pula sebagai simbol lambda calculus( λ-calculus) yang merupakan simbol dari sistem dalam logika matematika untuk mengekspresikan komputasi berdasarkan abstraksi fungsi dan aplikasi menggunakan pengikatan dan substitusi variabel.

Lisp was originally created as a practical mathematical notation for computer programs, influenced by the notation of Alonzo Church's lambda calculus.
Lisp awalnya diciptakan sebagai notasi matematika praktis untuk program komputer yang dipengaruhi oleh notasi kalkulus lambda Alonzo Church.

A more mathematically oriented definition with a similar“universal” nature was introduced by Alonzo Church, whose work on lambda calculus intertwined with Turing's in a formal theory ofcomputation known as the Church- Turing thesis.
Definisi yang lebih matematis berorientasi dengan sifat yang mirip" universal" diperkenalkan oleh Alonzo Church, yang bekerja pada kalkulus lambda terjalin dengan itu Turing dalam teori formal komputasi yang dikenal sebagai Gereja-Turing tesis.

ML was conceived to develop proof tactics in the LCF theorem prover(whose language, pplambda, a combination of the first-order predicate calculus and the simply typed polymorphic lambda calculus, had ML as its metalanguage).
ML disusun untuk mengembangkan taktik pembuktian dalam pepatah teorema LCF( yang bahasanya, pplambda, kombinasi dari kalkulus predikat orde pertama dan kalkulus lambda polimorfik sederhana, memiliki ML sebagai bahasa metalnya).

Some examples of other well-known calculi are propositional calculus, variational calculus, lambda calculus, pi calculus, and join calculus..
Beberapa contoh terkenal lainnya kalkuli adalah kalkulus proposisional, kalkulus variasional, kalkulus lambda, pi kalkulus, dan bergabung kalkulus..

Examples of other well-known calculi include propositional calculus, calculus of variations, lambda calculus, and process calculus..
Contoh cabang kalkulus yang lain adalah kalkulus proposisional, kalkulus variasi, kalkulus lambda, dan kalkulus proses.

Examples of other well-known calculi include propositional calculus, calculus of variations, lambda calculus, and process calculus..
Beberapa contoh dari calculi populer lainnya adalah kalkulus proposisional, kalkulus variasi, kalkulus lambda, dan kalkulus proses.

Some examples of other well-known calculi are propositional calculus, calculus of variations, lambda calculus, and process calculus..
Beberapa contoh dari calculi populer lainnya adalah kalkulus proposisional, kalkulus variasi, kalkulus lambda, dan kalkulus proses.

Formalizations were framed as attempts to define"effective calculability" or"effective method"; those formalizations included the Gödel- Herbrand- Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's Formulation 1 of 1936, Alan Turing's Turing machines of 1936- 37 and 1939.
Formala berikutnya dibuat sebagai upaya untuk mendefinisikan perhitungan efektif atau metode yang efektif formalisasi tersebut mencakup fungsi rekursif Gödel-Herbrand- Kleene tahun 1930, 1934 dan 1935, kalkulus lambda Gereja Alonzo tahun 1936, Formulasi 1 Emil Post 1936, dan mesin Turing milik Alan Turing tahun 1936- 1937 dan 1939.

The Curry- Howard correspondence emerged as a deep analogy between logic and computation, including a correspondence between systems of natural deduction and typed lambda calculi used in computer science.
Para korespondensi Curry-Howard muncul sebagai analogi mendalam antara logika dan perhitungan, termasuk korespondensi antara sistem deduksi alam dan mengetik lambda kalkuli digunakan dalam ilmu komputer.