Zamyatin, Alexey Petrovich

Alexey Petrovich Zamyatin
Fødselsdato	3. oktober 1946( 1946-10-03 )
Fødselssted	Nikolayevka , Galkinsky District , Kurgan Oblast , Russian SFSR , USSR
Dødsdato	23. marts 2009( 2009-03-23 ​​) (62 år)
Et dødssted	Jekaterinburg , Rusland
Land	USSR Rusland
Videnskabelig sfære	matematik
Arbejdsplads	Ural State University
Alma Mater	Ural State University
Akademisk grad	Kandidat for fysiske og matematiske videnskaber ( 1979 )
Akademisk titel	adjunkt ( 1988 )
videnskabelig rådgiver	L. N. Shevrin
Kendt som	specialist i generel algebra , matematisk logik , diskret matematik og teorien om algoritmer
Præmier og præmier

Aleksey Petrovich Zamyatin ( 3. oktober 1946 , Nikolaevka , Kurgan-regionen - 23. marts 2009 , Jekaterinburg ) - sovjetisk og russisk matematiker , lærer , logiker . Specialist i generel algebra , matematisk logik , diskret matematik og teorien om algoritmer .

Biografi

Han blev født den 3. oktober 1946 i landsbyen Nikolaevka , Nikolaevsky-landsbyrådet , Galkinsky-distriktet , Kurgan-regionen (nu er landsbyrådet en del af Shchuchansky-distriktet, Kurgan-regionen ).

I 1969 dimitterede han fra Fakultetet for Mekanik og Matematik ved Ural State University med en grad i matematik. I 1970 begyndte han at arbejde og undervise ved Institut for Algebra og Diskret Matematik ved Ural State University . I 1988-2004 var han leder af Computing Center for Ural State University, i 1989-2009 var han leder af systemprogrammeringsafdelingen ved Research Institute of Physics and Applied Mathematics ved Ural State University.

Kandidat for fysiske og matematiske videnskaber (1979), lektor (1988).

Han døde den 23. marts 2009 i Jekaterinburg . Han blev begravet på den sibiriske kirkegård i Jekaterinburg.

Videnskabelig aktivitet

Tilhører den videnskabelige skole i LN Shevrin .

Gennemførte en række undersøgelser om afgøreligheden af ​​elementære teorier om sorter af ringe og grupper, især løste han det velkendte Tarski - Ershov -problem om afgøreligheden af ​​elementære teorier om sorter af grupper.

Han har publiceret mere end 40 videnskabelige artikler inden for algebra og matematisk logik.

Undervisningsaktivitet

Han læste en række grundlæggende matematiske kurser på de matematisk-mekaniske, filosofiske og økonomiske fakulteter på Ural State University . Udviklede og underviste i kurset "Diskret matematik og matematisk logik" for studerende på specialet "Informationssystemer" og en række specialkurser, herunder "Petri Nets and System Modeling" og "Linguistic Fundamentals of Informatics".

Han underviste også ved Institut for Anvendt Geometri og Design Automation ved Ural State Technical University - UPI [1] og ved Ural State Academy of Architecture and Art (UralSAHA) [2] .

I 2009 modtog han et diplom og taknemmelighed fra eleverne på Ural State Academy of Arts for "visdom og menneskelighed" [2] .

Priser og præmier

• Pris fra Ural University for høje præstationer inden for uddannelsesmæssige og metodiske aktiviteter ( 2006 ) [3]
• Brystplade "Æresmedarbejder for videregående faglig uddannelse i Den Russiske Føderation" ( 2007 ) [3]

Bibliografi

