Михаил Абрамович Тайцлин

Материал из Циклопедии
Перейти к: навигация, поиск

Михаил Абрамович Тайцлин

Taitslin.jpg
Дата рождения 30 января 1936 года
Место рождения Киев, СССР
Дата смерти 20 июля 2013 года
Место смерти Тверь, РФ




Научная сфера математика








Михаил Абрамович Тайцлин — советско-российский математик, специалист в области математической логики и теоретической информатики, д.ф.м.н., профессор, завкафедрой информатики факультета прикладной математики и кибернетики в ТГУ.

Содержание

[править] Ранний период

О его происхождении сообщаются следующие сведения:

Родился в Киеве в семье врачей. Отец, военврач Абрам Симонович Тайцлин (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.

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

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты