Zamyatin, Alexey Petrovich

Alexey Petrovich Zamyatin
Födelsedatum	3 oktober 1946( 1946-10-03 )
Födelseort	Nikolayevka , Galkinsky District , Kurgan Oblast , Ryska SFSR , USSR
Dödsdatum	23 mars 2009( 2009-03-23 ​​) (62 år)
En plats för döden	Jekaterinburg , Ryssland
Land	Sovjetunionen Ryssland
Vetenskaplig sfär	matte
Arbetsplats	Ural State University
Alma mater	Ural State University
Akademisk examen	Kandidat för fysikaliska och matematiska vetenskaper ( 1979 )
Akademisk titel	biträdande professor ( 1988 )
vetenskaplig rådgivare	L. N. Shevrin
Känd som	specialist i allmän algebra , matematisk logik , diskret matematik och teorin om algoritmer
Utmärkelser och priser

Aleksey Petrovich Zamyatin ( 3 oktober 1946 , Nikolaevka , Kurgan-regionen - 23 mars 2009 , Jekaterinburg ) - sovjetisk och rysk matematiker , lärare , logiker . Specialist i allmän algebra , matematisk logik , diskret matematik och teori om algoritmer .

Biografi

Han föddes den 3 oktober 1946 i byn Nikolaevka , Nikolaevsky byråd , Galkinsky-distriktet , Kurgan-regionen (nu är byrådet en del av Shchuchansky-distriktet, Kurgan-regionen ).

1969 tog han examen från fakulteten för mekanik och matematik vid Ural State University med en examen i matematik. 1970 började han arbeta och undervisa vid institutionen för algebra och diskret matematik vid Ural State University . 1988-2004 var han chef för Computing Center vid Ural State University, 1989-2009 var han chef för systemprogrammeringsavdelningen vid Research Institute of Physics and Applied Mathematics vid Ural State University.

Kandidat för fysikaliska och matematiska vetenskaper (1979), docent (1988).

Han dog den 23 mars 2009 i Jekaterinburg . Han begravdes på den sibiriska kyrkogården i Jekaterinburg.

Vetenskaplig verksamhet

Tillhör LN Shevrins vetenskapliga skola .

Genomförde en serie studier om avgörbarheten av elementära teorier om sorter av ringar och grupper, i synnerhet löste han det välkända Tarski - Ershov -problemet om avgörbarheten av elementära teorier om grupper av sorter.

Han har publicerat mer än 40 vetenskapliga artiklar inom området algebra och matematisk logik.

Undervisningsaktivitet

Han läste ett antal grundläggande matematiska kurser vid de matematisk-mekaniska, filosofiska och ekonomiska fakulteterna vid Ural State University . Utvecklade och undervisade i kursen "Diskret matematik och matematisk logik" för studenter på specialiteten "Informationssystem" och ett antal specialkurser, bland annat "Petri Nets and System Modeling" och "Linguistic Fundamentals of Informatics".

Han undervisade också vid institutionen för tillämpad geometri och designautomation vid Ural State Technical University - UPI [1] och vid Ural State Academy of Architecture and Art (UralSAHA) [2] .

2009 fick han ett diplom och tacksamhet från studenterna vid Ural State Academy of Arts för "visdom och mänsklighet" [2] .

Utmärkelser och priser

• Pris från Ural University för höga prestationer inom utbildnings- och metodverksamhet ( 2006 ) [3]
• Brystskylt "Hedersarbetare för högre yrkesutbildning i Ryska federationen" ( 2007 ) [3]

Bibliografi

