Zamiatin, Alexey Petrovici

Alexei Petrovici Zamiatin
Data nașterii	3 octombrie 1946( 03.10.1946 )
Locul nașterii	Nikolayevka , districtul Galkinsky , regiunea Kurgan , SFSR rusă , URSS
Data mortii	23 martie 2009( 23.03.2009 ) (62 de ani)
Un loc al morții	Ekaterinburg , Rusia
Țară	URSS Rusia
Sfera științifică	matematica
Loc de munca	Universitatea de Stat Ural
Alma Mater	Universitatea de Stat Ural
Grad academic	Candidat la științe fizice și matematice ( 1979 )
Titlu academic	profesor asistent ( 1988 )
consilier științific	L. N. Shevrin
Cunoscut ca	specialist in algebra generala , logica matematica , matematica discreta si teoria algoritmilor
Premii și premii

Aleksey Petrovici Zamyatin ( 3 octombrie 1946 , Nikolaevka , regiunea Kurgan - 23 martie 2009 , Ekaterinburg ) - matematician , profesor , logician sovietic și rus . Specialist in algebra generala , logica matematica , matematica discreta si teoria algoritmilor .

Biografie

S-a născut la 3 octombrie 1946 în satul Nikolaevka , consiliul satului Nikolaevsky , districtul Galkinsky , regiunea Kurgan (acum consiliul satului face parte din districtul Shchuchansky, regiunea Kurgan ).

În 1969 a absolvit Facultatea de Mecanică și Matematică a Universității de Stat din Ural cu o diplomă în Matematică. În 1970 a început să lucreze și să predea la Departamentul de Algebră și Matematică Discretă a Universității de Stat din Ural . În 1988-2004 a fost șeful Centrului de Calcul al Universității de Stat Ural, în 1989-2009 a fost șeful departamentului de programare a sistemelor al Institutului de Cercetare pentru Fizică și Matematică Aplicată al Universității de Stat Ural.

Candidat la științe fizice și matematice (1979), conferențiar (1988).

A murit pe 23 martie 2009 la Ekaterinburg . A fost înmormântat la cimitirul siberian din Ekaterinburg.

Activitate științifică

Aparține școlii științifice a lui LN Shevrin .

A efectuat o serie de studii privind determinabilitatea teoriilor elementare ale varietăților de inele și grupuri, în special, a rezolvat binecunoscuta problemă Tarski - Ershov privind determinabilitatea teoriilor elementare ale varietăților de grupuri.

A publicat peste 40 de lucrări științifice în domeniul algebrei și al logicii matematice.

Activitate didactică

A citit o serie de cursuri de bază de matematică la facultățile de matematică-mecanică, filozofică și economică ale Universității de Stat din Ural . A elaborat și predat cursul „Matematică discretă și logică matematică” pentru studenții specialității „Sisteme informaționale” și o serie de cursuri speciale, printre care „Rețele Petri și modelarea sistemelor” și „Fundamentele lingvistice ale informaticii”.

De asemenea, a predat la Departamentul de Geometrie Aplicată și Automatizare a Proiectului al Universității Tehnice de Stat Ural - UPI [1] și la Academia de Arhitectură și Artă de Stat Ural (UralSAHA) [2] .

În 2009 a primit diplomă și recunoștință de la studenții Academiei de Arte de Stat din Ural pentru „înțelepciune și umanitate” [2] .

Premii și premii

• Premiul Universității Ural pentru realizări înalte în activități educaționale și metodologice ( 2006 ) [3]
• Pieptar „Lucrător de onoare al învățământului profesional superior al Federației Ruse” ( 2007 ) [3]

Bibliografie

