Объявления

В среду, 6 апреля, в 18:30 в ауд. 12-06 на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад в.н.с. Алисейчика Павла Александровича 'Опыт и перспективы дистанционного преподавания программирования в Ташкентском Филиале МГУ'. Приглашаются все желающие.

Кафедра МаТИС организует встречу со студентами 2-го курса, на которой будут освещены основные направления кафедры в области мат. кибернетики, дискретной математики, информатики, мат. биологии, мат. экономики, математизации естественных и технических наук и других разделов познания, в том числе следующие прикладные задачи:

• теория автоматов и роботов,

Во вторник, 5 апреля, на семинаре "Мягкие вычисления" (16:45, ауд. 1226-Б ГЗ) состоится доклад профессора Сергея Викторовича Ульянова на тему 'Интеллектуальное и когнитивное управление на основе интерфейса 'мозг - компьютер - робот': Технологии квантовых мягких вычислений".

Будут рассмотрены основы гибридного интеллектуального / когнитивного управления на основе интерфейса 'мозг - компьютер - робот', что позволяет включить в контур управления модели человека - оператора, учитывать его скрытые возможности с учетом возможных ошибок в условиях непредвиденных ситуаций управления с целью повышения надежности и робастности робототехнических и социотехнических систем.

Сергей Викторович Ульянов - доктор физико-математических наук, профессор Токийского университета передачи информации, Миланского университета, Калифорнийского университета и ГУ 'Дубна'. Научный консультант Yamaha Motor Co., ST Microelectronics. Участник проекта 'Союз - Апполо', лидер проектов 'Yamaha Motor Co. - ST Microelectronics, КМОБ (США).

Некоторые работы профессора Ульянова по теме доклада доступны для ознакомления по ссылке https://drive.google.com/folderview?id=0B-djLg7gLIjcSTI2bldCMkcxeVU&usp=sharing.

В среду, 30 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад доц. Рыжова А.П. 'Прорывные технологии по версии McKinsey и связанные с ними задачи'. Приглашаются все желающие.

Во вторник, 29 марта, на семинаре "Мягкие вычисления" (16:45, ауд. 1226-Б ГЗ) состоится доклад профессора Александра Николаевича Райкова на тему "Препятствия на пути развития ИИ в XXI веке и способы их преодоления.". Будут рассмотрены ретроспективные истоки, иллюзии и успехи искусственного интеллекта (ИИ). Характеристики решаемых с помощью ИИ проблем. Возможные ловушки для будущего развития ИИ и способы их возможного преодоления.

Александр Николаевич Райков - доктор технических наук, профессор, действительный государственный советник Российской Федерации 3 класса, Лауреат премии Правительства РФ в области науки и техники. Профессор А.Н. Райков разрабатывал автоматизированные системы управления для высших эшелонов власти CCCP. В 1992 - 1999 гг. - начальник информационно-аналитического отдела Администрации Президента Российской Федерации, координатор работы Ситуационного центра Президента Российской Федерации. Под научным и организационным руководством АН.Райкова реализовано около 100 проектов для: Администрации Президента Российской Федерации, Минобрнауки России, Минэкономразвития России, Московского правительства, Ханты-Мансийского и Ненецкого автономных округов, Республики Казахстан, ряда крупных предприятий и организаций.

Во вторник, 30 марта, в 16:00 состоится аттестация аспирантов 3-го года обучения по кафедре МаТИС.

Кафедра Математической теории интеллектуальных систем сердечно поздравляет Петюшко Александра Александровича с успешной защитой кандидатской диссертации на тему 'Биграммные языки' и желает ему дальнейших успехов в научной деятельности!

В пятницу, 25 марта, в 16:45 в ауд. 14-08 состоится защита кандидатской диссертации Петюшко Александра Александровича (научный руководитель - проф. Дмитрий Николаевич Бабин).

После защиты состоится праздничное чаепитие на кафедре.

Приглашаются все желающие.

В среду, 23 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Осокина В.В. и Алимова Р.Ф. 'Программы расчета промышленного оборудования'. Приглашаются все желающие.

В среду, 16 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад доц. Пантелеева П.А. 'О простых диагностических экспериментах с автоматами'. Приглашаются все желающие.

В среду, 9 марта, в 18:30 в ауд. 12-06 на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Мазуренко И.Л. 'Об автоматическом детектировании объектов на изображениях'.

