Гаврилов Гарий Петрович (19.11.1935, г. Баку — 05.12.1999, г.
Москва).
Окончил Сызранский (Куйбышевская обл.) нефтяной техникум (1953
год), механико-математический факультет МГУ (1958 год). В 1960–1963
годах обучался в аспирантуре механико-математического факультета.
Кандидат физико-математических наук (1964 год), тема диссертации:
«Вопросы функциональной полноты в счетнозначной логике»
(научный руководитель С. В. Яблонский). Доктор физико-
математических наук (1998 год), тема диссертации: «Вопросы
выразимости и мощностной характеризации для дискретных функциональных
систем с операцией суперпозиции». Ученое звание — доцент (1971 год).
Награжден медалями «Ветеран труда» (1987 год) и «В
память 850-летия Москвы» (1997 год).
В 1958–1960 годах Г. П. Гаврилов — инженер
на одном из предприятий Министерства обороны. После окончания
аспирантуры в 1963–1967 годах работал в должности старшего
преподавателя кафедры высшей математики в Смоленском филиале
Московского энергетического института. В 1967–1968 годах
— руководитель экономико-математического сектора лаборатории
математического моделирования НИИ хлорной промышленности (г.
Москва). В 1968–1971 годах работал в должности старшего
преподавателя, а затем доцента кафедры высшей математики Московского
авиационно-технологического института.
В Московском университете работал с июня 1971 г.: доцент (1971–1999
годы) кафедры математической логики и теории автоматов (с 1975
г. — кафедра математической кибернетики), профессор (1999 год)
кафедры математической кибернетики факультета ВМК.
Область научных интересов: дискретная математика, теория функциональных
систем, математическая логика, конечнозначные и счетнозначные
логики, теория графов, комбинаторный анализ.
Г. П. Гавриловым были получены фундаментальные результаты
в теории конечнозначных и счетнозначных логик. Им даны нетривиальные
формульные представления для некоторых замкнутых классов многозначных
логик Pk; приведено описание некоторых решеток замкнутых классов
в Pk (k = pr, p — простое), включающих класс полиномов; установлена
континуальность множества предельных логик, обладающих конечным
базисом; дано обоснование гиперконтинуальности множества предполных
классов счетнозначной логики, не содержащих обобщенных констант;
установлено, что для каждого натурального числа l ? 2 в структуре
включений замкнутых классов счетнозначной логики P существует
класс высоты l (причем дается конструктивное описание каждого такого класса), содержащий гиперконтинуальное множество классов высоты l + 1; показано, что в частичной счетнозначной логике существует ровно три класса типа Слупецкого, и приведено
описание этих классов.
В теории реберных раскрасок графов Г. П. Гавриловым
изучены (совместно с И. А. Музычуком) некоторые
метрические характеристики графов, критических по реберной раскраске,
доказано несуществование критических по реберной раскраске графов
некоторых порядков.
Г. П. Гавриловым был создателем обязательных курсов
«Математическая логика» и «Избранные вопросы
дискретной математики», которые читал в течение многих
лет на факультете ВМК. Им были прочитаны специальные курсы по
классической и дескриптивной теории множеств, прикладным задачам
теории графов и теории алгоритмов, функциональным системам дискретной
математики и другие. Более 20 лет Г. П. Гаврилов
читал курсы по комбинаторному анализу, алгоритмам на графах,
математической логике, основам дискретной математики для слушателей
вечернего отделения факультета ВМК.
В течение длительного времени сотрудничал в качестве редактора
и переводчика с издательством «Мир» — при его участии
осуществлено издание 14 книг по теории графов, комбинаторному
анализу и логическим аспектам искусственного интеллекта.
Подготовил 6 кандидатов наук.
Автор более 50 научных работ, в том числе монографии и нескольких
учебных пособий. Основные публикации:
- О функциональной полноте
в счетнозначной логике // Проблемы кибернетики — М., Наука, 1965,
вып. 15, с. 5–64;
- Функции алгебры логики и классы Поста — М.,
Наука, 1966, 120 с. (соавт. С. В. Яблонский, В.
Б. Кудрявцев);
- О мощности множества предельных логик,
обладающих конечным базисом // Проблемы кибернетики — М., Наука,
1969, вып. 21, с. 27–40;
- Предполные классы частичной счетнозначной
логики, содержащие все функции одной переменной // Методы дискретного
анализа в теории графов и логических функций — Новосибирск, 1976,
вып. 28, с. 12–24;
- О замкнутых классах многозначной логики, содержащих
класс полиномов // Дискрет. матем. — М., Наука, 1997, т. 9, вып.
2, с. 12–23.
Является автором или соавтором более 10 учебных
пособий, среди которых:
- Сборник задач по дискретной математике
— М., Наука, 1977, 368 с. (имеются переводы на английский, испанский
и венгерский языки), 3-е изд.;
- Задачи и упражнения по дискретной
математике — М., Физматлит, 2004, 416 с. (соавт. А. А.
Сапоженко).
