Подписаться на рассылку новостей сайта:    
Новости, объявления
15.10.17   18 октября – доклад доцента Г.В. Бокова «О проблеме вывода в пропозициональных исчислениях» на кафедральном семинаре «Теория автоматов»
11.10.17   13 октября – доклад Ильи Ериклинцева "Актуальные проблемы и перспективы развития технологии децентрализованных реестров" на семинаре А.М.Миронова и С.В.Моисеева "Математические вопросы информатики"
08.10.17   11 октября – доклад Калачева Г. «О мощностной сложности плоских схем» на кафедральном семинаре «Теория автоматов»
01.10.17   4 октября – доклад к.ф-м.н. Родина С.Б. «Размещение состояний автоматов» на кафедральном семинаре «Теория автоматов»
26.09.17   27 сентября – с.н.с. Д.Н. Жука "Классификация сложности задачи удовлетворения ограничениям" на кафедральном семинаре «Теория автоматов»
17.09.17   20 сентября – продолжение доклада И.Е. Иванова «Периодические свойства автомата с магазинной памятью как преобразователя последовательностей» на кафедральном семинаре «Теория автоматов»
Добавить новость или объявление>>>
Архив новостей
04.07.15   6 июля – доклад Андрея Мохова "Графы с предикатами и их применения" на спецкурсе доц. П.А. Пантелеева "Введение в теорию помехоустойчивого кодирования"
04.06.15   С.н.с. Д.В. Алексеев – лауреат Всероссийского конкурса учителей биологии, математики, физики и химии 2015 года
21.05.15   Кафедра МаТИС поздравляет А.А. Летуновского и Д.В.Пархоменко с успешной защитой кандидатской диссертации
21.05.15   25 мая в 10:00 – государственный экзамен для студентов кафедры МаТИС!
Перейти в архив новостей...
Обновления на сайте
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   Опубликована новая версия учебного пособия доц. А.М.Миронова "Криптографические протоколы"
Полный список обновлений...