English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу
Подписаться на рассылку новостей сайта:    
Новости, объявления
03.12.16   9 декабря – встреча с представителями Альфа-Банка на семинаре «Математические вопросы информатики» под руководством А.М.Миронова и С.В.Моисеева
18.11.16   23 ноября – доклад м.н.с. Родина С.Б. «Кодирование и размещение состояний автоматов» на кафедральном семинаре «Теория автоматов»
16.11.16   18 ноября – доклад чл.-корр. РАН Л.Д. Беклемишева «О теоремах Гёделя о неполноте формальных систем» на семинаре «Математика. Кибернетика. Информатика» в СУНЦ МГУ
11.11.16   16 ноября – доклад Осокина В.В. и Алимова Р.Ф. «Промышленная математика» на кафедральном семинаре «Теория автоматов»
07.11.16   9 ноября – доклад доц. А.С. Строгалова «О полиномиальных функциях роста автоматных языков» на кафедральном семинаре «Теория автоматов»
30.10.16   2 ноября – доклад Г.В.Бокова «O характеризации неразрешимых пропозициональных исчислений» на кафедральном семинаре «Теория автоматов»
Добавить новость или объявление>>>
 
Архив новостей
04.07.15   6 июля – доклад Андрея Мохова "Графы с предикатами и их применения" на спецкурсе доц. П.А. Пантелеева "Введение в теорию помехоустойчивого кодирования"
04.06.15   С.н.с. Д.В. Алексеев – лауреат Всероссийского конкурса учителей биологии, математики, физики и химии 2015 года
21.05.15   Кафедра МаТИС поздравляет А.А. Летуновского и Д.В.Пархоменко с успешной защитой кандидатской диссертации
21.05.15   25 мая в 10:00 – государственный экзамен для студентов кафедры МаТИС!
Перейти в архив новостей...
Обновления на сайте
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   Обновлен список публикаций на странице н.с. Черновой Ю.Г.
Полный список обновлений...
   © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru