ИМ СО РАН

Предыдущая версия сайта

Вход для сотрудников

Семинар «Конструктивные модели»

Архив семинара

А. И. Стукачев
Обобщённо конструктивные модели интенсиональной логики.

М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories" (часть 2).

М. Н. Холов
Реферат статьи: Pillay A., Tanovic P.
"The number of countable models of first-order theories".

А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 4).

А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 3).

А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (продолжение).

А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds".

Список семинаров

Семинар «Математический коллоквиум»

Семинар «Актуальные проблемы прикладной математики»

Семинар «Алгебра и логика»

Семинар «Геометрическая теория функций»

Семинар «Геометрия, топология и их приложения»

Семинар «Дискретные экстремальные задачи»

Семинар «Дискретный анализ»

Семинар «Избранные вопросы математического анализа»

Cеминар «Теоретические и вычислительные проблемы математической физики»

Семинар «Инварианты трехмерных многообразий»

Семинар «Комбинаторика и символьные последовательности»

Семинар «Конструктивные модели»

Семинар "Kourovka Forum"

Семинар «Криптография и криптоанализ»

Семинар «Математические модели принятия решений»

Cеминар «Прикладная статистика»

Cеминар «Прикладные обратные задачи и искусственный интеллект»

Семинар «Теория графов»

Семинар «Теория групп»

Совместный семинар «Теория моделей» им. Е. А. Палютина и «Теория моделей» ИМММ МОН РК

Семинар «Теория статистических решений»

Семинар «Эварист Галуа»

Семинар теории колец имeни А. И. Ширшова

Семинар лаборатории методов оптимизации

Семинар «Обратные задачи математической физики»

Семинар отдела анализа и геометрии

Семинар по геометрическому анализу им. Ю. Г. Решетняка

Общеинститутский математический семинар

Объединённый семинар лаборатории ТВиМС и кафедры ТВиМС

Cеминар «Теория вычислимости»

Семинар «Объяснительный Искусственный Интеллект»

Объединенный вероятностный онлайн-семинар «Вероятность и математическая статистика»

Семинар Книгочтения

Семинар лаборатории машинного обучения и анализа данных

Семинар «Актуальные проблемы теории расписаний»

Семинар лаборатории теоретической физики

Cеминар «Нестандартные логики» им. Л. Л. Максимовой

Семинар «Дифференциальные уравнения и смежные вопросы анализа»

Семинар лаборатории ИИ-технологий математического моделирования биологических, социально-экономических и экологических процессов и Научного совета ОМН РАН

Семинар центра прикладной математики

Семинар «Теория кодирования»

Китайско-российский студенческий математический семинар

Семинар «Функциональный анализ и приложения»

Информация о семинаре

Информация о семинаре

Секретарь семинара:
П. Е. Алаев

Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ

***

Семинары ИМ СО РАН