#687623
Для написания термов вводятся следующие соглашения, в случае, когда «опускаются внешние скобки» - пишем значение λx.x, а подразумеваем?
Варианты ответа:
  • (λx.xа)
  • (λx.(λy.x))
  • ((fg)h)x
Курсы в категории: Информационные технологии