Tag lambda-calculus - Это страница 58 - GeneraCodice

Изучение теории языка программирования

https://www.generacodice.com/ru/articolo/1111077/изучение-теории-языка-программирования
  functional-programming  -  lambda-calculus  -  books  -  reference-request
cs.stackexchange cs.stackexchange

Показывая функцию =? невозможно

https://www.generacodice.com/ru/articolo/1110090/показывая-функцию-невозможно
  lambda-calculus  -  halting-problem  -  undecidability
cs.stackexchange cs.stackexchange

Lambda Calculus внешнее функциональное программирование?

https://www.generacodice.com/ru/articolo/1109863/lambda-calculus-внешнее-функциональное-программирование
  functional-programming  -  lambda-calculus
cs.stackexchange cs.stackexchange

Свободные переменные (λx.xy) x и связанных переменных λxy.x

https://www.generacodice.com/ru/articolo/1098669/свободные-переменные-λx-xy-x-и-связанных-переменных-λxy-x
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Существует ли полное типизированное лямбда-исчисление по Тьюрингу?

https://www.generacodice.com/ru/articolo/1097436/существует-ли-полное-типизированное-лямбда-исчисление-по-тьюрингу
  computability  -  type-theory  -  lambda-calculus
cs.stackexchange cs.stackexchange

Представление отрицательных и сложных чисел с использованием исчисления лямбды

https://www.generacodice.com/ru/articolo/1096798/представление-отрицательных-и-сложных-чисел-с-использованием-исчисления-лямбды
  data-structures  -  lambda-calculus  -  real-numbers  -  integers
cs.stackexchange cs.stackexchange

Предоставляют ли функции более высокого порядка больше мощности функциональному программированию?

https://www.generacodice.com/ru/articolo/1096752/предоставляют-ли-функции-более-высокого-порядка-больше-мощности-функциональному-программированию
  complexity-theory  -  functional-programming  -  lambda-calculus  -  turing-completeness
cs.stackexchange cs.stackexchange

Есть ли напечатанный лыжный исчисление?

https://www.generacodice.com/ru/articolo/1095983/есть-ли-напечатанный-лыжный-исчисление
  logic  -  type-theory  -  lambda-calculus  -  combinatory-logic  -  reference-request
cs.stackexchange cs.stackexchange

Почему Lambda-Abstractions являются единственными терминами, которые являются значениями в нетипедном исчислении Lambda?

https://www.generacodice.com/ru/articolo/1095711/почему-lambda-abstractions-являются-единственными-терминами-которые-являются-значениями-в-нетипедном-исчислении-lambda
  logic  -  lambda-calculus
cs.stackexchange cs.stackexchange

Оценка исчисления лямбда с участием церковных цифр

https://www.generacodice.com/ru/articolo/1094922/оценка-исчисления-лямбда-с-участием-церковных-цифр
  lambda-calculus  -  church-numerals
cs.stackexchange cs.stackexchange
Результаты найдены: 627
scroll top