• Vazhenin Yu. M. , Zamyatin A. P. Introducere în logica matematică: manual. - Sverdlovsk: Ural State University Press, 1984. - 93 p.
• Zamyatin A.P. Variete cu restricții asupra rețelei de congruențe: Manual. - Sverdlovsk: Ural State University Press, 1987. - 91 p.
• Zamyatin A. P. , Livchak A. B. Elemente de teoria matematică a sistemelor informaționale: expresibilitate și calculabilitate: Manual. - Ekaterinburg: Universitatea de Stat Ural, 1996. - 104 p. — ISBN 5-230-06769-1
• Bulatov A. A. , Vernikov B. M. , Zamyatin A. P. Algebră și geometrie: manual. - Ekaterinburg: Editura Universității de Stat Ural, 2001. - 452 p. — ISBN 5-7996-0046-0
• Zamyatin A.P. Mulțimi , relații, structuri algebrice: Manual. - Ekaterinburg: Ural University Press, 2003. - 108 p. — ISBN 5-7996-0179-3
• Zamyatin A.P. Grafice și rețele: manual. - Ekaterinburg: Ural University Press, 2004. - 160 p. — ISBN 5-7996-0308-7
• Zamyatin A.P. Logica matematică: manual. - Ekaterinburg: Editura USU, 2004. - 140 p. — ISBN 5-7996-0191-2
• Zamyatin A.P. Seturi, logica, algoritmi. - Ekaterinburg: Editura Institutului Ural de Economie, Management și Drept, 2005. - 157 p.
• Zamyatin A.P. Complex educațional și metodologic al disciplinei „Bazele lingvistice ale informaticii” . — Feder. agenție educațională, Ural. stat un-t im. A. M. Gorky, IONTS „Securitatea informațiilor” [și altele]. — Electron. Dan. (1,92 MB). - Ekaterinburg, 2007. - 607.
• Zamyatin A.P. Complex educațional și metodologic al disciplinei „Logica matematică și teoria algoritmilor” - Feder. agenție educațională, Ural. stat un-t im. A. M. Gorky, IONTS „Securitatea informațiilor” [și altele]. — Electron. Dan. (4,15 MB). - Ekaterinburg, 2008.
• Vernikov B.M. , Zamyatin A.P. Capitolele inițiale de geometrie analitică și algebră liniară: manual. - Ekaterinburg: Editura Universității de Stat Ural, 2009. - 280 p. — ISBN 978-5-7996-0452-3

• Soiuri de inele asociative a căror teorie elementară este decidabilă // DAN SSSR. - 1976. - T. 229. - Nr. 2.
• O varietate non-abeliană de grupuri are o teorie elementară indecidabilă // Algebră și logică. - 1978. - T. 17. - Nr. 1.

Note

1. ↑ Departamentul de Geometrie Aplicată și Automatizare a Proiectării USTU-UPI . Consultat la 20 septembrie 2010. Arhivat din original pe 4 martie 2016. (nedefinit)
2. ↑ 1 2 Site web UralGAHA  (link inaccesibil)  (link inaccesibil din 13-05-2013 [3451 zile])
3. ↑ 1 2 Alexey Petrovich Zamyatin pe site-ul web al Universității de Stat Ural  (link inaccesibil)

Literatură

• Zamyatin Alexey Petrovici // Universitatea de Stat din Ural în biografii / Ed. M. E. Glavatsky și E. A. Pamyatnykh. - Ed. a II-a, revizuită. - Ekaterinburg: Ural University Press, 2000. - S. 23-24. — ISBN 5-7996-0078-9
• Zamyatin A.P. // Logica: carte de referință biobibliografică (Rusia—URSS—Rusia) / Ed.-comp. O. A. Antonova, A. S. Miloslavov, T. E. Sokhor. - Sankt Petersburg: Știință , 2001. - S. 168. - ISBN 5-02-028488-2

Link -uri

• Aleksey Petrovich Zamyatin pe site-ul web al Universității de Stat Ural  (link indisponibil)  (link indisponibil din 23-11-2013 [3257 zile])
• [www.famous-scientists.ru/6476 Alexey Petrovich Zamyatin] în enciclopedia „Oamenii de știință ai Rusiei”
• Alexey Petrovici Zamyatin în „Enciclopedia liberă a Uralilor”

Site-uri tematice	Genealogie matematică zbMATH Deschide