В среду, 2 марта, в 18:30 в ауд. 1206 на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Шуткина Ю.С. на тему: 'О сложности монотонных информационных графов'.

Во вторник, 01 марта, в 16:45 в аудитории 1226 Б на семинаре "Мягкие вычисления" состоится доклад Андрея Краснопольского и Марины Пайвиной на тему 'Бизнес-аналитика: как найти пользу? Анализ кейсов применения BI-систем Qlik'.

О компании 'Консультационная Группа АТК':

Консультационная Группа АТК основана в 1997 году и уже более 8 лет занимается внедрением BI-систем класса Data Discovery на территории России.

Компания уже завершила внедрение систем QlikView, Qlik Sense и Microsoft Power BI в более 200 ведущих российских и международных компаниях:АльфаСтрахование, X5 Retail Group, SPAR, Campina, Heinz, Фармстандарт, Salamander и других.

Консультационная Группа АТК является интегратором 'Лучшего BI-проекта-2013' в компании INCITY и 'Лучшего масштабного аналитического решения-2015' в компании Orange Business Services (по версии GlobalCIO).

Специалисты Консультационной Группы АТК разработали ряд технологических и визуализационных ноу-хау, например, ATK Qlik 1C Коннектор, предназначенный для эффективной и высокоскоростной интеграции Qlik и 1C, а также АТК QlikView R Коннектор для интеграции с прогнозной аналитикой R Project.

На базе выполненных проектов 'Консультационная Группа АТК' создала библиотеку моделей отраслевых решений для розничной торговли, микрофинансирования, дистрибуции, страхования, фармацевтики, производства, телекоммуникаций.

О докладчиках:

Андрей Краснопольский, генеральный директор, Консультационная Группа АТК.

MBA Finance, бизнес-школа California State University East Bay.

После пяти лет работы в ИТ-компании Scala CIS, где Андрей занимал должность руководителя проектов, в 1997 году вместе с партнером, Андреем Тереховым, основал компанию по автоматизации управленческих бизнес-процессов - 'Консультационную Группу АТК'.

Опыт внедрения информационных систем - более 23 лет. Опыт работы с in-memory аналитическими системами - более 8 лет.

Андрей читает лекции и проводит практические занятия по системам бизнес-аналитики в НИУ ВШЭ и МГТУ им. Баумана.

Марина Пайвина, директор по маркетингу, Консультационная Группа АТК.

Более 5 лет занимается in-memory аналитическими системами, активно участвует в развитии сообщества профессионалов по работе с аналитическими системами - qRUG, Qlik Russia User Group.

С 2014 года организует совместный с компанией Qlik студенческий конкурс 'АТК Qlik Olympics' по разработке BI-приложений.

Марина читает лекции по системам бизнес-аналитики в НИУ ВШЭ и МГТУ им. Баумана.

4 марта 2016 г., в пятницу, в 17 час. 00 мин., в Актовом зале СУНЦ МГУ состоится доклад ведущего научного сотрудника Кафедры МаТИС мехмата МГУ Валентина Александровича Носова на тему: 'Защита информации и криптография в контексте математики' и демонстрация фильма 'Зашифрованная война'.

В среду, 24 февраля, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д. В. Алексеева 'Восстановление трехмерных тел по плоским проекциям. Условия существования'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

29 января 2016 года, в пятницу, в 17 часов в ауд. 39 СУНЦ МГУ на заседании совместного учебно-научного семинара кафедры Математической теории интеллектуальных систем (МаТИС) мехмата МГУ и СУНЦ МГУ 'Математика. Кибернетика. Информатика' состоится доклад профессора кафедры Математической теории интеллектуальных систем (МаТИС) механико-математического факультета МГУ, доктора физико-математических наук Александра Сергеевича Подколзина и доцента кафедры Математической теории интеллектуальных систем (МаТИС) механико-математического факультета МГУ, кандидата физико-математических наук Павла Анатольевича Пантелеева на тему: 'Компьютерный решатель математических задач'.

Доклад посвящен компьютерному моделированию процессов решения математических задач человеком. Построен компьютерный решатель математических задач в различных областях математики: школьная математика, комбинаторика, математический анализ, аналитическая геометрия, дифференциальные уравнения, элементы теории вероятностей. Реализован новый подход к моделированию процесса решения задач, основанный на формализованном представлении реальных логических процессов. Решатель апробирован на задачах вступительных экзаменов по математике.

