Доктор физико-математических наук
Михаил Абрамович Тайцлин,
профессор
кафедры информатики
Тверского университета
Домашний адрес
ул. Дмитрия Донского, дом 40, кв. 2, Тверь, 170006, Россия
Электронный адрес
p000101@tversu.ru
Телефон
(+7 4822) 773620
Семинар "ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ"
Биография (PostScript формат, по-английски)
Биография (по-русски)
Публикации (PostScript формат, по-английски)
Публикации (PostScript формат, по-русски)
Публикации (по-английски)
НАУЧНЫЕ РАБОТЫ (PDF формат, по-русски)
М.А.Тайцлин.
Сравнение выразительной силы некоторых языков запросов для баз данных.
ТРУДЫ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА
, том 274, 2011, стр. 297–313
С.М.Дудаков и М.А.Тайцлин.
Трансляционные результаты для языков запросов в теории баз данных.
Успехи математических наук
, 61(2):3 - 66, 2006
НАУЧНЫЕ РАБОТЫ (PostScript формат, по-русски)
М.А.Тайцлин.
Пример полиномиального запроса, не распознаваемого в недетерминированной
логарифмической памяти.
Весник Тверского государственного университета
серия "Прикладная математика", выпуск 2,
Тверской государственный университет, Тверь, 2005, стр.5-22
М.А.Тайцлин.
Ограниченные псевдоконечная однородность и изолированность.
Весник Тверского государственного университета
серия "Прикладная математика", выпуск 1,
Тверской государственный университет, Тверь, 2003, стр.5-15
М.А.Тайцлин.
Трансляционные результаты в теории баз данных.
Сложные системы: обработка информации, моделирование и оптимизация
Тверской государственный университет, Тверь, 2002, стр. 5-23
НАУЧНЫЕ РАБОТЫ (PDF формат, по-английски)
M.A. Taitslin.
Isomorphisms and strong finite projective classes of commutative semigroups.
Tributes, Volume 13, Proofs, Categories and Computations,
Essays in Honor of Grigori Mints,
Soloman Feferman and Wilfried Sieg, editors,
College Publications
, 2010, стр. 243-250
НАУЧНЫЕ РАБОТЫ (PostScript формат, по-английски)
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
M.A. Taitslin.
A general condition for collapse results.
Annals of Pure and Applied Logic
, 113(1-3):323--330, 2001
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
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
A.P. Stolboushkin and M.A. Taitslin.
Safe stratified datalog with integer order does not have syntax.
ACM Transactions on Database Systems
, 23(1):100-109, 1998
НАУЧНЫЕ ДОКЛАДЫ (PostScript формат, по-английски)
Novikov conference. Collapse results in database theory
Finite Model Theory Workshop. Bedlewo, Poland
Collapse results in database theory
NLogSpace < PTIME
НАУЧНЫЕ ДОКЛАДЫ (HTML формат, по-английски)
Finite Model Theory Workshop. Bedlewo, Poland
Collapse results in database theory
М.А.Тайцлин. МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ
Программа курса
PostScript формат
,
PDF формат
Булевы функции
Лекция 1. ПОСТРОЕНИЕ СОКРАЩЁННОЙ ДНФ
PostScript формат
,
PDF формат
Лекция 2. ЗАМКНУТЫЕ КЛАССЫ
PostScript формат
,
PDF формат
Лекция 3. ТЕОРЕМА ПОСТА
PostScript формат
,
PDF формат
Графы
PostScript формат
,
PDF формат
Конечные автоматы. PostScript формат
Лекция 1. ОТОБРАЖЕНИЯ БЕЗ ПРЕДВОСХИЩЕНИЯ
Лекция 2. КОНЕЧНЫЕ АВТОМАТЫ
Лекция 3. АВТОМАТНЫЕ ЯЗЫКИ
Лекция 4. ПРИМЕРЫ
Лекция 5. КОНГРУЭНЦИИ КОНЕЧНОГО ИНДЕКСА
Лекция 6. КОНТЕКСТНО СВОБОДНЫЕ ГРАММАТИКИ
ТЕОРИЯ АВТОМАТОВ
Экзаменационные вопросы
Темы курсовых работ по теории языков
АЛГЕБРА
Экзаменационные вопросы. Документ в формате doc
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
Программа. Документ в формате pdf
Программа. Документ в формате doc
Экзаменационные вопросы. Документ в формате doc
А.П.Столбоушкин, М.А.Тайцлин. Неразрешимость теории конечных моделей. По-английски в формате pdf
А.П.Столбоушкин, М.А.Тайцлин. Неразрешимость теории конечных моделей. По-русски в формате pdf
М.А.Тайцлин. Игры Эренфойхта и неполнота логики предикатов первого порядка для PTIME. По-русски в формате pdf
М.А.Тайцлин. Резолюция. По-русски в формате pdf
А.П.Столбоушкин и М.А.Тайцлин, Учебное пособие (PostScript формат)
МАТЕМАТИЧЕСКИЕ ОСНОВАНИЯ ИНФОРМАТИКИ
Глава 1. Конечные автоматы и регулярные языки
Глава 2. Автоматы с магазинной памятью и контекстно свободные языки
Глава 3. Исчисление предикатов
Глава 4. Программы, рекурсивные функции и машины Тьюринга
Глава 5. Неразрешимые проблемы и неполнота арифметики
Глава 6. Вычислительная сложность алгоритмов.
Глава 7. Полиномиально вычислимые глобальные предикаты
М.А.Тайцлин. Теорема Кука
МАТЕМАТИЧЕСКИЕ ОСНОВАНИЯ ИНФОРМАТИКИ
Программа. Документ в формате html
Программа экзамена, учебное пособие и упражнения
Экзаменнационные вопросы. Первая часть
Экзаменнационные вопросы. Вторая часть
А.П.Столбоушкин и М.А.Тайцлин, Учебное пособие (PostScript формат)
МАТЕМАТИЧЕСКИЕ ОСНОВАНИЯ ИНФОРМАТИКИ
Глава 1. Конечные автоматы и регулярные языки
Глава 2. Автоматы с магазинной памятью и контекстно свободные языки
Глава 3. Исчисление предикатов
Глава 4. Программы, рекурсивные функции и машины Тьюринга
Глава 5. Неразрешимые проблемы и неполнота арифметики
Глава 6. Вычислительная сложность алгоритмов.
Глава 7. Полиномиально вычислимые глобальные предикаты
М.А.Тайцлин. Теорема Кука
ТЕОРИЯ БАЗ ДАННЫХ
Программа. Документ в формате Word
Программа экзамена. Первая часть
Программа экзамена. Вторая часть
Программа государственного экзамена
М.А.Тайцлин. ТЕОРИЯ БАЗ ДАННЫХ (PostScript формат)
БАЗЫ ДАННЫХ
Программа. Документ в формате Word
Выполнение индивидуального задания
SQL.1
SQL.2
SQL.3
DataLog
М.А.Тайцлин. САМОУЧИТЕЛЬ ПО HTML
Послать М.А.Тайцлину электронное сообщение
Домашние страницы Тверского университета
Исправлено: 9 мая 2009 года
