Объявления объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате
 Обновления анонсы новых материалов на нашем сервере
 Рассылка подписка на почтовую рассылку новостей и обновлений сервера
Новости, объявления
15.01.18   17 января – аттестация аспирантов кафедры МаТИС
30.12.17   23-25 мая – 10-я международная конференция "Дискретные модели в теории управляющих систем"
22.12.17   27 декабря – заседание кафедры МаТИС и лаборатории ПТК
20.12.17   27 декабря – зачёт по МФК "Распознавание образов"
18.12.17   20 декабря – доклад проф. Бабина Д.Н. «О разрешимости задачи полноты для автоматов» на кафедральном семинаре «Теория автоматов»
11.12.17   13 декабря – доклад н.с. Половникова В.С. «Теоретические аспекты искусственных нейронных сетей» на кафедральном семинаре «Теория автоматов»
03.12.17   6 декабря – доклад доцента Миронова А.М. «Верификация криптографических протоколов» на кафедральном семинаре «Теория автоматов»
26.11.17   29 ноября – доклад к.ф-м.н. Алексеева Д.В. «О восстановлении трехмерного тела по его плоским проекциям» на кафедральном семинаре «Теория автоматов»
Добавить новость или объявление>>>
 
Обновления на сервере
12.01.18   В разделе "Кафедра" обновлен граф кафедры МаТИС
03.12.17   Опубликована первая часть работы доц. А.М.Миронова "Верификация программ" ("Нерекурсивные программы")
22.10.17   Опубликован исходный код новой версии компьютерного решателя задач проф. А.С. Подколзина (версия 4)
22.10.17   Обновлен список студентов 3 курса кафедры МаТИС
22.10.17   Обновлен список студентов 6 курса кафедры МаТИС
22.10.17   Обновлено расписание специальных семинаров кафедры МаТИС в осеннем семестре
22.10.17   Обновлено расписание специальных курсов кафедры МаТИС в осеннем семестре
27.04.17   В разделе "Кафедра" обновлен граф кафедры МаТИС
08.02.17   Обновлена страница доц. Рыжова А.П.
29.01.17   Опубликовано 2-е информационное письмо XVIII Международной конференции «Проблемы теоретической кибернетики» (г. Пенза, 19-23 июня 2017 г.)
29.11.16   Опубликована программа секционных заседаний ХI Международной научной конференции «Интеллектуальные системы и компьютерные науки» на 1 декабря
29.11.16   Опубликована программа секционных заседаний ХI Международной научной конференции «Интеллектуальные системы и компьютерные науки» на 30 ноября
29.11.16   Опубликована программа секционных заседаний ХI Международной научной конференции «Интеллектуальные системы и компьютерные науки» на 29 ноября
27.11.16   Опубликован исходный код новой версии компьютерного решателя задач проф. А.С. Подколзина (версия 3)
03.11.16   Опубликована программа Пленарных заседаний ХI Международной научной конференции «Интеллектуальные системы и компьютерные науки», посвященной 80-летию со дня рождения академика Кудрявцева В.Б. (Москва, 28 ноября – 2 декабря 2016г.)
09.09.16   Опубликован Том 4 "Опыт обучения компьютерного решателя задач. Аналитическая геометрия, линейная алгебра, теория вероятностей, комплексный анализ и другие разделы" учебного пособия проф. А.С. Подколзина "Компьютерное моделирование логических процессов"
29.06.16   Опубликовано Первое информационное письмо о проведении XI международной конференции «Интеллектуальные системы и компьютерные науки»
30.05.16   Опубликована новая версия учебного пособия доц. А.М.Миронова "Криптографические протоколы"
11.04.16   В разделе "Кафедра" обновлен граф кафедры МаТИС
03.04.16   Обновлена страница проф. Бабина Д.Н.
Полный список обновлений...