8 февраля в 14:00 состоится заседание кафедры МаТИС, посвященное началу нового учебного семестра. Явка всем сотрудникам кафедры МаТИС и лаборатории ПТК обязательна.

Дополнительно зачеты по межфакультетскому курсу 'Распознавание образов' можно будет сдавать:

1. 20 января в 13 ч.30 мин. в ауд. 14-05 мехмат факультета
2. 22 января в 13 ч.30 мин. в ауд. 12-08 мехмат факультета

Дополнительный зачет по межфакультетскому курсу 'Распознавание образов' состоится 24 декабря в 15.00 во 2-ом учебном корпусе.

Сбор около аудитории 339 ВМиК.

В среду, 16 декабря, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д.Н. Жука 'О сложности решения задачи удовлетворения ограничениям'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В среду, 9 декабря, на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б.Кудрявцева состоится доклад А.А.Плетнева 'Моделирование динамических баз данных'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

7 декабря 2015 года, в понедельник, в 17 часов в Актовом зале СУНЦ МГУ на заседании совместного учебно-научного семинара кафедры Математической теории интеллектуальных систем (МаТИС) мехмата МГУ и СУНЦ МГУ 'Математика. Кибернетика. Информатика' состоится доклад кандидата физико-математических наук, доцента кафедры газовой и волновой динамики механико-математического факультета МГУ, заведующего кафедрой математики СУНЦ МГУ Владимира Леонидовича Натяганова на тему: 'Миф о Тунгусском 'метеорите' и обратные задачи прикладной математики'.

В докладе на элементарно-интуитивном уровне вводятся понятия о прямых, полуобратных и обратных задачах прикладной математики на примере спорных и до сих пор нерешенных геофизических проблем.

К таким проблемам в геофизике относятся:

• природа и физические механизмы геомагнитного поля Земли;
• сохранение суммарного заряда планеты или квазистационарность атмосферного электрического поля 'хорошей погоды', открытого еще М.В. Ломоносовым более 250 лет назад;
• природа, физические механизмы и парадоксальные свойства шаровой молнии;
• механизмы зарождения и развития тайфунов или ураганов, торнадо и низовых прорывов из грозовых облаков;
• краткосрочный прогноз землетрясений (дни-недели) по месту, времени и магнитуде.

Эти и другие проблемы геофизики с неоднозначностью причинно-следственных связей и многовариантностью возможных механизмов функционирования сложных природных систем всегда вызывали повышенный интерес исследователей и жаркие споры между сторонниками различных гипотез.

В докладе основное внимание уделено анализу противоречивых явлений, сопутствовавших мощному и во многом загадочному Тунгусскому взрыву 30.06.1908 г. в Восточной Сибири. Длительное время считалось, что это был высотный 'взрыв' метеорита или ядра кометы, влетевшего в плотные слои атмосферы с огромной скоростью, взрывные и тепловые волны которого вызвали странный повал леса (на площади, превышающей площадь г. Москвы) и пятнистый ожог. Однако в рамках этих космических версий не удавалось в течение более полувека теоретически обосновать без явных противоречий все фактические данные по этому парадоксальному природному явлению.

В докладе приводится геофизический сценарий Тунгусского взрыва как вулканогенного землетрясения, по которому все мнимые парадоксы Тунгуски получили непротиворечивое теоретическое обоснование и являются взаимообусловленными литосферно-атмосферно-ионосферными признаками ряда землетрясений, но более ярко выраженными.

Приглашаются все желающие и, особенно, новый набор 10-х классов, для которых будет сделан ряд важных объявлений

Натяганов Владимир Леонидович - кандидат физико-математических наук, доцент кафедры газовой и волновой динамики механико-математического факультета МГУ, заведующий кафедрой математики СУНЦ с 1 сентября 2015 г.

Натяганов В.Л. закончил с отличием мехмат МГУ в 1975 г., в 1984-1987 гг. был директором ФМШ ? 18 при МГУ; является автором более 120 научных работ, 4-х пособий для абитуриентов и школьников, соавтором одной коллективной монографии; научным руководителем 4-х кандидатских диссертаций, 2-х грантов РФФИ и ответственным исполнителем от МГУ по Госконтракту с Министерством образования и науки России.

