Добавлены видеозаписи:

• докладов конференции:
Молодeжный коллоквиум по математической логике и еe приложениям, 31 августа–4 сентября 2026 г.

1 сентября 2026 г.
- А. Л. Таламбуца, Алгоритмические проблемы для матричных полугрупп. Лекция 1.
- А. Л. Таламбуца, Алгоритмические проблемы для матричных полугрупп. Лекция 2.
- Ю. Д. Теляковская, Влияние операции пересечения на звёздную высоту регулярных языков.
- А. Р. Углев, О специальных базисах тождеств некоторых решёток.

3 сентября 2026 г.
- И. Ш. Калимуллин, Теорема рекурсии и критерии полноты. Лекция 1.
- И. Ш. Калимуллин, Теорема рекурсии и критерии полноты. Лекция 2.
- И. Ш. Калимуллин, Теорема рекурсии и критерии полноты. Лекция 3.
- Р. Р. Багавиев, Критерии полноты в терминах креативности.
- В. Е. Карпов, С. О. Сперанский, О $\Sigma_2$-теории натуральных чисел со стандартным порядком и свободной эквивалентностью.

4 сентября 2026 г.
- В. Б. Шехтман, Семантики модальных предикатных логик. Лекция 1.
- В. Б. Шехтман, Семантики модальных предикатных логик. Лекция 2.
- В. Б. Шехтман, Семантики модальных предикатных логик. Лекция 3.
- Л. В. Дворкин, О бисимуляционных произведениях и интерполяционном свойстве Линдона в монотонных модальных логиках.
- А. А. Оноприенко, О классе функций конечнозначной логики Даммета со всеми константами.

#Конференции