English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм
Новости, объявления Канал кафедры МаТИС в Телеграм
12.04.24   Опубликована запись встречи со студентами второго курса
12.04.24   В среду, 17 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад В.М. Староверова "Автоматизированный диагностический лечебный комплекс поддержания жизнедеятельности человека "АНГЕЛ"".
08.04.24   10 апреля в 18.30 в ауд. 1408 состоится встреча со студентами второго курса.
01.04.24   В среду, 3 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад А.М. Миронова "Математическая модель и метод верификации криптографических протоколов".
25.03.24   В среду, 27 марта на заседании кафедрального семинара "Теория автоматов" состоится доклад В. Литовского "Вычисление функций односторонними и двусторонними автоматами".
16.03.24   В среду, 20 марта на заседании кафедрального семинара "Теория автоматов" состоится доклад Д.Н. Бабина "О сложности решения задачи полноты для автоматов с суперпозициями".
Добавить новость или объявление>>>
Архив новостей
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- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм