Заглавная страница

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

Кафедра математической кибернетики, лаборатория дискретных управляющих систем и их приложений

Официальный сайт кафедры математической кибернетики и лаборатории дискретных управляющих систем факультета ВМК МГУ имени М.В. Ломоносова.

Объявления

14 сентября Вниманию студентов 518/2 группы! Занятия по курсу Проектирование больших систем на C++ с 15 сентября будут проходить в ауд. 609.
1 сентября Вниманию студентов 318 группы! Нагрузка по курсу Избранные вопросы дискретной математики (ИВДМ): лекции - каждую неделю, семинары - раз в две недели. В понедельник, 4 сентября, состоится только лекция по ИВДМ на 3-й паре.
1 сентября Поздравляем с началом нового учебного года! Успехов и новых свершений!
архив объявлений

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
21 апреля 2017 г. ауд. 507 Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.


Сложность решения дискретных задач
Теоретические проблемы программирования
7 апреля 2017 г. Проверка эквивалентности программ с неинтерпретируемыми функциями и целочисленной арифметикой.

Доклад по статье N.P. Lopes, J. Monteiro "Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic"

Доказательство эквивалентности программ имеет несколько важных приложений, в таких отраслях, как алгоритмы распознавания, регрессионное тестирование, тестирование сделанных компилятором оптимизаций и проверка утечек потоков информации. Несмотря на то что данная тема обладает важными приложениями, наука в проверки программ на эквивалентность не достигла серьёзных успехов за последние десятилетие в виду сложности этой задачи. В рассматриваемой статье предложен первая полуразрешающая процедура для автоматической проверки частичной эквивалентности двух программ, использующих неинтерпретируемые функции и работающих над целочисленной арифметикой (UF + IA). Предлагаемый алгоритм применим, в частности, к программам с вложенными циклами. Вначале проводится преобразование неинтерпретируемых функций (UF) в целочисленные полиномы, которые позволяют точно суммировать циклы с вхождениями UF, использующих рекурсию. Затем алгоритм проверки на эквивалентность переходит к свободным от циклов программам, оперирующих только целыми числами.

Е.М. Винарский, В.В. Подымов



Информация

История

Сотрудники

Лекционные курсы

Спецкурсы

Спецсеминары

Семинары

Учебный план

Расписание

Магистерские программы

Научная работа

Информация для 2-го курса

Конференции

События

Фотографии