Общие новости

19.04.2020

Анонс онлайн семинара по ТУОС 23 апреля 2020 года

На семинаре ТУОС 23 апреля планируется два выступления
1.  Доклад Федянина Дениса, научного сотрудника лаборпатории 57 ИПУ РАН о т.н. Read-once functions - булевых функциях, приводимым к виду, где каждая переменнная встречается не более одного раза. В докладе будут упоминаться результаты из этой статьи    https://www.researchgate.net/publication/220082179_Read-Once_Functions_Revisited_and_the_Readability_Number_of_a_Boolean_Function
Пример функции, которая не может быть read-once это функция f=x_1 \land x_2 \lor x_2 \and x_3\lor x_1 \land \x_3.

2. Доклад Стулова Алексея Вадимовича по теме "Системный инжиниринг цифровых двойников. Как создать фабрику цифровых двойников"

Присоединится к семинару в часы работы семинара (с 18-30 по четвергам) можно по ссылке https://us04web.zoom.us/j/391810969