Шаблон: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" Тейта и др. для преобразования императивных программ) и заключается в преобразовании структуры данных, описывающей целое множество программ, а не одну программу. Используемые преобразования, однако, в основном взяты из суперкомпиляции. В рамках метода также предложено преобразование, названное слиянием по бисимуляции, соответствующее доказательству эквивалентности функций по индукции или коиндукции. Показано, что метод применим для индуктивного доказательства эквивалентности программ. |
Гречаник Сергей Александрович (ИПМ им.М.В.Келдыша РАН)
|
