Дискретные функции и сложность алгоритмов (Архив) — различия между версиями
Материал из Кафедра математической кибернетики
Текущая версия на 19:07, 31 октября 2013
Весна 2011 года
| Дата
|
Тема доклада
|
Докладчик
|
| 18 февраля
|
О сложности распознавания биюнктивности функций, заданных полиномом Жегалкина
|
Алексей Самойлов
|
| 25 февраля
|
Функциональная полнота для не всюду определённых функций алгебры логики (Р.В.Фрейвалд)
|
Светлана Мартыненко
|
Осень 2010 года
| Дата
|
Тема доклада
|
Докладчик
|
| 1 октября
|
Вычитание класса ε² на МТ
|
Орлов Е.А.
|
| 8 октября
|
Нижняя оценка (5/2)n² для ранга умножения матриц размера n×n над произвольным полем (Маркус Блезер)
|
Трефилов А.П.
|
| 22 октября
|
Конечно-автоматные функции
|
Сенилова И.
|
| 29 октября
|
Расшифровка бесповторных функций запросами тождественности
|
Чистиков Д.В.
|
Весна 2010 года
| Дата
|
Тема доклада
|
Докладчик
|
| 20 февраля
|
Минимизация поляризованных и обычных полиномов булевых функций
|
Маркелов Н.К.
|
Осень 2008 года
| Дата
|
Тема доклада
|
Докладчик
|
| 24 октября
|
Быстрое преобразование Фурье
|
Чокаев А. С.
|
| 31 октября
|
Мёбиус- перестановочные функции и частично  -совпадающие функции
|
Мазуров А. А.
|
| 7 ноября
|
Оператор позитивного замыкания
|
Латушкин С. А.
|
Весна 2008 года
| Дата
|
Тема доклада
|
Докладчик
|
| 29 февраля
|
Вычисления на трехленточных машинах Минского
|
Бухман Антон
|
| 14 марта
|
Классы k-значной логики, содержащие все функции одной переменной
|
Блинов Сергей
|
| 21 марта
|
Сложность проверяющих тестов для бесповторных булевых функций
|
Чистиков Дмитрий
|
| 28 марта
|
| 4 апреля
|
О числе семейств подмножеств, замкнутых относительно пересечения
|
Лысиков Владимир
|
| 11 апреля
|
Перестановочные представления функций k-значной логики
|
Мазуров Анатолий
|
| 18 апреля
|
Число конечных топологий
|
Галкин Андрей
|
| 25 апреля
|
О реализуемости множества целых чисел степенями вершин графа
|
Омаров Рустам
|
