Спецификация АТД включает разделы (Ответ считается верным, если отмечены все правильные варианты ответов.) Варианты ответа типов(Верный ответ) аксиом(Верный ответ) функций(Верный ответ)