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

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

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

Новости, объявления 19.04.26   В среду, 22 апреля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоятся доклады А.Е. Боброва "Задача подсчёта точек клеточными автоматами с локаторами", Д.Э. Каламбетова "О сложности булевых операторов в некоторых классах клеточных схем" и Е.И. Яковенко "Об алгоритмах построения групп автоморфизмов нагруженных графов, мультиграфов и гиперграфов". 12.04.26   В среду, 15 апреля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоятся доклады И.М. Янушкевича "Предполные классы в классе полиномов четырёхзначной логики, содержащие все полиномиальные функции одной переменной" и Ч.А. Надирова "Реализация булевых функций и операции сложения в клеточных автоматах с локаторами". 04.04.26   В среду, 8 апреля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад В.Н. Козлова "Аналог цифровой подписи для буквенных текстов на основе инвариантов аффинных преобразований для алфавитных изображений". 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.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- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру

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