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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 +
{{announce Seminar|
 +
|
 +
| }}
 +
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
{{announce Seminar | 2 октября 2020
 
{{announce Seminar | 2 октября 2020
| Доклад по статье "Вороненко А.А. Условное тестирование схем Кардо // Вестник Моск. ун-та. Сер. 15 Вычислительная математика и кибернетика, 2020, N 3, c. 57-60."
+
| "Условное тестирование схем Кардо" (Вороненко А.А.)
 
| Пенкин В.А. (студент группы 418)}}
 
| Пенкин В.А. (студент группы 418)}}
 
{{announce Seminar | 9 октября 2020
 
{{announce Seminar | 9 октября 2020
| Доклад по статье "Вороненко А.А., Окунева А.С. Универсальные функции для классов линейных функций двух переменных // Дискретная математика..32- 2020, N 1, c.3-7."
+
| "Универсальные функции для классов линейных функций двух переменных" (Вороненко А.А., Окунева А.С.)
 
| Журавлева С.А. (студент группы 318)}}
 
| Журавлева С.А. (студент группы 318)}}
 
{{announce Seminar | 16 октября 2020
 
{{announce Seminar | 16 октября 2020
| Доклад по статье "Вороненко А.А., Окунева А.С. Универсальные функции для классов линейных функций трех переменных // Прикладная математика и информатика, М.: Макс Пресс. 2020, N58, c.112-121."
+
| "Универсальные функции для классов линейных функций трех переменных" (Вороненко А.А., Окунева А.С.)
 
| Фаерштейн И.С. (студент группы 518мк_дс)}}
 
| Фаерштейн И.С. (студент группы 518мк_дс)}}
 
{{announce Seminar | 23 октября 2020
 
{{announce Seminar | 23 октября 2020
| Доклад по статье "Вороненко А.А. О сложности pаспознавания монотонности // Математические вопpосы кибеpнетики. М.: Физматлит, 1999. Выпуск 8, с.301-303."
+
| "О сложности pаспознавания монотонности" (Вороненко А.А.)
 
| Китаев С.Н. (асп. 1 г.о.)}}
 
| Китаев С.Н. (асп. 1 г.о.)}}
  
Строка 31: Строка 35:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar|  
+
{{announce Seminar| 8 октября 2020
|
+
| "Modelling and Verification of Timed Interaction and Migration" (G. Ciobanu, M. Coutny)
| }}
+
| Евгений Винарский (студент группы 618мк_дус)}}
 +
{{announce Seminar| 15 октября 2020
 +
| Проверка эквивалентности в одном классе многоленточных автоматов
 +
| Шынар Жайлауова (асп.)}}
 +
{{announce Seminar| 22 октября 2020
 +
| Принципы устройства протокола блокчейна Ethereum и языка описания смарт-контрактов Solidity
 +
| Сергей Портнов (студент группы 418)}}
 +
{{announce Seminar| 29 октября 2020
 +
| "Minimizing GFG Transition-Based Automata" (O. Kupferman, B. Abu Radi)
 +
| Артур Хашаев (асп.)}}
 +
{{announce Seminar| 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мк_дус)}}
 +
{{announce Seminar| 19 ноября 2020
 +
| "Deterministic 1-counter automata" (M. Paterson, L. Valiant)
 +
| Нурлан Рахимжанов (студент группы 418)}}
 +
{{announce Seminar| 26 ноября 2020
 +
| "2-Way Finite Automata" (Serena Rietbergen)
 +
| Диана Оспанова (студент группы 418)}}
 +
{{announce Seminar| 3 декабря 2020
 +
| "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen)
 +
| Нина Куцак (студент группы 618мк_дус)}}
 +
{{announce Seminar| 10 декабря 2020
 +
| "The mu-calculus and model checking" (I. Walukievicz, J. Bradfield)
 +
| Антон Гнатенко (ВШЭ)}}
 +
{{announce Seminar| 17 декабря 2020
 +
| "Model Checking with Multi-Valued Logics" (G. Bruns, P. Godefroid)
 +
| Илья Мушкин (студент группы 418)}}
  
  

Версия 20:44, 6 октября 2020

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
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)