Zamjatin, Alexej Petrovič

Alexej Petrovič Zamjatin
Datum narození	3. října 1946( 1946-10-03 )
Místo narození	Nikolajevka , Galkinskij okres , Kurganská oblast , Ruská SFSR , SSSR
Datum úmrtí	23. března 2009( 2009-03-23 ​​) (62 let)
Místo smrti	Jekatěrinburg , Rusko
Země	SSSR Rusko
Vědecká sféra	matematika
Místo výkonu práce	Uralská státní univerzita
Alma mater	Uralská státní univerzita
Akademický titul	kandidát fyzikálních a matematických věd ( 1979 )
Akademický titul	odborný asistent ( 1988 )
vědecký poradce	L. N. Ševrin
Známý jako	specialista na obecnou algebru , matematickou logiku , diskrétní matematiku a teorii algoritmů
Ocenění a ceny

Aleksey Petrovič Zamjatin ( 3. října 1946 , Nikolaevka , Kurganská oblast - 23. března 2009 , Jekatěrinburg ) - sovětský a ruský matematik , učitel , logik . Specialista na obecnou algebru , matematickou logiku , diskrétní matematiku a teorii algoritmů .

Životopis

Narodil se 3. října 1946 ve vesnici Nikolaevka , Nikolaevsky vesnická rada , Galkinsky okres , Kurganská oblast (nyní je obecní rada součástí Shchuchansky okresu, Kurganská oblast ).

V roce 1969 promoval na Fakultě mechaniky a matematiky Uralské státní univerzity v oboru matematika. V roce 1970 začal pracovat a vyučovat na katedře algebry a diskrétní matematiky Uralské státní univerzity . V letech 1988-2004 byl vedoucím Výpočetního centra Uralské státní univerzity, v letech 1989-2009 byl vedoucím oddělení systémového programování Výzkumného ústavu fyziky a aplikované matematiky Uralské státní univerzity.

Kandidát fyzikálních a matematických věd (1979), docent (1988).

Zemřel 23. března 2009 v Jekatěrinburgu . Byl pohřben na sibiřském hřbitově v Jekatěrinburgu.

Vědecká činnost

Patří do vědecké školy LN Shevrina .

Provedl řadu studií o rozhoditelnosti elementárních teorií variet kruhů a grup, zejména vyřešil známý Tarski - Ershov problém o rozhoditelnosti elementárních teorií variet grup.

Publikoval více než 40 vědeckých prací v oblasti algebry a matematické logiky.

Pedagogická činnost

Vystudoval řadu základních matematických kurzů na matematicko-mechanických, filozofických a ekonomických fakultách Uralské státní univerzity . Vyvinul a vyučoval kurz "Diskrétní matematika a matematická logika" pro studenty oboru "Informační systémy" a řadu speciálních kurzů, včetně "Petriho sítí a modelování systémů" a "Lingvistické základy informatiky".

Vyučoval také na katedře aplikované geometrie a automatizace navrhování Uralské státní technické univerzity - UPI [1] a na Uralské státní akademii architektury a umění (UralSAHA) [2] .

V roce 2009 obdržel diplom a poděkování studentů Uralské státní akademie umění za „moudrost a lidskost“ [2] .

Ceny a ceny

• Cena Uralské univerzity za vysoké úspěchy ve vzdělávací a metodické činnosti ( 2006 ) [3]
• Breastplate "Čestný pracovník vyššího odborného vzdělávání Ruské federace" ( 2007 ) [3]

Bibliografie

