К какому типу относятся системы программирования, которые обеспечивают программисту средства чëткой постановки задачи?