На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм
Подписаться на рассылку новостей сайта:    
Новости, объявления
07.04.20   15 апреля в 18:30 – встреча кафедры МаТИС со студентами 2 курса
29.03.20   Поздравляем с.н.с. Д.Н. Жука с получением Presburger Award 2020 года для выдающихся молодых ученых!
24.03.20   25 марта – доклад К.Воронцова на тему "Вероятностное тематическое моделирование больших текстовых коллекций и транзакционных данных" на семинаре А.М.Миронова "Большие данные и машинное обучение"
17.03.20   Заседания кафедрального семинара «Теория автоматов» 18 марта 2020 не будет
10.03.20   11 марта – доклад н.с. Н.Ю. Волкова "Автоматы и вычисления в лабиринтах" на кафедральном семинаре "Теория автоматов"
07.03.20   10 марта – доклад к.ф.-м.н. Казачук М.А. "Динамическая аутентификация пользователей на основе анализа работы с клавиатурой компьютера" на семинаре "Мягкие вычисления"
Добавить новость или объявление>>>
Архив новостей
04.07.15   6 июля – доклад Андрея Мохова "Графы с предикатами и их применения" на спецкурсе доц. П.А. Пантелеева "Введение в теорию помехоустойчивого кодирования"
04.06.15   С.н.с. Д.В. Алексеев – лауреат Всероссийского конкурса учителей биологии, математики, физики и химии 2015 года
21.05.15   Кафедра МаТИС поздравляет А.А. Летуновского и Д.В.Пархоменко с успешной защитой кандидатской диссертации
21.05.15   25 мая в 10:00 – государственный экзамен для студентов кафедры МаТИС!
Перейти в архив новостей...
Обновления на сайте
17.05.20   Размещена лекция 4 по курсу "Теория дискретных функций"
17.05.20   Опубликована новая версия первой части работы доц. А.М.Миронова "Верификация программ" ("Нерекурсивные программы")
17.05.20   Опубликована новая версия учебного пособия доц. А.М.Миронова по верификации программ методом Model Checking
10.05.20   Размещена лекция 5 по курсу "Теория дискретных функций"
04.05.20   Размещена лекция 12 по курсу "Теория дискретных функций"
30.04.20   Размещена информация о сдаче зачета по обязательному курсу "Компьютерное моделирование логических процессов" для студентов 5 курса кафедры МаТИС.
26.04.20   Размещена лекция 11 по курсу "Теория дискретных функций"
20.04.20   Размещена лекция 10 по курсу "Теория дискретных функций"
18.04.20   Размещена видео-запись онлайн-встречи сотрудников кафедры МаТИС и ее лабораторий со студентами 2 курса, прошедшей 15 апреля
18.04.20   Размещены презентации сотрудников кафедры МаТИС и ее лабораторий с онлайн-встречи со студентами 2 курса, прошедшей 15 апреля
12.04.20   Размещена презентация, суммирующая информацию о научных исследованиях и прикладных разработках кафедры МаТИС и ее лабораторий за период 1990-2020 годы
Полный список обновлений...