Gavrilov, Gary Petrovich
| Gary Gavrilov | |
|---|---|
| Gary Petrovich Gavrilov | |
| Fødselsdato | 19. november 1935 |
| Fødselssted | Baku , AzSSR , USSR |
| Dødsdato | 5. december 1999 (64 år) |
| Et dødssted | Moskva , Rusland |
| Land | |
| Videnskabelig sfære | matematisk kybernetik |
| Arbejdsplads | Moscow Aviation Technology Institute , Moscow State University |
| Alma Mater | Moskva statsuniversitet |
| Akademisk grad | Doktor i fysiske og matematiske videnskaber |
| Akademisk titel | Professor |
| videnskabelig rådgiver | S. V. Yablonsky |
| Priser og præmier |
  |
Gary Petrovich Gavrilov (19. november 1935 - 5. december 1999) - Doktor i fysiske og matematiske videnskaber, professor ved afdelingen for matematisk kybernetik ved Moscow State University .
Biografi
I 1953 dimitterede han fra Syzran Oil College ( Kuibyshev-regionen ) og i 1958 fra fakultetet for mekanik og matematik ved Moskvas statsuniversitet. I 1960-1963 studerede han på forskerskolen ved Fakultetet for Mekanik og Matematik.
Candidate of Physical and Mathematical Sciences (1964), forsvarede sin afhandling om emnet "Spørgsmål om funktionel fuldstændighed i countable-valued logic" (vejleder S. V. Yablonsky ). Doctor of Physical and Mathematical Sciences (1998), specialeemne: "Spørgsmål om udtrykbarhed og magtkarakterisering for diskrete funktionelle systemer med superpositionsoperation." Akademisk titel - Lektor (1971).
I 1958-1960 arbejdede G.P. Gavrilov som ingeniør ved en virksomhed under Forsvarsministeriet . Efter at have dimitteret fra kandidatskolen i 1963-1967 arbejdede han som lektor i afdelingen for højere matematik ved Smolensk-afdelingen af Moscow Power Engineering Institute . I 1967-1968 ledede han den økonomiske og matematiske sektor af laboratoriet for matematisk modellering af det videnskabelige forskningsinstitut for klorindustrien ( Moskva ). I 1968-1971 arbejdede han som lektor og derefter som adjunkt ved Institut for Højere Matematik ved Moskva Aviation Technology Institute .
Han blev tildelt medaljerne "Veteran of Labor" (1987) og " Til minde om 850-årsdagen for Moskva " (1997).
Videnskabelig karriere
Han har arbejdet på Moskva Universitet siden juni 1971: Lektor (1971-1999) ved Institut for Matematisk Logik og Automatateori (siden 1975 - Institut for Matematisk Kybernetik), Professor (1999) ved Institut for Matematisk Kybernetik på fakultetet af det militære metallurgiske kompleks [2] .
Rækken af videnskabelige interesser omfattede diskret matematik , teorien om funktionelle systemer , matematisk logik , endelige værdier og tælleligt værdisatte logikker, grafteori , kombinatorisk analyse .
G. P. Gavrilov opnåede betydelige udviklinger i teorien om endelige værdier og tælleligt værdisatte logikker. Han gav ikke-trivielle formelrepræsentationer for nogle lukkede klasser af mange værdifulde logikker Pk; der gives en beskrivelse af nogle gitter af lukkede klasser i Pk (k = pr, p er primtal), herunder klassen af polynomier ; kontinuiteten af sættet af grænselogikker med en endelig basis er etableret; der gives en begrundelse for hyperkontinuiteten af sættet af prækomplette klasser af logik med tællelig værdi, som ikke indeholder generaliserede konstanter; det er fastslået, at for hvert naturligt tal i strukturen af indeslutninger af lukkede klasser af logik med tællelig værdi er der en højdeklasse l (derudover er der givet en konstruktiv beskrivelse af hver sådan klasse), som indeholder et hyperkontinuumsæt af højdeklasser ; det er vist, at der er præcis tre klasser af Slupecki-typen i brøktallig-værdilogik, og en beskrivelse af disse klasser er givet.
I teorien om linjefarvning af grafer studerede G. P. Gavrilov (sammen med I. A. Muzychuk) nogle metriske karakteristika for grafer, der er kritiske med hensyn til kantfarvning, og beviste, at der ikke eksisterer grafer, der er kritiske med hensyn til kantfarvning af visse rækkefølger.
G. P. Gavrilov var forfatteren til de obligatoriske kurser "Matematisk logik" og "Udvalgte spørgsmål om diskret matematik", som han underviste i mange år på fakultetet ved VMK. Han underviste i særlige kurser om klassisk og beskrivende mængdeteori, anvendte problemer med grafteori og teorien om algoritmer , funktionelle systemer for diskret matematik og andre. I mere end 20 år har G. P. Gavrilov undervist i kurser om kombinatorisk analyse, algoritmer på grafer, matematisk logik og det grundlæggende i diskret matematik for studerende fra aftenafdelingen på CMC-fakultetet.
I lang tid samarbejdede han som redaktør og oversætter på Mir-forlaget, under hans redaktion blev der udgivet 14 bøger om grafteori, kombinatorisk analyse og logiske aspekter af kunstig intelligens.
Forberedte 6 videnskabskandidater.
Forfatter til mere end 50 videnskabelige artikler, herunder monografier og mere end ti lærebøger.
Proceedings
- Om funktionel fuldstændighed i tællelig-værdilogik // Problemer med kybernetik - M.: Nauka, 1965, nr. 15, s. 5-64;
- Funktioner af algebra for logik og efterklasser - M.: Nauka, 1966, 120 s. (medforfatter S. V. Yablonsky , Kudryavtsev V. B. );
- Om magten i sættet af grænselogikker med en endelig basis // Problems of Cybernetics - M.: Nauka, 1969, nr. 21, s. 27-40;
- Prækomplette klasser af partiel tællelig-værdilogik, der indeholder alle funktioner af én variabel // Metoder til diskret analyse i teorien om grafer og logiske funktioner - Novosibirsk, 1976, nr. 28, s. 12-24;
- På lukkede klasser af logik med mange værdier, der indeholder en klasse af polynomier // Diskret matematik. matematik. - M .: Nauka, 1997, bind 9, udgave. 2, s. 12-23.
- Samling af problemer i diskret matematik - M.: Nauka, 1977, 368 s. (engelsk, spansk og ungarsk oversættelse tilgængelig), 3. udg.;
- Lærebog til kurset "Diskret matematik". Analyse og syntese af kredsløb i mange-værdilogikker: [Lærebog]. godtgørelse] / S. V. Yablonsky, G. P. Gavrilov, A. A. Nabebin ; Ed. V. A. Orlov ; Moskva energi in-t. - M .: MPEI, 1989. - 20 cm. Del 1. - M .: MPEI, 1989. - 117 s.
- Problemer og øvelser i diskret matematik - Moskva: Fizmatlit, 2004, 416 s. (medforfatter A. A. Sapozhenko ).
Noter
- ↑ Identifiants et Référentiels (fransk) - ABES , 2011.
- ↑ Biografi Arkiveksemplar dateret 12. maj 2016 på Wayback Machine på hjemmesiden for VMK MSU