What is the translation of " KALKULUS LAMBDA " in English?

• lambda calculus

Examples of using Kalkulus lambda in Indonesian and their translations into English

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

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

Mungkin tidak masalah versi LISP mana yang Anda ambil, selama Anda memahami inti kegunaannya- kalkulus lambda tanpa negara.
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.

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.
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.

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

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

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

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).
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).

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

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.
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.

Beberapa contoh dari calculi populer lainnya 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.

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.

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