Gavrilov, Gary Petrovich

Gary Gavrilov
Gary Petrovich Gavrilov
Födelsedatum	19 november 1935( 1935-11-19 )
Födelseort	Baku , AzSSR , Sovjetunionen
Dödsdatum	5 december 1999 (64 år)( 1999-12-05 )
En plats för döden	Moskva , Ryssland
Land	Ryssland [1]
Vetenskaplig sfär	matematisk kybernetik
Arbetsplats	Moscow Aviation Technology Institute , Moscow State University
Alma mater	Moscow State University
Akademisk examen	Doktor i fysikaliska och matematiska vetenskaper
Akademisk titel	Professor
vetenskaplig rådgivare	S. V. Yablonsky
Utmärkelser och priser

Gary Petrovich Gavrilov (19 november 1935 - 5 december 1999) - Doktor i fysikaliska och matematiska vetenskaper, professor vid institutionen för matematisk kybernetik vid Moskvas statliga universitet .

Biografi

1953 tog han examen från Syzran Oil College ( Kuibyshev-regionen ) och 1958 från fakulteten för mekanik och matematik vid Moscow State University. 1960-1963 studerade han vid forskarskolan vid fakulteten för mekanik och matematik.

Candidate of Physical and Mathematical Sciences (1964), disputerade på ämnet "Frågor om funktionell fullständighet i countable-valued logic" (handledare S. V. Yablonsky ). Doctor of Physical and Mathematical Sciences (1998), avhandlingsämne: "Frågor om uttryckbarhet och kraftkarakterisering för diskreta funktionella system med superpositionsoperation." Akademisk titel - Docent (1971).

1958-1960 arbetade G.P. Gavrilov som ingenjör på ett företag inom försvarsministeriet . Efter examen från forskarskolan 1963-1967 arbetade han som universitetslektor vid avdelningen för högre matematik vid Smolensk-avdelningen av Moscow Power Engineering Institute . 1967-1968 ledde han den ekonomiska och matematiska sektorn för laboratoriet för matematisk modellering av det vetenskapliga forskningsinstitutet för klorindustrin ( Moskva ). 1968-1971 arbetade han som universitetslektor och sedan som biträdande professor vid Institutionen för högre matematik vid Moskva Aviation Technology Institute .

Han tilldelades medaljerna "Veteran of Labor" (1987) och " Till minne av 850-årsdagen av Moskva " (1997).

Vetenskaplig karriär

Han har arbetat vid Moskvas universitet sedan juni 1971: Docent (1971-1999) vid institutionen för matematisk logik och automatteori (sedan 1975 - Institutionen för matematisk kybernetik), professor (1999) vid institutionen för matematisk kybernetik vid fakulteten av det militära metallurgiska komplexet [2] .

Utbudet av vetenskapliga intressen inkluderade diskret matematik , teorin om funktionella system , matematisk logik , ändligt värderad och countably-värderad logik, grafteori , kombinatorisk analys .

G. P. Gavrilov uppnådde betydande utvecklingar i teorin om ändligt värderade och räkningsvärda logiker. Han gav icke-triviala formelrepresentationer för några slutna klasser av många värderade logiker Pk; en beskrivning ges av några gitter av slutna klasser i Pk (k = pr, p är primtal), inklusive klassen polynom ; kontinuiteten för uppsättningen av gränslogiker med en ändlig bas är etablerad; en motivering ges för hyperkontinuiteten hos uppsättningen av förfullständiga klasser av logik med räknevärde som inte innehåller generaliserade konstanter; det är fastställt att det för varje naturligt tal i strukturen av inneslutningar av slutna klasser av logik med uträkneligt värde finns en höjdklass l (dettare ges en konstruktiv beskrivning av varje sådan klass), som innehåller en hyperkontinuumuppsättning av höjdklasser ; det visas att det finns exakt tre klasser av Slupecki-typ i logik med bråktal, och en beskrivning av dessa klasser ges. $l?2$ $P$ $l+1$

I teorin om linjefärgning av grafer studerade G. P. Gavrilov (tillsammans med I. A. Muzychuk) några metriska egenskaper hos grafer som är kritiska med avseende på kantfärgning, och bevisade att det inte finns grafer som är kritiska med avseende på kantfärgning av vissa ordningar.

G. P. Gavrilov var författare till de obligatoriska kurserna "Matematisk logik" och "Utvalda frågor om diskret matematik", som han undervisade i många år vid VMK-fakulteten. Han undervisade i specialkurser om klassisk och beskrivande mängdteori, tillämpade problem med grafteori och teorin om algoritmer , funktionella system för diskret matematik och andra. I mer än 20 år har G. P. Gavrilov undervisat i kurser om kombinatorisk analys, algoritmer för grafer, matematisk logik och grunderna i diskret matematik för studenter vid kvällsavdelningen vid CMC-fakulteten.

Under lång tid samarbetade han som redaktör och översättare på Mir-förlaget, under hans redaktion publicerades 14 böcker om grafteori, kombinatorisk analys och logiska aspekter av artificiell intelligens.

Förberedde 6 vetenskapskandidater.

Författare till mer än 50 vetenskapliga artiklar, inklusive monografier och mer än tio läroböcker.

Proceedings

Om funktionell fullständighet i countable-valued logic // Problems of cybernetics - M.: Nauka, 1965, nr. 15, sid. 5-64;
Funktioner av logikalgebra och efterklasser - M.: Nauka, 1966, 120 s. (medförfattare S.V. Yablonsky , Kudryavtsev V.B. );
Om kraften i uppsättningen gränslogiker med ändlig grund // Problems of Cybernetics - M.: Nauka, 1969, nr. 21, sid. 27-40;
Förfullständiga klasser av partiell logik med räknevärde som innehåller alla funktioner i en variabel // Metoder för diskret analys i teorin om grafer och logiska funktioner - Novosibirsk, 1976, nr. 28, sid. 12-24;
På slutna klasser av logik med många värden som innehåller en klass av polynom // Diskret matematik. matematik. - M .: Nauka, 1997, vol. 9, nummer. 2, sid. 12-23.
Samling av problem i diskret matematik - M.: Nauka, 1977, 368 s. (Engelska, spanska och ungerska översättningar tillgängliga), 3:e upplagan;
Lärobok för kursen "Diskret matematik". Analys och syntes av kretsar i mångvärdiga logiker: [Lärobok]. ersättning] / 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 sid.
Problem och övningar i diskret matematik - Moskva: Fizmatlit, 2004, 416 s. (medförfattare A. A. Sapozhenko ).

Anteckningar

↑ Identifiants et Référentiels (franska) - ABES , 2011.
↑ Biografi Arkivkopia daterad 12 maj 2016 på Wayback Machine på webbplatsen för VMK MSU