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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 +
<!--
 
{{announce Seminar | 6 ноября 2020
 
{{announce Seminar | 6 ноября 2020
 
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
 
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
Строка 7: Строка 8:
 
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
 
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
 
| '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}}
 
| '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}}
 +
-->
  
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
{{announce Seminar | 26 марта 2021
+
{{announce Seminar|  
|Продолжение доклада "О пороговых булевых функциях" (в 16.20 в Skype, группа СПСЁ)
+
|  
| Алексеев В.Б. (профессор кафедры МК)}}
+
| }}
 
+
{{announce Seminar | 2 октября 2020
+
| "Условное тестирование схем Кардо" (Вороненко А.А.)
+
| Пенкин В.А. (студент группы 418)}}
+
{{announce Seminar | 9 октября 2020
+
| "Универсальные функции для классов линейных функций двух переменных" (Вороненко А.А., Окунева А.С.)
+
| Журавлева С.А. (студент группы 318)}}
+
{{announce Seminar | 16 октября 2020
+
| "Универсальные функции для классов линейных функций трех переменных" (Вороненко А.А., Окунева А.С.)
+
| Фаерштейн И.С. (студент группы 518мк_дс)}}
+
{{announce Seminar | 23 октября 2020
+
| "О сложности pаспознавания монотонности" (Вороненко А.А.)
+
| Китаев С.Н. (асп. 1 г.о.)}}
+
  
 
|-
 
|-
Строка 41: Строка 30:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 8 октября 2020
+
{{announce Seminar|  
| "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
+
| "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen)
+
| Нина Куцак (студент группы 618мк_дус)}}
+
{{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
+
| "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| 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)}}
+
 
+
 
+
<!--
+
|-
+
|colspan="3"|'''[[Просеминар для 2-го курса]]'''
+
{{announce Seminar||| }}
+
-->
+
|}
+

Версия 23:04, 13 апреля 2022

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Теория управляющих систем и математические модели СБИС
Сложность решения дискретных задач
Теоретические проблемы программирования