Объявления объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате
 Обновления анонсы новых материалов на нашем сервере
 Рассылка подписка на почтовую рассылку новостей и обновлений сервера
Новости, объявления
15.10.17   18 октября – доклад м.н.с. Г.В. Бокова «О проблеме вывода в пропозициональных исчислениях» на кафедральном семинаре «Теория автоматов»
11.10.17   13 октября – доклад Ильи Ериклинцева "Актуальные проблемы и перспективы развития технологии децентрализованных реестров" на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики"
08.10.17   11 октября – доклад Калачева Г. «О мощностной сложности плоских схем» на кафедральном семинаре «Теория автоматов»
01.10.17   4 октября – доклад к.ф-м.н. Родина С.Б. «Размещение состояний автоматов» на кафедральном семинаре «Теория автоматов»
26.09.17   27 сентября – с.н.с. Д.Н. Жука "Классификация сложности задачи удовлетворения ограничениям" на кафедральном семинаре «Теория автоматов»
17.09.17   20 сентября – продолжение доклада И.Е. Иванова «Периодические свойства автомата с магазинной памятью как преобразователя последовательностей» на кафедральном семинаре «Теория автоматов»
10.09.17   13 сентября – доклад И.Е. Иванова «Периодические свойства автомата с магазинной памятью как преобразователя последовательностей» на кафедральном семинаре «Теория автоматов»
08.09.17   8 сентября – доклад генерального директора компании WorldQuant Л.Меркина "Функциональное программирование в финансовой и инвестиционно-банковской индустрии" на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики"
Добавить новость или объявление>>>
 
Обновления на сервере
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   Обновлена страница проф. Бабина Д.Н.
28.03.16   Обновлен список публикаций на странице н.с. Черновой Ю.Г.
28.03.16   Обновлен список публикаций на странице с.н.с. Миронова А.М.
13.03.16   Обновлена страница доц. Часовских А.А.
13.03.16   Обновлено расписание специальных семинаров кафедры МаТИС в весеннем семестре
13.03.16   Обновлено расписание специальных курсов кафедры МаТИС в весеннем семестре
29.02.16   Обновлена страница заведующего кафедрой МаТИС и лабораторией ПТК акад. Кудрявцева В.Б.
28.02.16   Обновлена страница доц. Рыжова А.П.
Полный список обновлений...