Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)

Иван Васильевич Латкин

Материал из Циклопедии
Перейти к навигации Перейти к поиску
← другие однофамильцы Латкин

Латкин Иван Васильевич

Ivan Vasilievich Latkin.jpg



Гражданство
Союз Советских Социалистических Республик СССРРеспублика Казахстан Казахстан



Научная сфера
математика, теория групп, теория алгоритмов
Место работы
Восточно-Казахстанский государственный технический университет имени Д. Серикбаева


Альма-матер
Новосибирский государственный университет
Научный руководитель
Сергей Савостьянович Гончаров
Известные ученики
Мархабатов Нурлан Дарханұлы[1]
Известен как
специалист в области теории вычислимости



Иван Васильевич Латкин — казахстанский математик, доктор философии (PhD), доцент, ведущий научный сотрудник Института математики и математического моделирования Министерства образования и науки Республики Казахстан, специалист в области теории вычислимости.

Биография[править]

В 1981 году окончил Новосибирский государственный университет по специальности «Математика, прикладная математика»[2]; в 19851988 г. обучался там же аспирантуре; в 2001 году защитил диссертацию на соискание ученой степени кандидата физико-математических наук; в 2014 защитил диссертацию доктора PhD. Тема исследования: «Проблема вхождения в естественные подгруппы конструктивных групп».

Научная деятельность[править]

В научных трудах И. В. Латкина[3]:

  • Доказана неразрешимость проблемы вхождения в конечно порожденные подгруппы для групп, конечно определенных в некоторых подмногообразиях многообразия . Тем самым впервые найдены многообразия групп, все конечно определённые группы которых имеют разрешимую проблему равенства, но эти многообразия имеет неразрешимую проблему вхождения в конечно порожденные подгруппы. До этого, как правило, удавалось доказать разрешимость проблем сопряжённости и вхождения в конечно порождённые подгруппы после того, как для исследуемого многообразия была установлена разрешимость проблемы равенства.
  • Введено понятие кольца с условием конструктивизируемости модулей из какого-либо класса, изучены простейшие свойства таких колец. Найден достаточный признак конструктивизируемости тензорного произведения модулей. Показано, что существуют такие модули, тензорное произведение которых над кольцом целых чисел не конструктивизируемо.
  • Даётся оценка вычислительной сложности для теории класса булевых алгебр. Вводится понятие вычислительной выразительности теории, близкое по смыслу к её вычислительной сложности, но в отличие от последнего подходящее и для неразрешимых теорий.

Библиография[править]

Список значимых трудов[править]

1. Latkin, I.V. (1987), "«Algorithmic complexity of the problem of occurrence in commutants and members of the lower central series»", Siberian Mathematical Journal Т. 28 (5): 102-110, DOI 10.1007/BF02367215 

2. Latkin, I.V. (1996), "«The arithmetical hierarchy of nilpotent torsion-free groups»", Algebra and Logic Т. 35 (3): 308-313, DOI 10.1007/BF02367215 

3. Latkin, I.V. (1998), "«The third commutant membership problem in solvable groups»", Siberian Mathematical Journal Т. 39 (3): 565-570, DOI 10.1007/BF02673904 

4. Latkin, I.V. (2001), "«The Occurrence Problem for Subvarieties of the Variety Revisited»", Algebra and Logic Т. 40 (5): 327–333, DOI 10.1023/A:1012505919082 

5. Latkin, I.V. (2002), "«On constructivizability of the tensor product of modules»", Siberian Mathematical Journal Т. 43 (2): 330–333, DOI 10.1023/A:1014701306542 

6. Latkin, I.V. (2012), "«Recognition complexity of theories and their computational expressivity»", Algebra and Logic Т. 51 (2): 144–159, DOI 10.1007/S10469-012-9178-5 

7. Khisamiev, N.G., Latkin, I.V. (2017), "«On constructive nilpotent groups, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),»", Computability and Complexity. Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday.: 324—354, DOI 10.1007/978-3-319-50062-1 

8. Латкин И. В., Мархабатов Н. Д., Сложность изоляторов нижнего центрального ряда в вычислимых нильпотентных группах // Институт математики и математического моделирования, Математический журнал, Алматы, 2018. — Т.18,№ 1 — С.111-125

Выступления на международных конференциях[править]

  • О конструктивизируемости фактора по коммутанту рекурсивно представленных групп. // 7-я Всесоюзн. конф. по матем. Логике. — Новосибирск, 1984. — С. 91.
  • Конструктивизируемые группы, нильпотентное произведение которых не конструктивизируемо. // 8-я Всесоюзн. конф. по матем. Логике. — М., 1986. — С. 101.
  • Иерархия нильпотентных групп без кручения. // 9-я Всесоюзн. конф. по матем. Логике. — Ленинград: Наука, 1988. — С. 91.
  • О табличной сложности проблемы вхождения в подгруппы нильпотентных групп// 10-я Всесоюзн. конф. по матем. Логике. — Алма- Ата, 1990. — С. 98.
  • О постановке алгоритмических проблем для многообразий групп // 11 Межреспубликанская конф. по мат. Логике. — Казань, 1992. — С. 87.
  • Способность теории моделировать вычисления и сложность ее распознавания // Мальцевские чтения = Mal’tsev meeting : тез. докл. междунар. конф., Новосибирск, 2-6 мая 2010 г. — Новосибирск : Изд-во Ин-та математики им. С. Л. Соболева СО РАН, 2010. — С. 51.
  • Сложность распознавания теории конечной системы // Мальцевские чтения = Mal’tsev meeting : тез. докл. междунар. конф., Новосибирск, 11-14 нояб. 2011 г. — Новосибирск : Изд-во Ин-та математики им. С. Л. Соболева СО РАН, 2011. — С. 104.
  • О вычислимости нильпотентного произведения групп // Мальцевские чтения = Mal’tsev meeting : тез. докл. междунар. конф., Новосибирск, 10-13 нояб. 2014 г. — Новосибирск : Изд-во Ин-та математики им. С. Л. Соболева СО РАН, 2014. — С. 44.
  • Сложность проблемы вхождения в члены верхнего центрального ряда вычислимых групп // Мальцевские чтения = Mal’tsev meeting : тез. докл. междунар. конф., Новосибирск, 3-5 мая 2015 г. — Новосибирск : Изд-во Ин-та математики им. С. Л. Соболева СО РАН, 2015. — С. 65.
  • Проблема вхождения в изоляторы членов нижнего центрального ряда // Мальцевские чтения = Mal’tsev meeting : тез. докл. междунар. конф., Новосибирск, 21-24 нояб. 2016 г. — Новосибирск : Изд-во Ин-та математики им. С. Л. Соболева СО РАН, 2016. — С. 54.
  • Достаточные условия для подпрямой разложимости нумераций // Мальцевские чтения = Mal’tsev meeting : тез. докл. междунар. конф., Новосибирск, 20-23 нояб. 2017 г. — Новосибирск : Изд-во Ин-та математики им. С. Л. Соболева СО РАН, 2017. — С. 46.
  • Язык проблемы допускания в отведенное время // Мальцевские чтения = Mal’tsev meeting : тез. докл. междунар. конф., Новосибирск, 19-23 авг. 2019 г. — Новосибирск : Изд-во Ин-та математики им. С. Л. Соболева СО РАН, 2019. — С. 88.

См. также[править]

Источники[править]

Ссылки[править]