Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
30 сентября 2016 года	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Дискретный анализ
30 сентября 2016 г.	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Теория управляющих систем и математические модели СБИС
2 декабря 2016 г.	Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада	Уваров И.В.
Некоторые вопросы теории управляющих систем
2 декабря 2016 г.	Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада	Уваров И.В.
Сложность решения дискретных задач
30 сентября 2016 г.	Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.	Нургалиев М.
Теоретические проблемы программирования {{announce Seminar|02 декабря 2016 года			Задача обеспечения отказоустойчивости распределенных вычислительных систем. Продолжение доклада по статье "The Byzantine Generals Problem", L. Lamport, R. Shostak, M. Pease. ACM Transactions on Programming Languages and Systems. 1982, 4 (3), p. 382–401. На этот раз рассматриваем модель взаимодействующих процессов, в которой участники располагают средствами контроля целостности отправляемых сообщений. Насколько быстрее им удастся прийти к консенсусу?	Н.С. Словеснов