Вы здесь

Гаврилов Гарий Петрович

Версия для печатиSend by email

Профессор кафедры МК

Ученая степень: 
д-р физ.-мат. наук

Гаврилов Гарий Петрович (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 с. (соавт. А. А. Сапоженко).

Предложения по содержанию и функционированию сайта направляйте по адресу cmcproject@cs.msu.ru.