Подписаться на рассылку новостей сайта:     Новости, объявления 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   Опубликована новая версия учебного пособия доц. А.М.Миронова "Криптографические протоколы" Полный список обновлений...