Шаблон:Current Seminars
Материал из Кафедра математической кибернетики
Версия от 20:44, 6 октября 2020; PodymovVV (обсуждение | вклад)
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 2 октября 2020 | "Условное тестирование схем Кардо" (Вороненко А.А.) | Пенкин В.А. (студент группы 418) |
| 9 октября 2020 | "Универсальные функции для классов линейных функций двух переменных" (Вороненко А.А., Окунева А.С.) | Журавлева С.А. (студент группы 318) |
| 16 октября 2020 | "Универсальные функции для классов линейных функций трех переменных" (Вороненко А.А., Окунева А.С.) | Фаерштейн И.С. (студент группы 518мк_дс) |
| 23 октября 2020 | "О сложности pаспознавания монотонности" (Вороненко А.А.) | Китаев С.Н. (асп. 1 г.о.) |
| Теория управляющих систем и математические модели СБИС | ||
| Сложность решения дискретных задач | ||
| Теоретические проблемы программирования | ||
| 8 октября 2020 | "Modelling and Verification of Timed Interaction and Migration" (G. Ciobanu, M. Coutny) | Евгений Винарский (студент группы 618мк_дус) |
| 15 октября 2020 | Проверка эквивалентности в одном классе многоленточных автоматов | Шынар Жайлауова (асп.) |
| 22 октября 2020 | Принципы устройства протокола блокчейна Ethereum и языка описания смарт-контрактов Solidity | Сергей Портнов (студент группы 418) |
| 29 октября 2020 | "Minimizing GFG Transition-Based Automata" (O. Kupferman, B. Abu Radi) | Артур Хашаев (асп.) |
| 12 ноября 2020 | "TCTL-preserving translations from timed-arc Petri nets to networks of timed automata" (J. Byg, M. Jacobsen, L. Jacobsen, K.Y. Jørgensen, M.H. Møller, J. Srba) | Георгий Попков (студент группы 518мк_дус) |
| 19 ноября 2020 | "Deterministic 1-counter automata" (M. Paterson, L. Valiant) | Нурлан Рахимжанов (студент группы 418) |
| 26 ноября 2020 | "2-Way Finite Automata" (Serena Rietbergen) | Диана Оспанова (студент группы 418) |
| 3 декабря 2020 | "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen) | Нина Куцак (студент группы 618мк_дус) |
| 10 декабря 2020 | "The mu-calculus and model checking" (I. Walukievicz, J. Bradfield) | Антон Гнатенко (ВШЭ) |
| 17 декабря 2020 | "Model Checking with Multi-Valued Logics" (G. Bruns, P. Godefroid) | Илья Мушкин (студент группы 418)
|
