Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
lambda-calculus
Traducere "lambda-calculus" în rusă
лямбда-исчислением
The theory of recursive functions offers along with a Turing machine, a lambda-calculus and others theoretical a formalism equivalent to them algorithmic computable.
Теория рекурсивных функций предлагает наряду с машиной Тьюринга, лямбда-исчислением и другими теоретическими формализмами эквивалентный им формализм алгоритмической вычислимости.
Pattern Calculus: Computing with Functions and Structures tries to describes dependencies between pattern calculus, lambda-calculus, programming languages, etc.
Pattern Calculus: Computing with Functions and Structures описывает связь pattern calculus с лямбда-исчислением, языками программирования и т.п.
The The Implementation of Functional Programming Languages book, written by Simon Peyton Jones in 1987, describes such topics, as lambda-calculus, types infer&checking, pattern matching, etc., and how these things could be used to implement functional programming languages
Книга The Implementation of Functional Programming Languages, написанная Simon Peyton Jones и изданная в 1987 году, описывает такие темы, как лямбда-исчисление, вывод и проверка типов, сопоставление с образцом (pattern-matching), и использование этих приемов при реализации функциональных языков программирования.
Lambda-calculus, Combinators and Functional Programming provides and introduction into lambda calculus and combinators.
Lambda-calculus, Combinators and Functional Programming является введением в лямбда-исчисление и комбинаторы.
The Lambda-Calculus and Combinators: An Introduction books provides introduction to theoretical foundations of lambda-calculus
Книга Lambda-Calculus and Combinators: An Introduction посвящена изложению теоретических основ лямбда-исчисления
The theory of recursive functions along with algebra of lists and a lambda-calculus is one more support upon which is based Lisp.
Теория рекурсивных функций наряду с алгеброй списков и лямбда-исчислением является ещё одной опорой, на которой покоится Лисп.
Sinonime și analogii pentru "lambda-calculus" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Sugestii
Rezultate: 6. Exacte: 6. Timp de răspuns: 19 ms.
