RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB


Международная школа-семинар "Синтаксис и семантика логических систем"
(11–16 августа 2019 г., Турбаза на берегу озера Хубсугул, Монголия)

6-я Международная школа-семинар посвящена 90-летию со дня рождения основателя Иркутской алгебро-логической школы Али Ивановича Кокорина.

Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по алгебре, математической логике и их приложениям, а также предоставление молодым исследователям возможности личного контакта с известными российским и монгольскими учеными.

Тематика:

  • универсальная алгебра,
  • логические исчисления,
  • теория моделей,
  • алгебра логики,
  • теория конечнозначных функций,
  • алгебро-логические методы в информационных технологиях,
  • история и философия математики,
  • логическая составляющая математического образования.

E-mail:
Website: http://agora.guru.ru/ssls-2019

Программа

Доклады

RSS:


Организации
Иркутский государственный университет
Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск


Международная школа-семинар "Синтаксис и семантика логических систем", Турбаза на берегу озера Хубсугул, 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, Турбаза на берегу озера Хубсугул
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020