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