Математика

Посвящено теории счетчиковых машин, представляющих собой абстрактные математические модели вычислений. Затрагивает интересные факты из теорий вычислимости и сетей Петри, не вошедшие в известные классические монографии. Основное внимание уделяется счетчиковым машинам «малой размерности», т.е. машинам, содержащим один, два или три счетчика. Наибольший интерес представляют занимающие центральное положение в этом пособии результаты исследований Р. Шреппеля о «чистой» вычислительной способности двухсчетчиковых машин Минского и результаты Дж. Хопкрофта и Ж.-Ж. Пансио о полулинейности множества достижимости двумерных систем векторного сложения с состояниями.

Монография посвящена исследованию нелинейных уравнений математической физики методами теории бесконечномерных групп Ли. Рассматриваются вопросы реализации конфигурационного пространства физической задачи в виде бесконечномерной группы Ли. В качестве ключевого метода исследования уравнений математической физики предлагается использовать геометрические инварианты бесконечномерных групп Ли. Издание осуществлено при поддержке РФФИ, проект 07-01-00230.