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

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

Новости, объявления 18.04.24   В среду, 24 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад С.А. Афонина "Построение реалистичных палеогеографических карт методами комбинаторной оптимизации". 12.04.24   Опубликована запись встречи со студентами второго курса 12.04.24   В среду, 17 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад В.М. Староверова "Автоматизированный диагностический лечебный комплекс поддержания жизнедеятельности человека "АНГЕЛ"". 08.04.24   10 апреля в 18.30 в ауд. 1408 состоится встреча со студентами второго курса. 01.04.24   В среду, 3 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад А.М. Миронова "Математическая модель и метод верификации криптографических протоколов". 25.03.24   В среду, 27 марта на заседании кафедрального семинара "Теория автоматов" состоится доклад В. Литовского "Вычисление функций односторонними и двусторонними автоматами". Добавить новость или объявление>>> Архив новостей 14.08.21   Поздравляем профессора С.В. Алешина с 80-летним юбилеем! 04.07.21   4 июля 2021 года исполняется 85 лет заведующему кафедрой МаТИС проф. Кудрявцеву В.Б. 14.05.21   Поздравляем призеров конференции "Ломоносов-2021" – студентов кафедры МаТИС! 11.05.21   12 мая – доклад к.ф.-м.н. Д.В. Пархоменко "Семантический синтез сигналов с помощью искусственных нейросетей" на кафедральном семинаре "Теория автоматов" Перейти в архив новостей... Обновления на сайте 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   Обновлено расписание специальных курсов кафедры МаТИС в осеннем семестре 03.09.22   Опубликован Том 9 учебного пособия проф. А.С. Подколзина "Компьютерное моделирование логических процессов" Полный список обновлений...

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

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