English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм
 Объявления объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате
 Обновления анонсы новых материалов на нашем сервере
 Рассылка подписка на почтовую рассылку новостей и обновлений сервера
Новости, объявления
14.04.25   В вторник 15 апреля в 16-45 в аудитории 13-11 пройдет заседание секции"Дискретная математика и математическая кибернетика" конференции Ломоносов-2025.
14.04.25   В среду, 16 апреля на заседании кафедрального семинара "Теория автоматов" состоятся доклады А.И. Здановича "Предикатное задание минимальных клонов трехзначной логики" и А.Е. Жарикова "Об отношениях на конечном множестве, обладающих внутренней симметрией".
06.04.25   В среду, 9 апреля на заседании кафедрального семинара "Теория автоматов" состоится доклад Д.О. Масленикова "О модификации диаграммы Мура функцией отрицания".
31.03.25   В среду, 2 апреля на заседании кафедрального семинара "Теория автоматов" в рамках "Ломоносовских чтений" состоятся доклады Д.В. Алексеева и Д.В. Ронжина "Использование контрольной суммы для улучшения восстанавливающей способности многоуровневых кодов", А.А. Ирматова и А.И. Болотникова "О новой системе шифрования с открытым ключом рюкзачного типа" и Г.В. Бокова и А.С. Дробышева "О сложности задачи существования в нейронной сети предельного цикла заданной длины".
23.03.25   В среду, 26 марта на заседании кафедрального семинара "Теория автоматов" состоится доклад Д.Н. Жука "Универсальные алгоритмы для решения задачи удовлетворения ограничениям".
17.03.25   В среду, 19 марта на заседании кафедрального семинара "Теория автоматов" состоится доклад Э.Э. Гасанова "Решение арифметических задач клеточными автоматами с локаторами".
08.03.25   В среду, 12 марта на заседании кафедрального семинара "Теория автоматов" состоится доклад И.В. Молдованова "Проблема полноты в классе линейных дефинитных автоматов".
03.03.25   В среду, 5 марта на заседании кафедрального семинара "Теория автоматов" состоится доклад Н.Ю. Волкова "Лабиринты и автоматные системы".
Добавить новость или объявление>>>
Последние новости - в телеграм-канале кафедры МаТИС:. Канал кафедры МаТИС в Телеграм
Обновления на сервере
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   Обновлено расписание специальных курсов кафедры МаТИС в осеннем семестре
03.09.22   Опубликован Том 9 учебного пособия проф. А.С. Подколзина "Компьютерное моделирование логических процессов"
03.09.22   Обновлен исходный код новой версии компьютерного решателя задач проф. А.С. Подколзина (версия 7)
03.09.22   Обновлена страница доц. Шуткина Ю.С.
03.09.22   Обновлена страница с.н.с. Галатенко А.В.
Полный список обновлений...
   © 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм Rambler's Top100 Рейтинг@Mail.ru