Объявления объявления о предстоящих событиях на кафедре, в лаборатории, на мех-мате
 Обновления анонсы новых материалов на нашем сервере
 Рассылка подписка на почтовую рассылку новостей и обновлений сервера
Новости, объявления
10.11.17   13 ноября – чл.-корр. РАН Ю.В.Нестеренко «Вычислительные задачи теории чисел» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ
04.11.17   8 ноября – доклад доц. П.А. Пантелеева «О простых экспериментах с автоматами для подмножеств состояний» на кафедральном семинаре «Теория автоматов»
29.10.17   1 ноября – доклад А.Н. Максименко «Комбинаторно-геометрические характеристики сложности задач комбинаторной оптимизации» на кафедральном семинаре «Теория автоматов»
24.10.17   25 октября – доклад вед.н.с. В.А. Носова «О функциональном задании латинских квадратов» на кафедральном семинаре «Теория автоматов»
23.10.17   Доц. А.М.Миронов начинает чтение Межфакультетского курса «Большие данные в естественных и гуманитарных науках»
22.10.17   27 октября – представление кандидатской диссертации Даниила Березуна "Трассирующая нормализация" на семинаре "Математические вопросы информатики" под руководством А.М.Миронова и С.В.Моисеева
15.10.17   По вторникам в 18:30 начинает работу семинар "Машинное обучение" под руководством доц. А.М.Миронова
15.10.17   18 октября – доклад доцента Г.В. Бокова «О проблеме вывода в пропозициональных исчислениях» на кафедральном семинаре «Теория автоматов»
Добавить новость или объявление>>>
 
Обновления на сервере
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   Обновлена страница проф. Бабина Д.Н.
28.03.16   Обновлен список публикаций на странице н.с. Черновой Ю.Г.
28.03.16   Обновлен список публикаций на странице с.н.с. Миронова А.М.
Полный список обновлений...