Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 20: Строка 20:
 
|-
 
|-
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
{{announce Seminar|11 ноября 2016 г.  
+
{{announce Seminar|18 ноября 2016 г.  
| Окончание доклада "О глубине мультиплексорной функции" <sup>[[Media:zabluk.docx|Аннотация доклада]]</sup>
+
| Доклад характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции"
| Титов В.А.}}
+
| Довгалюк Е.Л.}}
  
 
|-
 
|-
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
{{announce Seminar|11 ноября 2016 г.  
+
{{announce Seminar|18 ноября 2016 г.  
| Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" <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" Тейта и др. для преобразования императивных программ) и заключается в преобразовании структуры данных, описывающей целое множество программ, а не одну программу. Используемые преобразования, однако, в основном взяты из суперкомпиляции. В рамках метода также предложено преобразование, названное слиянием по бисимуляции, соответствующее доказательству эквивалентности функций по индукции или коиндукции. Показано, что метод применим для индуктивного доказательства эквивалентности программ.

Гречаник Сергей Александрович (ИПМ им.М.В.Келдыша РАН)