Шаблон:Current Seminars
Материал из Кафедра математической кибернетики
Версия от 13:54, 2 декабря 2016; ZakharovVA (обсуждение | вклад)
Доклады на спецсеминарах
Дискретная математика и математическая кибернетика | ||||
Дискретные функции и сложность алгоритмов | ||||
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.
На этот раз рассматриваем модель взаимодействующих процессов, в которой участники располагают средствами контроля целостности отправляемых сообщений. Насколько быстрее им удастся прийти к консенсусу? |
Н.С. Словеснов |