|
Гаврилов, Гарий Петрович
Гарий Петрович Гаврилов (19 ноября 1935 — 5 декабря 1999) — доктор физико-математических наук, профессор кафедры математической кибернетики МГУ. БиографияВ 1953 году окончил Сызранский нефтяной техникум (Куйбышевская область), а в 1958 году — механико-математический факультет МГУ. В 1960—1963 годах учился в аспирантуре механико-математического факультета. Кандидат физико-математических наук (1964), защитил диссертацию на тему «Вопросы функциональной полноты в счётнозначной логике» (научный руководитель С. В. Яблонский). Доктор физико-математических наук (1998), тема диссертации: «Вопросы выразимости и мощностной характеризации для дискретных функциональных систем с операцией суперпозиции». Учёное звание — доцент (1971 год). В 1958—1960 годах Г. П. Гаврилов работал инженером на предприятии Министерства обороны. По окончании аспирантуры в 1963—1967 годах работал на должности старшего преподавателя кафедры высшей математики в Смоленском филиале Московского энергетического института. В 1967—1968 годах руководил экономико-математическим сектором лаборатории математического моделирования НИИ хлорной промышленности (Москва). В 1968—1971 годах работал на должности старшего преподавателя, а затем доцента кафедры высшей математики Московского авиационно-технологического института. Награждён медалями «Ветеран труда» (1987 год) и «В память 850-летия Москвы» (1997 год). Научная карьераВ Московском университете работал с июня 1971 года: доцент (1971—1999) кафедры математической логики и теории автоматов (с 1975 года — кафедра математической кибернетики), профессор (1999) кафедры математической кибернетики факультета ВМК[2]. В круг научных интересов входили дискретная математика, теория функциональных систем, математическая логика, конечнозначные и счетнозначные логики, теория графов, комбинаторный анализ. Г. П. Гавриловым были получены значимые разработки в теории конечнозначных и счетнозначных логик. Им даны нетривиальные формульные представления для некоторых замкнутых классов многозначных логик Pk; приведено описание некоторых решёток замкнутых классов в Pk (k = pr, p — простое), включающих класс многочленов; установлена континуальность множества предельных логик, обладающих конечным базисом; дано обоснование гиперконтинуальности множества предполных классов счётнозначной логики, не содержащих обобщённых констант; установлено, что для каждого натурального числа в структуре включений замкнутых классов счётнозначной логики существует класс высоты l (причём даётся конструктивное описание каждого такого класса), который содержит гиперконтинуальное множество классов высоты ; показано, что в долевой счётнозначной логике существует ровно три класса типа Слупецкого, и приведено описание этих классов. В теории рёберных раскрасок графов Г. П. Гавриловым изучены (совместно с И. А. Музычук) некоторые метрические характеристики графов, критических по рёберной раскраске, доказано несуществование критических по рёберной раскраске графов некоторых порядков. Г. П. Гаврилов был автором обязательных курсов «Математическая логика» и «Избранные вопросы дискретной математики», которые читал в течение многих лет на факультете ВМК. Он вёл спецкурсы по классической и дескриптивной теории множеств, прикладным задачам теории графов и теории алгоритмов, функциональным системам дискретной математики и другие. Больше 20 лет Г. П. Гаврилов читал курсы по комбинаторном анализе, алгоритмам на графах, математической логике, основам дискретной математики для слушателей вечернего отделения факультета ВМК. В течение долгого времени сотрудничал как редактор и переводчик в издательстве «Мир», под его редакцией вышло 14 книг по теории графов, комбинаторном анализе и логическим аспектам искусственного интеллекта. Подготовил 6 кандидатов наук. Автор более 50 научных трудов, в том числе монографии и более десяти учебных пособий. Труды
Примечания
Ссылки
|
||||||||||||||||||||||||||||||
Portal di Ensiklopedia Dunia