Натяганов В.Л. за научные заслуги награжден: медалью им. Х.А. Рахматулина Российского национального комитета по теоретической и прикладной механике за разработку приоритетных моделей электрогидродинамики в гетерогенных средах; медалью к 100-летию Г.А. Тюлина Федерации космонавтики России за теоретическое обоснование эмпирической схемы краткосрочного прогноза землетрясений и механизмов образования облачных сейсмотектонических индикаторов, наблюдаемых при космическом мониторинге над эпицентрами будущих землетрясений.

В среду, 2 декабря, на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б.Кудрявцева состоится доклад Якимца Кузьмы Кирилловича 'О консервативных однородных структурах'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В среду, 25 ноября, на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б.Кудрявцева состоится доклад аспиранта Иванова И.Е. 'Оценки периодов выходных последовательностей автономных автоматов с магазинной памятью'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В среду, 18 ноября, на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б.Кудрявцева состоится доклад м.н.с. Г.В. Бокова 'О средствах обнаружения неразрешимости проблемы выразимости'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В среду, 11 ноября, на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б.Кудрявцева состоится доклад проф. В.Н. Козлова на тему: 'Аффинное наложение конечных множеств точек друг на друга, минимизирующее расстояние Хаусдорфа между ними'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

Кафедра Математической теории интеллектуальных систем сердечно поздравляет Титову Елену Евгеньевну с успешной защитой кандидатской диссертации на тему 'Конструирование изображений клеточными автоматами' и желает ей дальнейших успехов в научной деятельности!

В среду, 28 октября, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. А.М. Миронова 'Усиление критерия Р.Г.Бухараева реализуемости вероятностных реакций конечными вероятностными автоматами'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В среду, 21 октября, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад доцента А.А Часовских 'Критериальные системы в классах линейно-автоматных функций над конечными полями'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В четверг, 15 октября 2015 года, в 18 ч. 30 м. в аудитории 14-08 ГЗ МГУ на отрытом семинаре 'Наука и культура' состоится выступление академика Российской академии наук, профессора, заведующего кафедрой дифференциальной геометрии и приложений механико-математического факультета МГУ Анатолия Тимофеевича Фоменко на тему 'Геометрия и механика в наглядных образах'.

Анатолий Тимофеевич Фоменко - выдающийся русский математик, академик РАН, лауреат Государственной Премии Российской Федерации и многих других премий. А.Т. Фоменко известен также своими оригинальными картинами, в том числе и связанными с математикой. Еще одна область, где А.Т. Фоменко приобрел широкую известность - это история, ее новая хронология.

Совет семинара: В. Б. Кудрявцев (Председатель), В. В. Александров, Д. В. Алексеев (Секретарь), В. А. Буевич, В. Ф. Бутузов, М. М. Глухов, Ю. Л. Ершов, В. Н. Козлов, Л. Н. Королев, Ф. Ф. Кузнецов, В. А. Малышев, А. С. Мищенко, М. К. Потапов, А. С. Строгалов.

В среду, 14 октября, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. П.С. Дергача 'Об алфавитном декодировании регулярных языков с полиномиальной функцией роста'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В пятницу, 9 октября, в 16:45 в ауд. 14-08 состоится защита кандидатской диссертаций Титовой Елены Евгеньевны 'Конструирование изображений клеточными автоматами'.

После защиты состоится праздничное чаепитие на кафедре.

Приглашаются все желающие.

Кафедра Математической теории интеллектуальных систем сердечно поздравляет Александрова Дмитрия Евгеньевича с успешной защитой кандидатской диссертации на тему 'Сложность распознавания принадлежности слова регулярному языку в системах обнаружения вторжений' и желает ему дальнейших успехов в научной деятельности!

В среду, 7 октября, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад м.н.с. Г.В.Бокова 'Решетка клонов трехзначной логики, содержащих функцию максимума для нелинейного частичного порядка'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В субботу, 3 октября, в 16:45 начнет работу специальный курс с.н.с. И.Л. Мазуренко 'Математические основы цифровой обработки сигналов и изображений'. Место сбора - кафедра МаТИС (ауд. 12-02). Желающим участвовать в работе курса просьба сообщить об этом через форму обратной связи с лектором.

В среду, 30 сентября, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад выпускника аспирантуры кафедры МаТИС А.А. Петюшко 'Классификация биграммных языков'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В среду, 23 сентября, на заседании кафедрального семинара 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад с.н.с. Д.Н. Жука 'О размере порождающего множества декартовых степеней алгебры'. Место проведения семинара - ауд. 12-06 ГЗ МГУ, время - 18:30. Приглашаются все желающие.

