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

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

Новости, объявления 12.05.25   В среду, 14 мая на заседании кафедрального семинара "Теория автоматов" состоится доклад В.В. Ушаковой "О восстановлении последовательностей машины Тьюринга". 24.04.25   В пятницу 25 апреля в 16:45 в рамках семинара "Программирование систем сигнальной обработки" состоится доклад "Программирование сопроцессора обработки сигналов". 21.04.25   В среду, 23 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад С.С. Чаплыгиной "Полиномиальная полнота и полнота n-квазигрупп: критерии и методы обеспечения". 16.04.25   По пятницам в 16:45 в аудитории 1413 будет проводиться семинар "Программирование систем сигнальной обработки". 14.04.25   В вторник 15 апреля в 16-45 в аудитории 13-11 пройдет заседание секции"Дискретная математика и математическая кибернетика" конференции Ломоносов-2025. 14.04.25   В среду, 16 апреля на заседании кафедрального семинара "Теория автоматов" состоятся доклады А.И. Здановича "Предикатное задание минимальных клонов трехзначной логики" и А.Е. Жарикова "Об отношениях на конечном множестве, обладающих внутренней симметрией". Добавить новость или объявление>>> Архив новостей 14.08.21   Поздравляем профессора С.В. Алешина с 80-летним юбилеем! 04.07.21   4 июля 2021 года исполняется 85 лет заведующему кафедрой МаТИС проф. Кудрявцеву В.Б. 14.05.21   Поздравляем призеров конференции "Ломоносов-2021" – студентов кафедры МаТИС! 11.05.21   12 мая – доклад к.ф.-м.н. Д.В. Пархоменко "Семантический синтез сигналов с помощью искусственных нейросетей" на кафедральном семинаре "Теория автоматов" Перейти в архив новостей... Обновления на сайте 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   Обновлено расписание специальных семинаров кафедры МаТИС в осеннем семестре Полный список обновлений...

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

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