Необходимо ли наличие выражения после else в условном выражении if…then…else…?
В каком случае переменная x называется свободной в терме λx.A?
Какой функции соответствует аксиома Ix=x?
Какой функции соответствует аксиома Кxу=x?
Какие действия выполняет инструкция push?
Какие действия выполняет инструкция swap?
Какой вид имеет правая часть БНФ для комбинаторного терма?
Какой вид имеет правая часть БНФ для аппликации SML-выражений?
Какой вид имеет правая часть БНФ для типов SML-выражений?
Какой из объектов не имеет обозначения в формах Бэкуса-Наура?