Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова

Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура

Объявления объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате  Обновления анонсы новых материалов на нашем сервере  Рассылка подписка на почтовую рассылку новостей и обновлений сервера

Новости, объявления 28.03.26   В среду, 1 апреля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" в рамках Ломоносовских чтений состоятся доклады А.А. Ирматова и А.И. Болотникова "Об одном необходимом условии устойчивости криптосистемы паросочетаний", В.С. Половникова и Д.Н. Давыдовой "Подбор оптимальной схемы квантизации нейронных сетей с помощью градиентных методов", А.П. Рыжова и А.С. Гусева "Устойчивость нечеткой классификации пользователя для определения уровня физических нагрузок" и А.П. Рыжова и Ф.А. Федотова "Нечеткая агрегация рисков на деревьях с использованием t-норм". 22.03.26   В среду, 25 марта, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад А.М. Колосова "Методы построения представлений объектов с использованием внешней информации о свойствах наборов объектов". 15.03.26   В среду, 18 марта, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад И.В. Молдованова "Проблема полноты в классе линейных дефинитных автоматов". 07.03.26   В среду, 11 марта, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад А.К. Мокина "Преодоление ограничений обучения сиамских нейронных сетей в задаче оптического распознавания символов". 01.03.26   В среду, 4 марта, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад К.В. Зиборова "Формальная верификация протоколов консенсуса с византийской отказоустойчивостью". 23.02.26   В среду, 25 февраля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад В.Н. Козлова "О трех начальных приближениях к формальному определению визуального образа в произвольной визуальной среде". 15.02.26   В среду, 18 февраля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад Н.П. Корчагина "Сложность проблемы сюръективного гомоморфизма для циклов". 08.02.26   В среду, 11 февраля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад А.И. Болотникова "О конфигурации паросочетаний, её свойствах и приложении в криптографии". Добавить новость или объявление>>> Последние новости - в телеграм-канале кафедры МаТИС:. Обновления на сервере 23.02.25   Обновлено расписание специальных семинаров кафедры МаТИС в весеннем семестре 23.02.25   Обновлено расписание специальных курсов кафедры МаТИС в весеннем семестре 09.12.25   Обновлен исходный код новой версии компьютерного решателя задач проф. А.С. Подколзина 05.12.25   Опубликован Том 10 учебного пособия проф. А.С. Подколзина "Компьютерное моделирование логических процессов" 01.10.25   Обновлено расписание специальных семинаров кафедры МаТИС в осеннем семестре 01.10.25   Обновлено расписание специальных курсов кафедры МаТИС в осеннем семестре 13.02.25   Обновлено расписание специальных семинаров кафедры МаТИС в весеннем семестре 13.02.25   Обновлено расписание специальных курсов кафедры МаТИС в весеннем семестре 09.02.25   Учебное пособие "Введение в логические процессы" А.С. Подколзина(к курсу "Компьютерный решатель математических задач) 09.02.25   Обновлен исходный код новой версии компьютерного решателя задач проф. А.С. Подколзина (версия 7) 30.09.24   Обновлено расписание специальных семинаров кафедры МаТИС в осеннем семестре 30.09.24   Обновлено расписание специальных курсов кафедры МаТИС в осеннем семестре 02.02.24   В разделе "Кафедра" обновлен граф кафедры МаТИС 18.02.24   Обновлено расписание специальных семинаров кафедры МаТИС в весеннем семестре 18.02.24   Обновлено расписание специальных курсов кафедры МаТИС в весеннем семестре 24.01.24   Опубликована книга доцента А.М. Миронова "Методы верификации программ" 15.09.23   Обновлено расписание специальных семинаров кафедры МаТИС в осеннем семестре 15.09.23   Обновлено расписание специальных курсов кафедры МаТИС в осеннем семестре 12.02.23   Обновлено расписание специальных семинаров кафедры МаТИС в весеннем семестре 12.02.23   Обновлено расписание специальных курсов кафедры МаТИС в весеннем семестре Полный список обновлений...

© 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру

Последние новости - в телеграм-канале кафедры МаТИС: