Интеллектуальные системы :: Новости

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


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

Новости, объявления

06.09.20 Академик В.Б. Кудрявцев награжден Почетной грамотой Министерства высшего и среднего специального образования Республики Узбекистан

07.04.20

15 апреля в 18:30 – встреча кафедры МаТИС со студентами 2 курса

29.03.20 Поздравляем с.н.с. Д.Н. Жука с получением Presburger Award 2020 года для выдающихся молодых ученых!

24.03.20 25 марта – доклад К.Воронцова на тему "Вероятностное тематическое моделирование больших текстовых коллекций и транзакционных данных" на семинаре А.М.Миронова "Большие данные и машинное обучение"

17.03.20 Заседания кафедрального семинара «Теория автоматов» 18 марта 2020 не будет

10.03.20 11 марта – доклад н.с. Н.Ю. Волкова "Автоматы и вычисления в лабиринтах" на кафедральном семинаре "Теория автоматов"

07.03.20 10 марта – доклад к.ф.-м.н. Казачук М.А. "Динамическая аутентификация пользователей на основе анализа работы с клавиатурой компьютера" на семинаре "Мягкие вычисления"

03.03.20 4 марта – доклады Г.В. Сафонова "О неприводимости булевых функций относительно коммутативной ассоциативной операции" и А.С. Дробышева "Критерий нейропорождённости автоматных функций с задержкой" на семинаре "Кибернетика и информатика"

Добавить новость или объявление>>>

Обновления на сервере

19.09.20 Обновлена страница доц. Строгалова А.С.

06.09.20 Размещено предварительное расписание специальных курсов кафедры МаТИС в осеннем семестре

06.09.20 Размещено предварительное расписание специальных семинаров кафедры МаТИС в весеннем семестре

17.05.20 Размещена лекция 4 по курсу "Теория дискретных функций"

17.05.20 Опубликована новая версия первой части работы доц. А.М.Миронова "Верификация программ" ("Нерекурсивные программы")

17.05.20 Опубликована новая версия учебного пособия доц. А.М.Миронова по верификации программ методом Model Checking

10.05.20 Размещена лекция 5 по курсу "Теория дискретных функций"

04.05.20 Размещена лекция 12 по курсу "Теория дискретных функций"

30.04.20 Размещена информация о сдаче зачета по обязательному курсу "Компьютерное моделирование логических процессов" для студентов 5 курса кафедры МаТИС.

26.04.20 Размещена лекция 11 по курсу "Теория дискретных функций"

20.04.20 Размещена лекция 10 по курсу "Теория дискретных функций"

18.04.20 Размещена видео-запись онлайн-встречи сотрудников кафедры МаТИС и ее лабораторий со студентами 2 курса, прошедшей 15 апреля

18.04.20 Размещены презентации сотрудников кафедры МаТИС и ее лабораторий с онлайн-встречи со студентами 2 курса, прошедшей 15 апреля

12.04.20 Размещена презентация, суммирующая информацию о научных исследованиях и прикладных разработках кафедры МаТИС и ее лабораторий за период 1990-2020 годы

12.04.20 Размещен информационный буклет о кафедре МаТИС

12.04.20 Размещена лекция 9 по курсу "Теория дискретных функций"

07.04.20 Размещена лекция 8 по курсу "Теория дискретных функций"

29.03.20 Размещена лекция 7 по курсу "Теория дискретных функций"

29.03.20 Обновлено расписание специальных курсов кафедры МаТИС в весеннем семестре. В расписание внесены ссылки на онлайн ресурсы

29.03.20 Обновлено расписание специальных семинаров кафедры МаТИС в весеннем семестре. В расписание внесены ссылки на онлайн ресурсы

Полный список обновлений...

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

Написать вебмастеру

Полнотекстовый поиск

Только точная форма слов Выводить по результатов на странице