Тверской государственный университет


Карта сайтаВерсия для слабовидящих

Контактная информация

170100, Россия,
Тверь, ул. Желябова, 33

Подробнее...

Главная страница  

Профессор кафедры информатики

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

доктор физико-математических наук, профессор

Образование:
Луганский пединститут

E-mail:
 

WWW:
адрес ресурса

Профессор Тайцлин после окончания аспирантуры в Новосибирском институте математики защитил кандидатскую диссертацию в 1963 году и докторскую в 1968 году, работал в Новосибирском институте математики и в Новосибирском и Казахском университетах, работает в Тверском университете с 1984 года.

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

Научные исследования профессора Тайцлина относятся к алгебре, математической логике и теоретическому программированию.

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

Совместно с Ю.Л. Ершовым разработал общий метод доказательства неразрешимости элементарных теорий. Он доказал неразрешимость ряда элементарных теорий.

Совместно с В.Я. Беляевым он разработал теорию экзистенциально замкнутых структур. М.А. Тайцлин описал экзистенциально замкнутые коммутативные полугруппы и установил число типов элементарной эквивалентности экзистенциально замкнутых коммутативных ассоциативных колец. Он внёс вклад в исследование категоричных квазимногообразий.

Совместно с А.П. Столбоушкиным он решил проблему влияния недетерминизма на выразительную силу программных логик и совместно с И.Х. Мусикаевым решил проблему влияния конечной памяти на выразительную силу программных логик.

Совместно с А.П. Столбоушкиным М.А. Тайцлин доказал отсутствие синтаксиса для безопасных формул в теории баз данных и отсутствие синтаксиса для безопасных программ стратифицированного Дэйталога.

Совместно с О.В. Белеградеком и А.П. Столбоушкиным он открыл ряд условий, обеспечивающих трансляционные результаты в теории баз данных, и описал ряд универсумов, для которых верны трансляционные результаты. М.А. Тайцлин предложил наиболее продвинутый критерий для того, чтобы локально генерический запрос был эквивалентен чисто порядковому  упорядоченном универсуме.

Ему принадлежат и другие научные результаты.

Профессор Тайцлин опубликовал более 100 научных работ. Он был организатором нескольких международных научных конференций по теоретической информатике, выступал с научными докладами на многих международных научных конференциях, приглашался для чтения докладов в университеты Австралии, Великобритании, Израиля, Польши, США. Он был редактором ряда сборников научных трудов.

Также профессор Тайцлин получал российские и международные гранты.

Сфера научных интересов

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

  1. Столбоушкин А.П., Тайцлин М.А. Математические основания информатики. Ч. 1
  2. Столбоушкин А.П., Тайцлин М.А. Математические основания информатики. Ч. 2
  3. Столбоушкин А.А., Тайцлин М.А. Математические основания информатики. Ч. 2
  4. Столбоушкин А.П., Тайцлин М.А. Математические основания информатики. [Ч. 3]
  5. Архангельский Д.А., Тайцлин М.А. Модальная линейная логика Модели, алгоритмы, программы: Сб. науч. тр,Тверь, 1993
  6. Мусикаев И.Х., Тайцлин М.А. Pspace - глобальные предикаты и язык Пролог Модели, алгоритмы, программы: Сб. науч. тр,Тверь, 1993
  7. Дроздов Н.Д., Катулев А.Н., Колдунов В.А., Тайцлин М.А. Организация процесса обучения на факультете ПМиК ТвГУ при переходе на многоуровневую систему образования Опыт обучения как предпосылка перехода к многоуровневой системе образования,Тверь, 1993
  8. 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
  9. 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
  10. A.P. Stolboushkin and M.A. Taitslin. Finite Queries do not Have Effective Syntax. Information and Computation ,153(1):99-116, 1999
  11. 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
  12. 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.

Яндекс.Метрика  

Р Р?йтинг@Mail.ru