Отметьте спецификацию, которой не может соответствовать данный тест (a 1 b 2 3 4).
Выберите спецификацию, которой может соответствовать данный тест (a 1 b 2 3 4).
Спецификации результатов какой из функций соответствует формуле: (X List(X)) -> List(X) ?
Какой из тестов соответствует спецификации List (Atom) => List (Number).
Отметьте тест, соответствующий спецификации List (Atom) => List (Number).
Выберите тест, соответствующий спецификации List (Atom) => List (Number).
Выберите спецификацию, которой заведомо не соответствует тест ((a 1)( b 2)( 3 4)).
Отметьте спецификации, которым соответствует функция Pairlis.
Отметьте спецификации, которым соответствует функция Subst.
Какой из тестов соответствует спецификации List (Atom) => List ({Number, Atom}).
