Михаил Тайцлин

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

Биография

Окончил Луганский педагогический институт, после которого поступил в аспирантуру Новосибирского института математики. По окончании аспирантуры в 1963 году защитил кандидатскую диссертацию, а спустя 5 лет, в 1968 году — докторскую. Работал в Новосибирском институте математики, в Новосибирском государственном университете иКазахском университете имени Кирова. С 1984 года и до конца своих дней работал в Калининском государственном университете на факультете прикладной математики и кибернетики, читал курсы по общей алгебре, базам данных, программированию,математической логике и теории алгоритмов, под его руководством защищено 10 кандидатских диссертаций, трое из аспирантов впоследствии стали докторами физико-математических наук.

Научная деятельность

Основные работы — по алгебре, математической логике, теоретическому программированию, в общей сложности опубликовано более 100 научных работ.

Среди алгебраических результатов — создание структурной теории конечно порождённых коммутативных полугрупп, решение серии алгоритмических проблем и проблемы изоморфизма для коммутативных полугрупп. Также внёс вклад в исследование категоричных квазимногообразий.

Список основных публикаций

Столбоушкин А. П., Тайцлин М. А. Математические основания информатики. Ч. 1 Столбоушкин А. П., Тайцлин М. А. Математические основания информатики. Ч. 2 Столбоушкин А. А., Тайцлин М. А. Математические основания информатики. Ч. 2 Столбоушкин А. П., Тайцлин М. А. Математические основания информатики. [Ч. 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.