Zamiatin, Alexey Petrovich

En 1969 se graduó de la Facultad de Mecánica y Matemáticas de la Universidad Estatal de los Urales con una licenciatura en Matemáticas. En 1970 comenzó a trabajar y enseñar en el Departamento de Álgebra y Matemáticas Discretas de la Universidad Estatal de los Urales . En 1988-2004 fue director del Centro de Computación de la Universidad Estatal de los Urales, en 1989-2009 fue director del departamento de programación de sistemas del Instituto de Investigación de Física y Matemáticas Aplicadas de la Universidad Estatal de los Urales.

Candidato a Ciencias Físicas y Matemáticas (1979), Profesor Asociado (1988).

Murió el 23 de marzo de 2009 en Ekaterimburgo . Fue enterrado en el cementerio de Siberia en Ekaterimburgo.

Actividad científica

Pertenece a la escuela científica de LN Shevrin .

Realizó una serie de estudios sobre la decidibilidad de teorías elementales de variedades de anillos y grupos, en particular, resolvió el conocido problema de Tarski - Ershov sobre la decidibilidad de teorías elementales de variedades de grupos.

Ha publicado más de 40 artículos científicos en el campo del álgebra y la lógica matemática.

Actividad docente

Leyó una serie de cursos básicos de matemáticas en las facultades de matemática mecánica, filosofía y economía de la Universidad Estatal de los Urales . Desarrollé e impartí el curso "Matemática Discreta y Lógica Matemática" para estudiantes de la especialidad "Sistemas de Información" y una serie de cursos especiales, entre ellos "Redes de Petri y Modelado de Sistemas" y "Fundamentos Lingüísticos de la Informática".

También enseñó en el Departamento de Geometría Aplicada y Automatización del Diseño de la Universidad Técnica Estatal de los Urales - UPI [1] y en la Academia Estatal de Arquitectura y Arte de los Urales (UralSAHA) [2] .

En 2009 recibió un diploma y agradecimiento de los estudiantes de la Academia de Artes del Estado de los Urales por "sabiduría y humanidad" [2] .

Premios y premios

Premio de la Universidad de los Urales por altos logros en actividades educativas y metodológicas ( 2006 ) [3]
Coraza "Trabajador honorario de la educación profesional superior de la Federación Rusa" ( 2007 ) [3]

Bibliografía

Libros de texto y guías de estudio.

Vazhenin Yu. M. , Zamyatin A. P. Introducción a la lógica matemática: libro de texto. - Sverdlovsk: Ural State University Press, 1984. - 93 p.
Variedades Zamyatin AP con restricciones en la red de congruencias: Libro de texto. - Sverdlovsk: Ural State University Press, 1987. - 91 p.
Zamyatin A. P. , Livchak A. B. Elementos de la teoría matemática de los sistemas de información: expresibilidad y computabilidad: Libro de texto. - Ekaterimburgo: Universidad Estatal de los Urales, 1996. - 104 p. — ISBN 5-230-06769-1
Bulatov A. A. , Vernikov B. M. , Zamyatin A. P. Álgebra y geometría: libro de texto. - Ekaterimburgo: Editorial de la Universidad Estatal de los Urales, 2001. - 452 p. — ISBN 5-7996-0046-0
Zamyatin A.P. Conjuntos, relaciones, estructuras algebraicas: Libro de texto. - Ekaterimburgo: Ural University Press, 2003. - 108 p. — ISBN 5-7996-0179-3
Zamyatin A.P. Gráficos y redes: Libro de texto. - Ekaterimburgo: Ural University Press, 2004. - 160 p. — ISBN 5-7996-0308-7
Zamyatin A.P. Lógica matemática: libro de texto. - Ekaterimburgo: USU Publishing House, 2004. - 140 p. — ISBN 5-7996-0191-2
Zamyatin A.P. Conjuntos, lógica, algoritmos. - Ekaterimburgo: Editorial del Instituto Ural de Economía, Gestión y Derecho, 2005. - 157 p.
Zamyatin A.P. Complejo educativo y metodológico de la disciplina "Fundamentos lingüísticos de la informática". —Feder. agencia educativa, Ural. estado un-t im. A. M. Gorky, IONTS "Seguridad de la información" [y otros]. — Electrón. Dan. (1,92 MB). - Ekaterimburgo, 2007. - 607.
Zamyatin A.P. Complejo educativo y metodológico de la disciplina "Lógica matemática y teoría de algoritmos" - Feder. agencia educativa, Ural. estado un-t im. A. M. Gorky, IONTS "Seguridad de la información" [y otros]. — Electrón. Dan. (4,15 MB). - Ekaterimburgo, 2008.
Vernikov B.M. , Zamyatin A.P. Capítulos iniciales de geometría analítica y álgebra lineal: Libro de texto. - Ekaterimburgo: Editorial de la Universidad Estatal de los Urales, 2009. - 280 p. — ISBN 978-5-7996-0452-3

Artículos

Variedades de anillos asociativos cuya teoría elemental es decidible // DAN SSSR. - 1976. - T. 229. - N° 2.
Una variedad no abeliana de grupos tiene una teoría elemental indecidible // Álgebra y Lógica. - 1978. - T. 17. - Nº 1.

Notas

↑ Departamento de Geometría Aplicada y Automatización del Diseño USTU-UPI . Consultado el 20 de septiembre de 2010. Archivado desde el original el 4 de marzo de 2016. (indefinido)
↑ 1 2 Sitio web de UralGAHA (enlace inaccesible) (enlace inaccesible desde el 13-05-2013 [3451 días])
↑ 1 2 Alexey Petrovich Zamyatin en el sitio web de la Universidad Estatal de los Urales (enlace inaccesible)

Literatura

Zamyatin Alexey Petrovich // Universidad Estatal de Ural en biografías / Ed. M. E. Glavatsky y E. A. Pamyatnykh. - 2ª ed., revisada. - Ekaterimburgo: Ural University Press, 2000. - S. 23-24. — ISBN 5-7996-0078-9
Zamyatin A.P. // Lógica: Libro de referencia biobibliográfico (Rusia—URSS—Rusia) / Ed.-comp. O. A. Antonova, A. S. Miloslavov, T. E. Sokhor. - San Petersburgo: Ciencia , 2001. - S. 168. - ISBN 5-02-028488-2

Enlaces

Aleksey Petrovich Zamyatin en el sitio web de la Universidad Estatal de los Urales (enlace no disponible) (enlace no disponible desde el 23-11-2013 [3257 días])
[www.famous-scientists.ru/6476 Alexey Petrovich Zamyatin] en la enciclopedia "Científicos de Rusia"
Alexey Petrovich Zamyatin en la "Enciclopedia libre de los Urales"

sitios temáticos	genealogía matemática zbMATH Abierto