|
Международная школа-семинар "Синтаксис и семантика логических систем", Турбаза на берегу озера Хубсугул, 11–16 августа 2019 г. |
|
1. |
О метриках многозначных логических высказываний и приложения метрик в базах знаний А. А. Викентьев 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
|
|
2. |
Константа Сметанича и метод конечной канонической модели А. Д. Яшин 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
|
|
3. |
О верхней оценке сложности трехзначных функций
в классе поляризованных полиномов А. С. Балюк 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
|
|
4. |
Новый критерий о критичности некоторых конечных некоммутативных колец Батзул Тумур, Ганхуяг Данзан 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
|
|
5. |
Немонотонная сложность логических схем и близкие задачи В. В. Кочергин, А. В. Михайлович 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
|
|
6. |
О композициях циклических плотных порядков со структурами и их
алгебрах бинарных формул Д. Ю. Емельянов, Б. Ш. Кулпешов, С. В. Судоплатов 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
|
|
7. |
Асимптотически оптимальные по надежности схемы в базисе, состоящем из функции Вебба, при неисправностях типа 0 на выходах элементов М. А. Алехина, О. Ю. Барсукова 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
|
|
8. |
О надежности схем в базисе, содержащем особенную функцию М. А. Алехина, Ю. С. Гусынина, Т. А. Шорникова 11–16 августа 2019 г., Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
12 августа 2019 г. (пн) |
|
9. |
О математических работах А. И. Кокорина Н. А. Перязев, С. Ф. Винокуров 12 августа 2019 г. 10:30–11:10, Турбаза на берегу озера Хубсугул
|
|
|
|
|
10. |
О сигма-представимых предпорядках А. С. Морозов 12 августа 2019 г. 11:10–11:50, Турбаза на берегу озера Хубсугул
|
|
|
|
|
11. |
Критерий $ES_U$-полноты множества мультифункций ранга 2 В. И. Пантелеев, Л. В. Рябец 12 августа 2019 г. 12:00–12:30, Турбаза на берегу озера Хубсугул
|
|
|
|
|
12. |
Применение метаэвристических алгоритмов псевдобулевой оптимизации к поиску линеаризующих множеств в криптоанализе криптографических генераторов К. В. Антонов, А. А. Семенов 12 августа 2019 г. 12:30–13:00, Турбаза на берегу озера Хубсугул
|
|
|
|
|
13. |
Представление диссертации "Сложность и алгоритмы нахождения представлений многовыходных функций алгебры логики в классах полиномов и обратимых схем" А. С. Францева 12 августа 2019 г. 15:00–15:30, Турбаза на берегу озера Хубсугул
|
|
|
|
|
14. |
Анализ адаптивных алгоритмов для повторяющихся матричных игр К. Д. Кириченко 12 августа 2019 г. 15:30–16:00, Турбаза на берегу озера Хубсугул
|
|
|
|
|
15. |
Концепция фундирования в формировании, развитии и оценке логических универсальных учебных действий З. А. Дулатова, Е. С. Лапшина, А. И. Ковыршина, Н. Н. Штыков 12 августа 2019 г. 16:00–16:30, Турбаза на берегу озера Хубсугул
|
|
|
|
|
16. |
Математика в Иркутске: ИРГОСУН (27.10.1918 – 20.04.1931) Н. А. Перязев, Ю. В. Перязева 12 августа 2019 г. 16:30–17:00, Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
13 августа 2019 г. (вт) |
|
17. |
Линейные отображения, сохраняющие матричные инварианты А. Э. Гутерман 13 августа 2019 г. 10:30–11:10, Турбаза на берегу озера Хубсугул
|
|
|
|
|
18. |
Представление полиномиально устойчивых функций суммами бесповторных в элементарном базисе слагаемых О. В. Зубков 13 августа 2019 г. 11:10–10:50, Турбаза на берегу озера Хубсугул
|
|
|
|
|
19. |
О классах эквивалентности мультифункций, порожденных частичными ультраклонами ранга 2 С. А. Бадмаев, И. К. Шаранхаев, К. А. Шишмакова 13 августа 2019 г. 12:00–12:30, Турбаза на берегу озера Хубсугул
|
|
|
|
|
20. |
Критерий $ES_I$-полноты множества мультифункций ранга 2 Э. С. Тагласов, В. И. Пантелеев 13 августа 2019 г. 12:30–13:00, Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
15 августа 2019 г. (чт) |
|
21. |
Теорема Рамсея и локально нильпотентные группы В. В. Блудов 15 августа 2019 г. 10:30–11:10, Турбаза на берегу озера Хубсугул
|
|
|
|
|
22. |
Алгебры унарных мультиопераций конечного ранга Н. А. Перязев 15 августа 2019 г. 11:10–11:50, Турбаза на берегу озера Хубсугул
|
|
|
|
|
23. |
Классификация $k$-значных функций на основе аддитивных формул Д. Г. Мещанинов 15 августа 2019 г. 12:00–12:30, Турбаза на берегу озера Хубсугул
|
|
|
|
|
24. |
Приближенный алгоритм нахождения сложности обратимых реализаций расширенных кронекеровых форм булевых функций С. Ф. Винокуров, А. С. Францева 15 августа 2019 г. 12:30–13:00, Турбаза на берегу озера Хубсугул
|
|
|
|
|
25. |
Об аксиомах бесконечности и полноте теорий второго порядка Д. М. Смелянский 15 августа 2019 г. 15:00–15:20, Турбаза на берегу озера Хубсугул
|
|
|
|
|
26. |
Алгебры унарных операций и конечные алгебры Краснера мультиопераций Н. А. Перязев 15 августа 2019 г. 15:20–16:00, Турбаза на берегу озера Хубсугул
|
|
|
|
|
27. |
О сложности мультиопераций ранга $k$ в классе стандартных форм А. С. Казимиров 15 августа 2019 г. 16:10–16:30, Турбаза на берегу озера Хубсугул
|
|
|
|
|
28. |
Алгоритм минимизация мультопераций в классе ключевых стандартных форм С. И. Тодиков 15 августа 2019 г. 16:30–16:50, Турбаза на берегу озера Хубсугул
|
|
|
|
|
29. |
$ES$-замыкание мультифункций ранга 3 В. И. Пантелеев 15 августа 2019 г. 16:50–17:10, Турбаза на берегу озера Хубсугул
|
|
|
|
|