Шаблон:Current Seminars — различия между версиями
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
||
Строка 27: | Строка 27: | ||
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | |colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | ||
{{announce Seminar|11 ноября 2016 г. | {{announce Seminar|11 ноября 2016 г. | ||
− | | Доклад "О модели предикантных схем и связи между замкнутыми классами | + | | Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" <sup>[[Media:rom.docx|Аннотация доклада]]</sup> |
| Щуплецов М.С.}} | | Щуплецов М.С.}} | ||
|- | |- |
Версия 12:20, 10 ноября 2016
Доклады на спецсеминарах
Дискретная математика и математическая кибернетика | ||
Дискретные функции и сложность алгоритмов | ||
30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
Дискретный анализ | ||
30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
Теория управляющих систем и математические модели СБИС | ||
11 ноября 2016 г. | Окончание доклада "О глубине мультиплексорной функции" Аннотация доклада | Титов В.А. |
Некоторые вопросы теории управляющих систем | ||
11 ноября 2016 г. | Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" Аннотация доклада | Щуплецов М.С. |
Сложность решения дискретных задач | ||
30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
Теоретические проблемы программирования | ||
11 ноября 2016 года | Доказательство свойств функциональных программ методом насыщения
равенствами. В докладе рассматривается метод преобразования программ на нестрогом функциональном языке первого порядка, основанный на комбинации методов насыщения равенствами и суперкомпиляции. Общая идея метода совпадает с идеей насыщения равенствами (предложенного в работе "Equality Saturation: A New Approach to Optimization" Тейта и др. для преобразования императивных программ) и заключается в преобразовании структуры данных, описывающей целое множество программ, а не одну программу. Используемые преобразования, однако, в основном взяты из суперкомпиляции. В рамках метода также предложено преобразование, названное слиянием по бисимуляции, соответствующее доказательству эквивалентности функций по индукции или коиндукции. Показано, что метод применим для индуктивного доказательства эквивалентности программ. |
Гречаник Сергей Александрович (ИПМ им.М.В.Келдыша РАН)
|