Гросс

Физикальное исследование костно-мышечной системы, Миронов С.П., Еськин Н.А., Гросс Дж., 2011.

Предисловие.

Уважаемый читатель! Перед Вами прекрасно иллюстрированное руководство по физикальному исследованию костно-мышечной системы, созданное на основе многолетнего практического опыта выдающихся североамериканских специалистов. Авторы этой книги, ведущие широкую преподавательскую деятельность, особое внимание уделили исследованию активных и пассивных движений, дополнительной подвижности, а также описанию специальных тестов и функциональных проб.

Некоторые вопросы математической теории процессов управления, Беллман Р., Гликсберг И., Гросс О., 1962.

Американский математик Р. Беллман известен советскому читателю по переводу двух его книг. Данная работа, написанная им совместно с его сотрудниками, посвящена различным математическим методам, используемым в теории процессов управления. Авторы последовательно описывают многообразные математические средства решения общей задачи об оптимальном управлении некоторой системой. Для решения этой задачи используется теория дифференциальных, разностных и функциональных уравнений, классические и современные методы вариационного исчисления, теория линейных пространств, теория динамического программирования и теория игр. Книга представляет интерес для научных работников и инженеров, имеющих дело с задачами оптимального управления в технике, экономике и т.д., а также для математиков различных специальностей.

Теория формальных грамматик, Гросс М., Лантен А, 1971.

Фрагмент из книги.
«Универсальный» метод решения проблемы эквивалентности, который прежде всего приходит в голову, состоит в следующем: взяв произвольную пару слов S и Г, последовательно образовать все слова, смежные с S, потом все слова, смежные с каждым из слов, полученных на первом шаге, и т. д., т. е., короче говоря, перечислить все слова, эквивалентные слову S, применяя сначала одно, потом два, потом три преобразования и т. д., пока мы не дойдем до Т. Однако сколько бы преобразований ни было выполнено, тот факт, что Т не найдено, еще ничего не означает: оно может быть получено после очередных преобразований. Таким образом, наш наивный «универсальный» метод не гарантирует нахождения решения.
Возникает вопрос: существует ли настоящий универсальный метод, позволяющий решать проблему эквивалентности слов? После того как мы уточним представление о методе решения вообще — точнее, введем понятие алгоритма, —можно будет показать, что ответ на этот вопрос является отрицательным.