• Vazhenin Yu. M. , Zamyatin A. P. Introduktion till matematisk logik: Lärobok. - Sverdlovsk: Ural State University Press, 1984. - 93 sid.
• Zamyatin A.P. Förgreningar med begränsningar av kongruensgittret: Lärobok. - Sverdlovsk: Ural State University Press, 1987. - 91 sid.
• Zamyatin A. P. , Livchak A. B. Element i den matematiska teorin om informationssystem: uttryckbarhet och beräkningsbarhet: Lärobok. - Jekaterinburg: Ural State University, 1996. - 104 sid. — ISBN 5-230-06769-1
• Bulatov A. A. , Vernikov B. M. , Zamyatin A. P. Algebra och geometri: Lärobok. - Jekaterinburg: Ural State Universitys förlag, 2001. - 452 s. — ISBN 5-7996-0046-0
• Zamyatin A.P. Uppsättningar, relationer, algebraiska strukturer: Lärobok. - Jekaterinburg: Ural University Press, 2003. - 108 s. — ISBN 5-7996-0179-3
• Zamyatin A.P. Grafer och nätverk: Lärobok. - Jekaterinburg: Ural University Press, 2004. - 160 sid. — ISBN 5-7996-0308-7
• Zamyatin A.P. Matematisk logik: Lärobok. - Jekaterinburg: USU Publishing House, 2004. - 140 sid. — ISBN 5-7996-0191-2
• Zamyatin A.P. Uppsättningar, logik, algoritmer. - Jekaterinburg: Urals förlag för ekonomi, förvaltning och juridik, 2005. - 157 s.
• Zamyatin A.P. Utbildnings- och metodkomplex av disciplinen "Linguistic foundations of informatics" . — Feder. utbildningsbyrå, Ural. stat un-t im. A. M. Gorky, IONTS "Informationssäkerhet" [och andra]. — Elektron. Dan. (1,92 MB). - Jekaterinburg, 2007. - 607.
• Zamyatin A.P. Utbildnings- och metodkomplex av disciplinen "Matematisk logik och teori om algoritmer" - Feder. utbildningsbyrå, Ural. stat un-t im. A. M. Gorky, IONTS "Informationssäkerhet" [och andra]. — Elektron. Dan. (4,15 MB). - Jekaterinburg, 2008.
• Vernikov B.M. , Zamyatin A.P. Inledande kapitel i analytisk geometri och linjär algebra: Lärobok. - Jekaterinburg: Ural State University Publishing House, 2009. - 280 sid. — ISBN 978-5-7996-0452-3

• Variationer av associativa ringar vars elementära teori kan avgöras // DAN SSSR. - 1976. - T. 229. - Nr 2.
• En icke-abelian variation av grupper har en obestämbar elementär teori // Algebra och logik. - 1978. - T. 17. - Nr 1.

Anteckningar

1. ↑ Institutionen för tillämpad geometri och designautomation USTU-UPI . Hämtad 20 september 2010. Arkiverad från originalet 4 mars 2016. (obestämd)
2. ↑ 1 2 UralGAHA-webbplats  (otillgänglig länk)  (otillgänglig länk från 2013-05-13 [3451 dagar])
3. ↑ 1 2 Alexey Petrovich Zamyatin på webbplatsen för Ural State University  (otillgänglig länk)

Litteratur

• Zamyatin Alexey Petrovich // Ural State University i biografier / Ed. M. E. Glavatsky och E. A. Pamyatnykh. - 2:a uppl., reviderad. - Jekaterinburg: Ural University Press, 2000. - S. 23-24. — ISBN 5-7996-0078-9
• Zamyatin A.P. // Logik: Biobibliografisk referensbok (Ryssland—USSR—Ryssland) / Ed.-komp. O.A. Antonova, A.S. Miloslavov, T.E. Sokhor. - St. Petersburg: Science , 2001. - S. 168. - ISBN 5-02-028488-2

Länkar

• Aleksey Petrovich Zamyatin på webbplatsen för Ural State University  (otillgänglig länk)  (otillgänglig länk sedan 2013-11-23 [3257 dagar])
• [www.famous-scientists.ru/6476 Alexey Petrovich Zamyatin] i uppslagsverket "Scientists of Russia"
• Alexey Petrovich Zamyatin i "Free Encyclopedia of the Ural"

Tematiska platser	Matematisk släktforskning zbMATH Öppna