Михаил Абрамович Тайцлин
Михаил Абрамович Тайцлин — советско-российский математик, специалист в области математической логики и теоретической информатики, д.ф.м.н., профессор, завкафедрой информатики факультета прикладной математики и кибернетики в ТГУ.
Ранний период[править]
О его происхождении сообщаются следующие сведения:
Родился в Киеве в семье врачей. Отец, военврач Абрам Симонович Тайцлин (1899—1941), погиб на фронте в сентябре 1941 года.
Также стоит отметить, что фамилия идишская томонимическая[1]
В 1953 г. поступил в ВГУ, а спустя пару лет перевелся в ВПИ, закончив который трудился учителем математики в школах Ворошиловградской области и Киева.
Карьера[править]
Заметив неточность в одной из работ А.И. Мальцева, вступил с ним в переписку, в результате которой был приглашен ассистентом на кафедру алгебры ИПИ, а после переезда Мальцева в 1960 г. в Новосибирск — поступил к нему в аспирантуру НИМ. По окончании аспирантуры в
В 1963 г. стал к.ф.м.н., а в 1968 — д.ф.м.н.
Трудился в НИМ, в НГУ и Казахском университете им. Кирова.
С 1984 года и до конца жизни трудился в КГУ на факультете прикладной математики и кибернетики, читал курсы по общей алгебре, базам данных, программированию, математической логике и теории алгоритмов.
Написал свыше 110 трудов.
Работы приемущественно по алгебре, математической логике, теоретическому программированию.
В числе алгебраических результатов — создание структурной теории конечно порождённых коммутативных полугрупп, решение серии алгоритмических проблем и проблемы изоморфизма для коммутативных полугрупп. Внес вклад в исследование категоричных квазимногообразий.
Труды[править]
- Ершов Ю. Л., Лавров И. А., Тайманов А. Д., Тайцлин М. А. , «Элементарные теории», УМН, 20:4(124) (1965), 37-108.
- М. А. Тайцлин, «О проблеме изоморфизма для коммутативных полугрупп», Матем. сб., 93(135):1 (1974), 103—128.
- В. Я. Беляев, М. А. Тайцлин, «Об элементарных свойствах экзистенциально замкнутых систем», УМН, 34:2(206) (1979), 39-94.
- Столбоушкин А. П., Тайцлин М. А. Математические основания информатики. Ч. 1-3
- Архангельский Д. А., Тайцлин М. А. Модальная линейная логика Модели, алгоритмы, программы: Сб. науч. тр., Тверь, 1993
- Мусикаев И. Х., Тайцлин М. А. Pspace — глобальные предикаты и язык Пролог Модели, алгоритмы, программы: Сб. науч. тр., Тверь, 1993
- Дроздов Н. Д., Катулев А. Н., Колдунов В. А., Тайцлин М. А. Организация процесса обучения на факультете ПМиК ТвГУ при переходе на многоуровневую систему образования Опыт обучения как предпосылка перехода к многоуровневой системе образования,Тверь, 1993
- O. V. Belegradek, A. P. Stolboushkin, and M. A. Taitslin. Extended order-generic queries. Annals of Pure and Applied Logic, 97(1-3):85-125, 1999
- A.P. Stolboushkin and M.A. Taitslin. Normalizable linear orders and generic computations in finite models. Archive for Mathematical Logic, 38(4):257-271, 1999
- A. P. Stolboushkin and M. A. Taitslin. Finite Queries do not Have Effective Syntax. Information and Computation ,153(1):99-116, 1999
- O. V. Belegradek, A. P. Stolboushkin, and M. A. Taitslin. On problems of databases over a fixed infinite universe. Logic, Algebra, and Computer Science. Helena Rasiowa in Memoriam , Banach Center Publications, vol.46, pages 23-62. Banach Center, Institute of Mathematics, Polish Academy of Science, 1999
- M. A. Taitslin. A general condition for collapse results. Annals of Pure and Applied Logic , To be published in N.A.Shanin’s volume of APAL, 110(1-3), 2001.