• Vazhenin Yu. M. , Zamyatin A. P. Úvod do matematické logiky: učebnice. - Sverdlovsk: Ural State University Press, 1984. - 93 s.
• Zamyatin A.P. Variety s omezeními na mřížku kongruencí: Učebnice. - Sverdlovsk: Ural State University Press, 1987. - 91 s.
• Zamyatin A. P. , Livchak A. B. Prvky matematické teorie informačních systémů: vyjádřitelnost a vyčíslitelnost: Učebnice. - Jekatěrinburg: Uralská státní univerzita, 1996. - 104 s. — ISBN 5-230-06769-1
• Bulatov A. A. , Vernikov B. M. , Zamyatin A. P. Algebra a geometrie: učebnice. - Jekatěrinburg: Nakladatelství Uralské státní univerzity, 2001. - 452 s. — ISBN 5-7996-0046-0
• Zamyatin A.P. Množiny, relace, algebraické struktury: učebnice. - Jekatěrinburg: Ural University Press, 2003. - 108 s. — ISBN 5-7996-0179-3
• Zamyatin A.P. Grafy a sítě: učebnice. - Jekatěrinburg: Ural University Press, 2004. - 160 s. — ISBN 5-7996-0308-7
• Zamyatin A.P. Matematická logika: Učebnice. - Jekatěrinburg: Nakladatelství USU, 2004. - 140 s. — ISBN 5-7996-0191-2
• Zamyatin A.P. Množiny, logika, algoritmy. - Jekatěrinburg: Vydavatelství Uralského institutu ekonomiky, managementu a práva, 2005. - 157 s.
• Zamyatin A.P. Vzdělávací a metodický komplex disciplíny "Lingvistické základy informatiky" . — Feder. vzdělávací agentura, Ural. Stát un-t im. A. M. Gorkij, IONTS "Informační bezpečnost" [a další]. — Elektron. Dan. (1,92 MB). - Jekatěrinburg, 2007. - 607.
• Zamyatin A.P. Vzdělávací a metodologický komplex disciplíny "Matematická logika a teorie algoritmů" - Feder. vzdělávací agentura, Ural. Stát un-t im. A. M. Gorkij, IONTS "Informační bezpečnost" [a další]. — Elektron. Dan. (4,15 MB). - Jekatěrinburg, 2008.
• Vernikov B.M. , Zamyatin A.P. Počáteční kapitoly analytické geometrie a lineární algebry: učebnice. - Jekatěrinburg: Nakladatelství Uralské státní univerzity, 2009. - 280 s. — ISBN 978-5-7996-0452-3

• Odrůdy asociativních kruhů, jejichž elementární teorie je rozhodnoutelná // DAN SSSR. - 1976. - T. 229. - č. 2.
• Neabelovská rozmanitost grup má nerozhodnutelnou elementární teorii // Algebra a logika. - 1978. - T. 17. - č. 1.

Poznámky

1. ↑ Katedra aplikované geometrie a automatizace navrhování USTU-UPI . Získáno 20. září 2010. Archivováno z originálu 4. března 2016. (neurčitý)
2. ↑ 1 2 Web UralGAHA  (nepřístupný odkaz)  (nepřístupný odkaz od 13-05-2013 [3451 dní])
3. ↑ 1 2 Alexey Petrovič Zamjatin na stránkách Uralské státní univerzity  (nepřístupný odkaz)

Literatura

• Zamyatin Alexey Petrovich // Uralská státní univerzita v biografiích / Ed. M. E. Glavatsky a E. A. Pamjatnykh. - 2. vyd., přepracováno. - Jekatěrinburg: Ural University Press, 2000. - S. 23-24. — ISBN 5-7996-0078-9
• Zamyatin A.P. // Logic: Biobibliographic reference book (Rusko—SSSR—Russia) / Ed.-comp. O. A. Antonova, A. S. Miloslavov, T. E. Sokhor. - St. Petersburg: Science , 2001. - S. 168. - ISBN 5-02-028488-2

Odkazy

• Aleksey Petrovich Zamyatin na stránkách Uralské státní univerzity  (nedostupný odkaz)  (odkaz nedostupný od 23-11-2013 [3257 dní])
• [www.famous-scientists.ru/6476 Alexey Petrovich Zamyatin] v encyklopedii „Scientists of Russia“
• Alexey Petrovič Zamjatin v „Svobodné encyklopedii Uralu“

Tematické stránky	Matematická genealogie zbMATH Otevřeno