• Vazhenin Yu. M. , Zamyatin A. P. Introduktion til matematisk logik: Lærebog. - Sverdlovsk: Ural State University Press, 1984. - 93 s.
• Zamyatin A.P. Manifolder med begrænsninger på gitteret af kongruenser: Lærebog. - Sverdlovsk: Ural State University Press, 1987. - 91 s.
• Zamyatin A. P. , Livchak A. B. Elementer i den matematiske teori om informationssystemer: udtrykkelighed og beregnelighed: Lærebog. - Jekaterinburg: Ural State University, 1996. - 104 s. — ISBN 5-230-06769-1
• Bulatov A. A. , Vernikov B. M. , Zamyatin A. P. Algebra og geometri: Lærebog. - Jekaterinburg: Ural State Universitys forlag, 2001. - 452 s. — ISBN 5-7996-0046-0
• Zamyatin A.P. Sæt, relationer, algebraiske strukturer: Lærebog. - Jekaterinburg: Ural University Press, 2003. - 108 s. — ISBN 5-7996-0179-3
• Zamyatin A.P. Grafer og netværk: Lærebog. - Jekaterinburg: Ural University Press, 2004. - 160 s. — ISBN 5-7996-0308-7
• Zamyatin A.P. Matematisk logik: Lærebog. - Jekaterinburg: USU Publishing House, 2004. - 140 s. — ISBN 5-7996-0191-2
• Zamyatin A.P. Sæt, logik, algoritmer. - Jekaterinburg: Forlaget for Ural Institute of Economics, Management and Law, 2005. - 157 s.
• Zamyatin A.P. Uddannelses- og metodologisk kompleks af disciplinen "Informatiks sproglige grundlag". — Feder. uddannelsesbureau, Ural. stat un-t im. A. M. Gorky, IONTS "Informationssikkerhed" [og andre]. - Elektron. Dan. (1,92 MB). - Jekaterinburg, 2007. - 607.
• Zamyatin A.P. Uddannelsesmæssigt og metodisk kompleks af disciplinen "Matematisk logik og teori om algoritmer" - Feder. uddannelsesbureau, Ural. stat un-t im. A. M. Gorky, IONTS "Informationssikkerhed" [og andre]. - Elektron. Dan. (4,15 MB). - Jekaterinburg, 2008.
• Vernikov B.M. , Zamyatin A.P. Indledende kapitler af analytisk geometri og lineær algebra: Lærebog. - Jekaterinburg: Ural State University Publishing House, 2009. - 280 s. — ISBN 978-5-7996-0452-3

• Varianter af associative ringe, hvis elementære teori kan afgøres // DAN SSSR. - 1976. - T. 229. - Nr. 2.
• En ikke-abeliask række af grupper har en ubestemt elementær teori // Algebra og logik. - 1978. - T. 17. - Nr. 1.

Noter

1. ↑ Institut for Anvendt Geometri og Design Automation USTU-UPI . Hentet 20. september 2010. Arkiveret fra originalen 4. marts 2016. (ubestemt)
2. ↑ 1 2 UralGAHA-websted  (utilgængeligt link)  (utilgængeligt link fra 13-05-2013 [3451 dage])
3. ↑ 1 2 Alexey Petrovich Zamyatin på webstedet for Ural State University  (utilgængeligt link)

Litteratur

• Zamyatin Alexey Petrovich // Ural State University i biografier / Ed. M. E. Glavatsky og E. A. Pamyatnykh. - 2. udg., revideret. - Jekaterinburg: Ural University Press, 2000. - S. 23-24. — ISBN 5-7996-0078-9
• Zamyatin A.P. // Logik: Biobibliografisk opslagsbog (Rusland—USSR—Rusland) / Ed.-comp. O. A. Antonova, A. S. Miloslavov, T. E. Sokhor. - St. Petersburg: Science , 2001. - S. 168. - ISBN 5-02-028488-2

Links

• Aleksey Petrovich Zamyatin på webstedet for Ural State University  (utilgængeligt link)  (utilgængeligt link siden 23-11-2013 [3257 dage])
• [www.famous-scientists.ru/6476 Alexey Petrovich Zamyatin] i encyklopædien "Scientists of Russia"
• Alexey Petrovich Zamyatin i "Free Encyclopedia of the Ural"

Tematiske steder	Matematisk genealogi zbMATH Åbn