| Дата | Докладчик | Тема доклада |
| 2000 год |
|---|
| 26.09.2000 | М.А.Тайцлин
| Трансляционные результаты в теории баз данных |
| 10.10.2000 | С.М.Дудаков
| Сложность обновлений моделей фиксированной логической программы |
| 24.10.2000 | М.И.Дехтярь | Вероятностные логические программы |
| 13.11.2000 | А.Я.Григорьев | Об обновлении представлений для баз данных |
| 27.11.2000 | М.А.Тайцлин | Некоторые результаты в теории баз данных |
| 04.12.2000 | А.Я.Григорьев | Использование активных правил в современных базах данных |
| 2001 год |
|---|
| 03.03.2001 | М.А.Тайцлин |
О некоторых расширениях арифметики сложения натуральных чисел (по статье А.Л.Семёнова)
|
| 10.03.2001 | С.М.Дудаков
| О некоторых расширениях арифметики сложения натуральных чисел (продолжение) |
| 17.03.2001 | М.И.Дехтярь | Сложность поведения взаимодействующих агентов |
| 24.03.2001 | М.И.Дехтярь | Сложность поведения взаимодействующих агентов (продолжение) |
| 07.04.2001 | М.А.Тайцлин | О возможности получения трансляционных результатов в теории (N, +, 2x, log2x) |
| 21.04.2001 | С.М.Дудаков |
Трансляционные результаты в теории (N, +, 2x, log2x) |
| 12.05.2001 | С.М.Дудаков |
Трансляционные результаты в теории (N, +, f) для одноместных функций f, согласованных со сложением |
| 2002 год |
|---|
| 08.02.2002 | С.М.Дудаков |
Пример расширения арифметики Пресбургера, которое содержит независимую формулу, допускает элиминацию кванторов, является разрешимым и в котором имеется трансляционный результат |
| 15.02.2002 | М.А.Тайцлин | Обогащения арифметики Пресбургера слабо монотонными функциями с элиминацией кванторов и трансляционной теоремой |
| 22.02.2002 | М.А.Тайцлин | Обогащения арифметики Пресбургера слабо монотонными функциями с элиминацией кванторов и трансляционной теоремой (продолжение) |
| 01.03.2002 | С.М.Дудаков |
Пример расширения арифметики Пресбургера одноместным предикатом, которое содержит независимую формулу, допускает элиминацию кванторов и является разрешимым |
| 15.03.2002 | С.М.Дудаков |
Пример расширения арифметики Пресбургера одноместным предикатом, которое содержит независимую формулу, допускает элиминацию кванторов и является разрешимым (продолжение) |
| 29.03.2002 | И.В.Попов | О расширении арифметики Пресбургера функцией f(x)=2(log2log2 x)2 |
| 5.04.2002 | С.М.Дудаков |
О предикатных обогащениях начального сегмента нестандартных моделей арифметики. |
| 12.04.2002 | О.В.Васылькива | Об одном алгоритме доказательства секвенций исчисления высказываний |
| 19.04.2002 | М.А.Тайцлин | О трансляционных результатах в теориях без независимой формулы (по статье Дж.Болдвина и М.Бенедикта) |
| 26.04.2002 | М.А.Тайцлин | О трансляционных результатах в теориях без независимой формулы (продолжение) |
| 10.05.2002 | И.С.Шаталов | О трансляционных результатах в теориях без независимой формулы (продолжение) |
| 17.05.2002 | С.М.Дудаков |
О трансляционных результатах в теориях без независимой формулы (продолжение) |
| 24.05.2002 | С.М.Дудаков |
О трансляционных результатах в теориях без независимой формулы (продолжение) |
| 31.05.2002 | С.М.Дудаков |
Об определимости P в P-сводимых теориях |
| 2002-2003 год |
|---|
| 26.09.2002 | С.М.Дудаков |
О трансляционных результатах в I-сводимых теориях |
| 03.10.2002 | С.М.Дудаков |
О трансляционных результатах в I-сводимых теориях (продолжение) |
| 10.10.2002 | С.М.Дудаков |
Разрешимые теории без трансляционной теоремы |
| 17.10.2002 |
М.И.Дехтярь | Полиномиальный алгоритм распознавания простых чисел |
| 14.11.2002 | А.В.Петров | Введение в эволюционные вычисления |
| 21.11.2002 | А.В.Петров | Генетические алгоритмы |
| 28.11.2002 | М.А.Тайцлин | Пример обогащения арифметики Пресбургера одной одноместной операцией, которое имеет разрешимую элементарную теорию и которое имеет независимую формулу. |
| 05.12.2002 | М.А.Тайцлин | Автоматные структуры (по статье Блюменсата и Гределя). |
| 28.04.2003 | М.А.Тайцлин | Европейский конгресс по программированию в Варшаве и шестая школа-семинар "Теория конечных моделей" в Бедлево |
| 12.05.2003 | С.М.Дудаков |
О возможности эффективной трансляции локально генерических запросов |
| 2003-2004 год |
|---|
| 05.11.2003 | И.В.Попов |
"An Ehrenfeucht Fraisse Game Approach to
Collapse Results in Database Theory."
Nicole Schweikardt |
| 13.11.2003 | И.В.Попов |
"An Ehrenfeucht Fraisse Game Approach to
Collapse Results in Database Theory."
Nicole Schweikardt |
| 20.11.2003 | И.В.Попов |
"An Ehrenfeucht Fraisse Game Approach to
Collapse Results in Database Theory."
Nicole Schweikardt |
| 27.11.2003 | И.В.Попов |
"An Ehrenfeucht Fraisse Game Approach to
Collapse Results in Database Theory."
Nicole Schweikardt |
| 04.12.2003 | И.В.Попов |
"An Ehrenfeucht Fraisse Game Approach to
Collapse Results in Database Theory."
Nicole Schweikardt |
| 11.12.2003 | И.В.Попов |
"An Ehrenfeucht Fraisse Game Approach to
Collapse Results in Database Theory."
Nicole Schweikardt |
| 25.12.2003 | И.В.Попов |
"An Ehrenfeucht Fraisse Game Approach to
Collapse Results in Database Theory."
Nicole Schweikardt |
| 26.03.2004 |
М.А.Тайцлин
|
Слабые монадические теории второго порядка
|
| 09.04.2004 |
М.А.Тайцлин
|
Oleg Belegradek. "Collapse under total independence"
|
| 16.04.2004 |
М.А.Тайцлин
|
Oleg Belegradek. "Collapse under total independence"
|
| 23.04.2004 |
М.А.Тайцлин
|
Oleg Belegradek. "Collapse under total independence"
|
| 14.05.2004 |
И.А.Горбунов |
О разрешимой логике, не разрешимой в конечном
|
| 11.06.2004 |
С.М.Дудаков |
О неразрешимости проблемы определения локальной генеричности формулы логики предикатов
|
| 2004-2005 год |
|---|
| 18.11.2004 |
М.А.Тайцлин
|
NLogSpace строго меньше PTIME
|
| 25.11.2004 |
М.А.Тайцлин
|
NLogSpace < PTIME
|
| 02.12.2004 |
М.А.Тайцлин
|
NLogSpace < PTIME
|
| 16.12.2004 |
С.М.Дудаков |
Теорема Иммермана: Co-NLogSpace = NLogSpace
|
| 18.03.2005 |
С.М.Дудаков |
Трансляционные результаты для случайного графа.
Ответ на вопрос О.В.Белеградека
|
| 25.03.2005 |
М.И.Дехтярь |
О категорийных грамматиках зависимостей
|
| 01.04.2005 |
М.И.Дехтярь |
О категорийных грамматиках зависимостей
|
| 29.04.2005 |
О.В.Васылкыв |
КАШ автоматы
|
| 29.04.2005 |
И.В.Попов |
Автоматные структуры
|
| 06.05.2005 |
М.А.Тайцлин
|
NLogSpace < PTIME
|
| 2005-2006 год |
|---|
| 16.09.2005 | С.М.Дудаков |
Разрешимые обогащения арифметики Пресбургера без трансляционной теоремы |
| 30.09.2005 | С.М.Дудаков |
Разрешимые обогащения арифметики Пресбургера без трансляционной теоремы |
| 14.10.2005 | С.М.Дудаков |
Разрешимые обогащения арифметики Пресбургера без трансляционной теоремы |
| 28.10.2005 | С.М.Дудаков |
Разрешимые обогащения арифметики Пресбургера без трансляционной теоремы |
| 11.11.2005 |
И.В.Попов |
S.A.Cook. Storage requirements for Deterministic Polynomial Time recognizable
languages
|
| 18.11.2005 |
И.В.Попов |
S.A.Cook. Storage requirements for Deterministic Polynomial Time recognizable
languages
|
| 02.12.2005 |
И.В.Попов |
S.A.Cook. Storage requirements for Deterministic Polynomial Time recognizable
languages
|
| 11.03.2006 |
О.В.Васылкив |
Структура (Q,<) является автоматной
|
| 18.03.2006 |
Т.Л.Яворская |
Основной тезис теории абстрактных вычислительных маших |
| 18.03.2006 |
Н.А.Мамардашвили |
Использование машин с указателями для описания семантики программ |
| 18.03.2006 |
А.Г.Новиков |
Разрешимость некоторых свойсв абстрактных машин с указателями |
| 18.03.2006 |
Р.Э.Яворский |
О некоторых задачах, связанных с мониторингом вычислительных процессов |
| 18.03.2006 |
С.М.Дудаков |
Трансляционные результаты в теории баз данных |
| 25.03.2006 |
И.В.Попов |
Использование работы Рабина для доказательства разрешимости некоторых теорий |
| 01.04.2006 |
И.В.Попов |
Использование работы Рабина для доказательства разрешимости некоторых теорий |
| 08.04.2006 |
С.М.Дудаков |
Ограниченная псевдоконечная однородность и сводимость
|
| 22.04.2006 |
Н.В.Брадис |
Программная система для автоматического распознавания фраз на русском языке
|
| 22.04.2006 |
Д.А.Лызо |
Программная система для автоматического распознавания фраз на русском языке,
встроенная в систему дистанционного обучения
|
| 22.04.2006 |
А.В.Ворожеин |
Организация защиты от несанкционированного доступа в систему дистанционного обучения
|
| 22.04.2006 |
И.А.Зайцев |
Анализ категорийных грамматик зависимостей
|
| 22.04.2006 |
Е.П.Захарова |
Эко-грамматические системы
|
| 22.04.2006 |
М.Ю.Бурмистров |
О моделировании многоагентных систем
|
| 22.04.2006 |
А.С.Снятков |
Элиминация кванторов в обобщениях арифметики Семёнова
|
| 2006-2008 год |
|---|
| 16.04.2007 |
И.В.Попов |
S.Cook, M.Braverman, P.McKenzie. Pebble lower bounds for path machines.
|
| 23.04.2007 |
И.Б.Александров, А.С.Борисов |
Автоматизированная система расчётов TBilling
|
| 23.04.2007 |
А.С.Снятков |
Элиминация кванторов в некоторых обогащениях арифметики Семёнова
|
| 23.04.2007 |
А.Н.Козлова |
Аппроксимация функции двух переменных суммой двух плоских волн
|
| 23.04.2007 |
И.С.Мурзов |
Морфинг графиков функций одной переменной
|
| 23.04.2007 |
П.А.Хамзин |
Моделирование трехмерной сцены с использованием деревьев
|
| 23.04.2007 |
С.А.Смирнов |
Инструментарий дизайнера для фирмы Lagotek
|
| 23.04.2007 |
М.А.Кожухов |
Web-система учёта времени
|
| 23.04.2007 |
А.Ю.Васильев, А.С.Балашов |
Web-система учёта времени
|
| 23.04.2007 |
А.С.Балашов |
Игра "Судоку"
|
| 28.04.2007 |
И.В.Попов |
S.Cook, M.Braverman, P.McKenzie. Pebble lower bounds for path machines.
|
| 24.04.2008 |
А.С.Снятков |
О разрешимости иерархических обобщений арифметики Семёнова
|
| 24.04.2008 |
А.Е.Петров |
О проблеме остановки расширенных конечных автоматов
|
| 24.04.2008 |
Б.Н.Карлов |
О категориальных грамматиках зависимостей
|
| 24.04.2008 |
А.С.Шушунов |
Об одном обобщении автоматных структур
|
| 2009-2010 год |
|---|
| 16.10.2009 |
С.М.Дудаков |
О монадических состояниях над упорядоченным случайным графом
|
| 30.10.2009 |
С.М.Дудаков |
О монадических состояниях над упорядоченным случайным графом (продолжение)
|
| 13.11.2009 |
А.С.Снятков |
Разрешимость обобщений арифметики Семенова
|
| 27.11.2009 |
А.С.Снятков |
Разрешимость обобщений арифметики Семенова (продолжение)
|
| 11.12.2009 |
А.С.Шушунов |
Использование формальных языков для доказательства разрешимости теорий
|
| 25.12.2009 |
А.С.Шушунов |
Использование формальных языков для доказательства разрешимости теорий (продолжение)
|
| 19.03.2010 |
А.Е.Петров |
О конечных автоматах с оракулом
|
| 26.03.2010 |
А.Е.Петров |
О конечных автоматах с оракулом
|
| 09.04.2010 |
М.И.Дехтярь |
Аппроксимируемость и ускоряемость разрешимых проблем
|
| 16.04.2010 |
Б.Н.Карлов |
О свойствах обобщенных категориальных грамматик зависимостей
|
| 30.04.2010 |
А.А.Лебедев |
Синтез и анализ дискретных и нечетких иерархических систем
|
| 2010-2011 год |
|---|
| 22.10.2010 |
И.Г.Ключников |
Выявление и доказательство свойств функциональных программ методами суперкомпиляции
|
| 05.11.2010 | С.М.Дудаков |
Рекурсивные SQL-запросы и категоричность
|
| 26.11.2010 |
Е.В.Кузьмин |
Алгоритмические свойства формальных моделей параллельных и распределенных систем
|
| 17.12.2010 |
А.С.Петров |
Массивно-параллельное программирование
|