Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Га́рій Петро́вич Гаври́лов (*19 листопада 1935, Баку — †5 грудня 1999, Москва) — доктор фізико-математичних наук, професор кафедри математичної кібернетики МДУ.
| Гарій Петрович Гаврилов | |
|---|---|
| Гарий Петрович Гаврилов | |
| Народився | 19 листопада 1935 Баку, Закавказька РФСР, СРСР |
| Помер | 5 грудня 1999 (64 роки) Москва, Росія |
| Країна |  Росія |
| Діяльність | математик, викладач університету |
| Alma mater | d МДУ[2] |
| Галузь | фізика[3] і математика[3] |
| Заклад | d МДУ |
| Науковий ступінь | доктор фізико-математичних наук |
| Науковий керівник | |
| Аспіранти, докторанти | d[2] d[2] |
| Нагороди |   |
Біографічні відомості
Закінчив (1953 рік), механіко-математичний факультет МДУ (1958 рік). У 1960–1963 роках навчався в аспірантурі механіко-математичного факультету.
Кандидат фізико-математичних наук (1964), тема дисертації: «Питання функціональної повноти в счетнозначной логіці» (науковий керівник С. В. Яблонський). Доктор фізико-математичних наук (1998), тема дисертації: «Питання виразність і потужностний характеризації для дискретних функціональних систем з операцією суперпозиції». Вчене звання — доцент (1971 рік).
У 1958–1960 роках Г. П. Гаврилов — інженер на одному з підприємств Міністерства оборони. Після закінчення аспірантури в 1963–1967 роках працював на посаді старшого викладача кафедри вищої математики в Смоленській філії Московського енергетичного інституту. У 1967–1968 роках — керівник економіко-математичного сектора лабораторії математичного моделювання (м. Москва). У 1968–1971 роках працював на посаді старшого викладача, а потім доцента кафедри вищої математики .
Наукова кар'єра
У Московському університеті працював з червня 1971 р.: доцент (1971–1999 роки) кафедри математичної логіки та теорії автоматів (з 1975 р. — кафедра математичної кібернетики), професор (1999 рік) кафедри математичної кібернетики факультету ВМК.
Галузь наукових інтересів: дискретна математика, , математична логіка, зліченозначні й кінцевозначні логіки, теорія графів, комбінаторний аналіз.
Внесок у науку
Г. П. Гавриловим були отримані фундаментальні результати в теорії кінцевозначних і зліченозначних логік. Їм дано нетривіальні формульні подання для деяких замкнутих класів багатозначних логік Pk; наведено опис деяких решіток замкнутих класів в Pk (k = pr, p — просте), що включають клас поліномів; встановлена безлічі граничних логік, що мають ; дано обґрунтування гіперконтінуальності безлічі предповних класів злічимозначної логіки, не містять узагальнених констант; встановлено, що для кожного натурального числа 
в структурі включень замкнутих класів счетнозначной логіки 
існує клас висоти l (причому дається конструктивне опис кожного такого класу), що містить гіперконтінуальну безліч класів висоти 
; показано, що в частковій счетнозначной логіці існує рівно три класи типу Слупецкого, і наведено опис цих класів.
У теорії реберних розмальовок графів Г. П. Гавриловим вивчені (спільно з І. А. Музичук) деякі , критичних по реберної розфарбуванні, доведено неіснування критичних по реберної розмальовці графів деяких порядків.
Г. П. Гавриловим був творцем обов'язкових курсів «Математична логіка» і «Вибрані питання дискретної математики», які читав протягом багатьох років на факультеті ВМК. Їм були прочитані спеціальні курси з класичної та дескриптивної теорії множин, прикладним задачам теорії графів і теорії алгоритмів, функціональним системам дискретної математики та інші. Більше 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 с. (соавт. А. А. Сапоженко).
Відзнаки
Нагороджений медалями «Ветеран праці» (1987 рік) і «В пам'ять 850-річчя Москви» (1997).
Джерела
- Співробітники кафедри МК
- Identifiants et Référentiels — ABES, 2011.
- Математичний генеалогічний проєкт — 1997.
- Czech National Authority Database
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U Vikipediyi ye statti pro inshi znachennya cogo termina Gavrilov Ga rij Petro vich Gavri lov 19 listopada 1935 Baku 5 grudnya 1999 Moskva doktor fiziko matematichnih nauk profesor kafedri matematichnoyi kibernetiki MDU Garij Petrovich GavrilovGarij Petrovich GavrilovNarodivsya19 listopada 1935 1935 11 19 Baku Zakavkazka RFSR SRSRPomer5 grudnya 1999 1999 12 05 64 roki Moskva RosiyaKrayina RosiyaDiyalnistmatematik vikladach universitetuAlma materd MDU 2 Galuzfizika 3 i matematika 3 Zakladd MDUNaukovij stupindoktor fiziko matematichnih naukNaukovij kerivnikAspiranti doktorantid 2 d 2 NagorodiBiografichni vidomostiZakinchiv 1953 rik mehaniko matematichnij fakultet MDU 1958 rik U 1960 1963 rokah navchavsya v aspiranturi mehaniko matematichnogo fakultetu Kandidat fiziko matematichnih nauk 1964 tema disertaciyi Pitannya funkcionalnoyi povnoti v schetnoznachnoj logici naukovij kerivnik S V Yablonskij Doktor fiziko matematichnih nauk 1998 tema disertaciyi Pitannya viraznist i potuzhnostnij harakterizaciyi dlya diskretnih funkcionalnih sistem z operaciyeyu superpoziciyi Vchene zvannya docent 1971 rik U 1958 1960 rokah G P Gavrilov inzhener na odnomu z pidpriyemstv Ministerstva oboroni Pislya zakinchennya aspiranturi v 1963 1967 rokah pracyuvav na posadi starshogo vikladacha kafedri vishoyi matematiki v Smolenskij filiyi Moskovskogo energetichnogo institutu U 1967 1968 rokah kerivnik ekonomiko matematichnogo sektora laboratoriyi matematichnogo modelyuvannya m Moskva U 1968 1971 rokah pracyuvav na posadi starshogo vikladacha a potim docenta kafedri vishoyi matematiki Naukova kar yeraU Moskovskomu universiteti pracyuvav z chervnya 1971 r docent 1971 1999 roki kafedri matematichnoyi logiki ta teoriyi avtomativ z 1975 r kafedra matematichnoyi kibernetiki profesor 1999 rik kafedri matematichnoyi kibernetiki fakultetu VMK Galuz naukovih interesiv diskretna matematika matematichna logika zlichenoznachni j kincevoznachni logiki teoriya grafiv kombinatornij analiz Vnesok u naukuG P Gavrilovim buli otrimani fundamentalni rezultati v teoriyi kincevoznachnih i zlichenoznachnih logik Yim dano netrivialni formulni podannya dlya deyakih zamknutih klasiv bagatoznachnih logik Pk navedeno opis deyakih reshitok zamknutih klasiv v Pk k pr p proste sho vklyuchayut klas polinomiv vstanovlena bezlichi granichnih logik sho mayut dano obgruntuvannya giperkontinualnosti bezlichi predpovnih klasiv zlichimoznachnoyi logiki ne mistyat uzagalnenih konstant vstanovleno sho dlya kozhnogo naturalnogo chisla l 2 displaystyle l 2 v strukturi vklyuchen zamknutih klasiv schetnoznachnoj logiki P displaystyle P isnuye klas visoti l prichomu dayetsya konstruktivne opis kozhnogo takogo klasu sho mistit giperkontinualnu bezlich klasiv visoti l 1 displaystyle l 1 pokazano sho v chastkovij schetnoznachnoj logici isnuye rivno tri klasi tipu Slupeckogo i navedeno opis cih klasiv U teoriyi rebernih rozmalovok grafiv G P Gavrilovim vivcheni spilno z I A Muzichuk deyaki kritichnih po rebernoyi rozfarbuvanni dovedeno neisnuvannya kritichnih po rebernoyi rozmalovci grafiv deyakih poryadkiv G P Gavrilovim buv tvorcem obov yazkovih kursiv Matematichna logika i Vibrani pitannya diskretnoyi matematiki yaki chitav protyagom bagatoh rokiv na fakulteti VMK Yim buli prochitani specialni kursi z klasichnoyi ta deskriptivnoyi teoriyi mnozhin prikladnim zadacham teoriyi grafiv i teoriyi algoritmiv funkcionalnim sistemam diskretnoyi matematiki ta inshi Bilshe 20 rokiv G P Gavrilov chitav kursi po kombinatornomu analizu algoritmam na grafah matematichnij logici osnovam diskretnoyi matematiki dlya sluhachiv vechirnogo viddilennya fakultetu VMK Protyagom trivalogo chasu spivpracyuvav yak redaktor i perekladach u vidavnictvi Mir za jogo uchastyu zdijsneno vidannya 14 knig z teoriyi grafiv kombinatornomu analizu i logichnim aspektam shtuchnogo intelektu Pidgotuvav 6 kandidativ nauk PraciAvtor ponad 50 naukovih prac u tomu chisli monografiyi i dekilkoh navchalnih posibnikiv Osnovni publikaciyi O funkcionalnoj polnote v schetnoznachnoj logike Problemy kibernetiki M Nauka 1965 vyp 15 s 5 64 Funkcii algebry logiki i klassy Posta M Nauka 1966 120 s soavt V B Kudryavcev O moshnosti mnozhestva predelnyh logik obladayushih konechnym bazisom Problemy kibernetiki M Nauka 1969 vyp 21 s 27 40 Predpolnye klassy chastichnoj schetnoznachnoj logiki soderzhashie vse funkcii odnoj peremennoj Metody diskretnogo analiza v teorii grafov i logicheskih funkcij Novosibirsk 1976 vyp 28 s 12 24 O zamknutyh klassah mnogoznachnoj logiki soderzhashih klass polinomov Diskret matem M Nauka 1997 t 9 vyp 2 s 12 23 Ye avtorom abo spivavtorom ponad 10 navchalnih posibnikiv sered yakih Sbornik zadach po diskretnoj matematike M Nauka 1977 368 s imeyutsya perevody na anglijskij ispanskij i vengerskij yazyki 3 e izd Zadachi i uprazhneniya po diskretnoj matematike M Fizmatlit 2004 416 s soavt A A Sapozhenko VidznakiNagorodzhenij medalyami Veteran praci 1987 rik i V pam yat 850 richchya Moskvi 1997 DzherelaSpivrobitniki kafedri MK Identifiants et Referentiels ABES 2011 d Track Q47757534d Track Q2826570 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Czech National Authority Database d Track Q13550863