#687608
В чем суть правила для написания программного кода, если М и N – термы, то ( MN ) – терм?
Варианты ответа:
  • правило применения функции к аргументу
  • есть алфавит символов, который что-то обозначает, эти символы являются базовыми строительными блоками программы
  • специальный символ лямбда (λ) в выражении (λx.М) говорит о том, что мы собираемся определить функцию с аргументом x и телом функции М
Тематика: Функциональное программирование и интеллектуальные системы
Курсы в категории: Информационные технологии
📚 Похожие вопросы по этой дисциплине
В чем суть правила для написания программного кода, если x – переменная, а М-тер Дайте определение, что такое апликативные системы в функциональном п Из чего состоит вычислительный процесс лямбда В чем заключается способность псевдо-функций в прогр Если необходимо избавиться от всех редексов в выражении, то с какого редекса лучше начать в