В среду, 16 сентября 2015 г., в 18:30, в ауд. 12-06 Главного здания МГУ на кафедральном семинаре 'Теория автоматов' под руководством академика В.Б. Кудрявцева состоится доклад профессора Буевича Вячеслава Александровича на тему: 'Об алгоритмической неразрешимости задачи о полноте систем, содержащих все одноместные ограниченно-детерминированные функции'. Приглашаются все желающие.

Во вторник, 8 сентября, состоится вступительный экзамен в аспирантуру. Начало - в 10:00 на кафедре, преподавателям можно подходить к 11:00. Явка всех научных руководителей будущих аспирантов обязательна.

В субботу, 5 сентября 2015 г., в 12:30 в ауд. 12-12 состоится первое занятие спецсеминара 'Технологии проектирования решателей математических задач'. В основном, на этом занятии речь пойдет о семантическом анализе текстов и разработке новой версии решателя математических задач проф. А.А. Подколзина. Приглашаются все желающие.

В субботу, 5 сентября 2015 г., в 9:00 в ауд. 12-12 состоится первое занятие спецсеминара проф. Э.Э. Гасанова 'Вопросы сложности алгоритмов поиска', на котором студенты и аспиранты Э.Э. Гасанова расскажут третьекурсникам о своих задачах. Студентам 3-го курса Э.Э.Гасанова явка обязательна.

Заседание кафедры МаТИС, посвященное началу нового учебного года, состоится 2 сентября в 14:00.

Явка сотрудников кафедры и лаборатории - обязательна.

Вышел первый том ('Архитектура и языки решателя задач') монографии профессора А.С. Подколзина 'Компьютерное моделирование логических процессов' (Москва, Физматлит, 2008 г., 1024 страниц).

Данная монография описывает многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения решателей. Обучение компьютерной системы предпринималось в различных областях математики и в элементарной физике. Моделировались также логические процессы, возникающие при анализе текстов естественного языка, анализе изображений и принятии решений в игровых ситуациях. Всего было проработано около 9 тысяч задач и создано около 25 тысяч приемов. Поведение системы в тех областях, где был накоплен необходимый критический минимум приемов, выглядит вполне целесообразным и доказывает правильность предлагаемого подхода. Ход рассуждений демонстрируется по шагам, причем во многих разделах уровень сложности решаемых задач достаточно серьезен.

Материал монографии разбит на три книги. Данная, первая книга посвящена общему описанию архитектуры компьютерной системы и языкам программирования, созданным для ускорения процесса обучения. Эти языки, ЛОС (Логический Описатель Ситуаций) и ГЕНОЛОГ (ГЕНетический язык ЛОГического программирования), подняли обучение решателей практически до уровня формулировки математических теорем. Первый из них - чуть выше уровня ПРОЛОГ'а, второй - относится к первому примерно так же, как ПРОЛОГ к ассемблеру. Планируется выпуск второй и третьей книг. Вторая книга будет посвящена описанию собственно решателей; одновременно она может рассматриваться как курс программирования на ГЕНОЛОГе. Наконец, третья книга включит в себя материал, связанный с вопросами автоматического развития решателей и автоматизации теоретических исследований.

С оглавлением книги можно познакомиться на этой странице.

Книгу можно приобрести на кафедре МаТИС. Справки по телефону +7-495-939-46-37.

На кафедре МаТИС можно приобрести следующие книги:

• А.С. Подколзин 'Компьютерное моделирование логических процессов'
• В.Б.Кудрявцев, А.Е.Андреев, Э.Э.Гасанов 'Теория тестового распознавания'
• В.Б. Кудрявцев, Э.Э. Гасанов, А.С. Подколзин. 'Введение в теорию интеллектуальных систем'
• В.Б. Кудрявцев, Э.Э. Гасанов, О.А. Долотова, Г.Р.Погосян. 'Теория тестирования логических устройств'
• Э.Э. Гасанов, В.Б. Кудрявцев. 'Теория хранения и поиска информации'
• журнал 'Интеллектуальные системы' (тома 3, 4, 5, 8, 9, 10, 11 и 12)

Справки по телефону +7-495-939-46-37.