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