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

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

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

Новости, объявления 15.02.26   В среду, 18 февраля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад Н.П. Корчагина "Сложность проблемы сюръективного гомоморфизма для циклов". 08.02.26   В среду, 11 февраля, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад А.И. Болотникова "О конфигурации паросочетаний, её свойствах и приложении в криптографии". 05.02.26   Кафедра математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова с глубоким прискорбием сообщает, что 5 февраля 2025 года скончался наш друг и коллега, старший научный сотрудник, кандидат физико-математических наук Иван Леонидович Мазуренко. 14.12.25   В среду, 17 декабря, в 18:30 в аудитории 1213 состоится засадение семинара "Теория автоматов", посвященное памяти Валерия Борисовича Кудрявцева. 07.12.25   7 декабря 2025 года исполняется 75 лет профессору кафедры математической теории интеллектуальных систем механико-математического факультета МГУ, доктору физико-математических наук Подколзину Александру Сергеевичу. 30.11.25   В среду, 3 декября, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад Э.Э. Гасанова и Г.В. Калачева "О вычислительных возможностях клеточных автоматов с локаторами". 17.11.25   В среду, 19 ноября, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад А.П. Жиянова "Методы оценки качества и верификации линейных классификаторов для анализа последовательностей микроРНК". 03.11.25   В среду, 5 ноября, в 18:30 в аудитории 1213 на заседании кафедрального семинара "Теория автоматов" состоится доклад А.А. Ефимова и Г.В. Калачева "О связи сложности булевых операторов в различных моделях схем". Добавить новость или объявление>>> Последние новости - в телеграм-канале кафедры МаТИС:. Обновления на сервере 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   Обновлено расписание специальных курсов кафедры МаТИС в весеннем семестре 08.10.22   Обновлено расписание специальных семинаров кафедры МаТИС в осеннем семестре 08.10.22   Обновлено расписание специальных курсов кафедры МаТИС в осеннем семестре Полный список обновлений...

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

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