Тайцлин, Михаил Абрамович
Михаил Абрамович Тайцлин (30 января 1936, Киев — 20 июля 2013, Тверь) — советский и российский математик, специалист в области математической логики и теоретической информатики. Доктор физико-математических наук, профессор, заведовал кафедрой информатики факультета прикладной математики и кибернетики в Тверском университете.
Михаил Абрамович Тайцлин | |
---|---|
| |
Дата рождения | 30 января 1936 |
Место рождения | Киев, Украинская ССР, СССР |
Дата смерти | 20 июля 2013 (77 лет) |
Место смерти | Тверь, Россия |
Страна | СССР → Россия |
Научная сфера | математика |
Место работы | ТвГУ |
Альма-матер | Новосибирский институт математики |
Учёная степень | доктор физико-математических наук (1963) |
Учёное звание | профессор |
Научный руководитель | Анатолий Мальцев |
Сайт | homepages.tversu.ru/~p000101/ |
Биография
Родился в Киеве в семье врачей. Отец, военврач Абрам Симонович Тайцлин (1899—1941), погиб на фронте в сентябре 1941 года[1].
В 1953 году поступил в Воронежский государственный университет, через два года перевёлся в Ворошиловградский пединститут, по окончании которого работал учителем математики в школах Ворошиловградской области и Киева. Обнаружив неточность в одной из работ Анатолия Мальцева, вступил с ним в переписку, в результате которой был приглашён ассистентом на кафедру алгебры Ивановского пединститута, а после переезда Мальцева в 1960 году в Новосибирск — поступил к нему в аспирантуру Института математики СО АН СССР. По окончании аспирантуры в 1963 году защитил под руководством Мальцева кандидатскую диссертацию, а спустя 5 лет, в 1968 году — докторскую.
Работал в Институте математики СО АН СССР, в Новосибирском государственном университете и Казахском университете имени Кирова. С 1984 года и до конца своих дней работал в Калининском государственном университете на факультете прикладной математики и кибернетики, читал курсы по общей алгебре, базам данных, программированию, математической логике и теории алгоритмов, под его руководством защищено 10 кандидатских диссертаций, трое из аспирантов впоследствии стали докторами физико-математических наук.
Научная деятельность
Основные работы — по алгебре, математической логике, теоретическому программированию, в общей сложности опубликовано более 100 научных работ.
Среди алгебраических результатов — создание структурной теории конечно порождённых коммутативных полугрупп, решение серии алгоритмических проблем и проблемы изоморфизма для коммутативных полугрупп. Также внёс вклад в исследование категоричных квазимногообразий.
Основные публикации
- Ершов Ю. Л., Лавров И. А., Тайманов А. Д., Тайцлин М. А. , «Элементарные теории», УМН, 20:4(124) (1965), 37-108[2]
- М. А. Тайцлин, «О проблеме изоморфизма для коммутативных полугрупп», Матем. сб., 93(135):1 (1974), 103—128[3]
- В. Я. Беляев, М. А. Тайцлин, «Об элементарных свойствах экзистенциально замкнутых систем», УМН, 34:2(206) (1979), 39-94[4]
- Столбоушкин А. П., Тайцлин М. А. Математические основания информатики. Ч. 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.
Примечания
- Абрам Симонович Тайцлин (недоступная ссылка). Дата обращения: 19 января 2019. Архивировано 20 января 2019 года.
- Ю. Л. Ершов, И. А. Лавров, А. Д. Тайманов, М. А. Тайцлин, «Элементарные теории», УМН, 20:4(124) (1965), 37-108
- М. А. Тайцлин, «О проблеме изоморфизма для коммутативных полугрупп», Матем. сб., 93(135):1 (1974), 103—128
- В. Я. Беляев, М. А. Тайцлин, «Об элементарных свойствах экзистенциально замкнутых систем», УМН, 34:2(206) (1979), 39-94
Ссылки
- Страница сотрудника ТвГУ М. А. Тайцлина на сайте Тверского государственного университета
- Личная страница в сети Интернет
- Персональная страница на сайте Фотоархив СО РАН
- Некролог
- Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семёнов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт. Михаил Абрамович Тайцлин (1936–2013) // Сибирские электронные математические известия. — 2013. — Т. 10. — С. 54—65. — ISSN 1813-3304.