2025 год:
11 февраля: А.И. Стукачев (ИМ СО РАН), Обобщенно конструктивные процессы и структуры (докторская диссертация).
25 февраля: А.И. Стукачев, Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).
4 марта: А.И. Стукачев, Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).
8 апреля: Н.А. Баженов (ИМ СО РАН), Об эффективной категоричности для вычислимых структур
2024 год:
24 сентября: Н.А. Баженов (ИМ СО РАН), совместно с С.А. Бадаевым (Казахстанско-Британский технический университет, Казахстан), Б.С. Калмурзаевым (Казахстанско-Британский технический университет, Казахстан) и М. Мустафой (Назарбаев Университет, Казахстан), О диагональных функциях для отношений эквивалентности.
8 октября: Н.А. Баженов, совместно с С.А. Бадаевым, Б.С. Калмурзаевым и М. Мустафой, О диагональных функциях для отношений эквивалентности (продолжение).
26 ноября: В.С. Исаков (НГУ), HKSS-полнота булевых алгебр с выделенными подалгебрами и множеством атомов
2023 год:
7 февраля: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
14 февраля: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
21 февраля: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
28 февраля: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
7 марта: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
14 марта: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
21 марта: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
28 марта: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
11 апреля: В.Г. Пузаренко, совместно с И.Ш. Калимуллиным и М.Х. Файзрахмановым, Негативные представления на допустимых множествах (продолжение)
18 апреля: В.С. Исаков (НГУ) реферирует статью W. Calvert, "PAC learning, VC dimension, and the arithmetic hierarchy"
25 апреля: В.С. Исаков реферирует статью W. Calvert, "PAC learning, VC dimension, and the arithmetic hierarchy" (продолжение)
2 мая: В.С. Исаков реферирует статью W. Calvert, "PAC learning, VC dimension, and the arithmetic hierarchy" (продолжение)
16 мая: В.С. Исаков реферирует статью W. Calvert, "PAC learning, VC dimension, and the arithmetic hierarchy" (продолжение)
2022 год:
15 февраля: В.Г. Пузаренко (ИМ СО РАН), совместно с А.С. Морозовым (ИМ СО РАН) и М.Х. Файзрахмановым (Казанский федеральный университет), К проблеме спектра групп перестановок (продолжение)
22 февраля: Н.А. Баженов (ИМ СО РАН), совместно с Л. Сан Мауро (Римский университет Сапиенца, Италия) и В. Чиприани (Университет Удине, Италия), О распознавании (learning) алгебраических структур при помощи борелевских отношений эквивалентности
15 марта: Н.А. Баженов, совместно с Л. Сан Мауро и В. Чиприани, О распознавании (learning) алгебраических структур при помощи борелевских отношений эквивалентности (продолжение)
5 апреля: Н.А. Баженов, совместно с Л. Сан Мауро и В. Чиприани, О распознавании (learning) алгебраических структур при помощи борелевских отношений эквивалентности (продолжение)
12 апреля: Н.А. Баженов, совместно с Л. Сан Мауро и В. Чиприани, О распознавании (learning) алгебраических структур при помощи борелевских отношений эквивалентности (продолжение)
19 апреля: В.Н. Ореховский (НГУ), Соотношения между логическими и топологическими иерархиями регулярных омега-языков
26 апреля: В.Н. Ореховский, Соотношения между логическими и топологическими иерархиями регулярных омега-языков (продолжение)
27 декабря: В.Г. Пузаренко (ИМ СО РАН), совместно с И.Ш. Калимуллиным (Казанский федеральный университет) и М.Х. Файзрахмановым (Казанский федеральный университет), Негативные представления на допустимых множествах
2021 год:
9 марта: М.В. Кузнецов (ИМ СО РАН), Конструкция поточечного возведения в степень
16 марта: Н.А. Баженов (ИМ СО РАН), О вычислимых гейтинговых алгебрах с выделенными атомами и коатомами
23 марта: А.Н. Хисамиев (ИМ СО РАН), Об универсальной функции
30 марта: А.Н. Хисамиев, Об универсальной функции (продолжение)
13 апреля: А.Н. Хисамиев, Об универсальной функции (продолжение)
20 апреля. Дипломные работы студентов 4-го курса ММФ НГУ:
В.А. Бакиров, О фрагментах теории наследственно конечной списочной надстройки
А.С. Бурнистов, Конструктивизируемость функциональных структур над числовыми системами
Б.Б. Уразалинов, Нумерации полиномиально-вычислимых языков
27 апреля: Н.А. Баженов, совместно с Л. Сан Мауро (Венский технический университет, Австрия), О тьюринговой сложности распознавания (learning) для конечных семейств вычислимых структур
11 мая: Н.А. Баженов, совместно с М. Мустафой (Назарбаев Университет, Нур-Султан, Казахстан) и С.С. Оспичевым (ИМ СО РАН), О полурешётках Роджерса для пунктуальных нумераций
18 мая: Н.А. Баженов, совместно с М. Мустафой и С.С. Оспичевым, О полурешётках Роджерса для пунктуальных нумераций (продолжение)
25 мая: Н.А. Баженов, совместно с М. Мустафой и С.С. Оспичевым, О полурешётках Роджерса для пунктуальных нумераций (продолжение)
1 июня: А.В. Нечесов (ИМ СО РАН), О полиномиальном аналоге теоремы Ганди о неподвижной точке
8 июня: А.В. Нечесов, О полиномиальном аналоге теоремы Ганди о неподвижной точке (продолжение)
26 октября: В.Г. Пузаренко (ИМ СО РАН), совместно с А.С. Морозовым (ИМ СО РАН) и М.Х. Файзрахмановым (Казанский федеральный университет), К проблеме спектра групп перестановок
23 ноября: Marta Fiori Carones (Математический центр в Академгородке), A short introduction to reverse mathematics
30 ноября: Marta Fiori Carones, A short introduction to reverse mathematics (продолжение)
7 декабря: Marta Fiori Carones, A short introduction to reverse mathematics (продолжение)
14 декабря: Marta Fiori Carones, A short introduction to reverse mathematics (продолжение)
21 декабря: Marta Fiori Carones, A short introduction to reverse mathematics (продолжение)