15 апреля, среда, 16.20 |
Кафедра математической кибернетики |
II учебный корпус, 5 этаж, ауд. 526Б |
1 |
Проверка мультиаффинности многочленов над конечным полем. |
Доклад профессора Селезневой С.Н. |
2 |
О некоторых фрагментах решетки замкнутых классов в частичной k-значной логике. |
Доклад профессора Алексеева В.Б. |
3 |
Новые более точные оценки функции Шеннона для сложности контактных схем из неориентированных контактов. |
Доклад профессора Ложкина С.А., науч. сотр. Данилова Б.Р. |
4 |
Новые более точные оценки сложности реализации мультиплексорных функций в классе контактных схем из неориентированных контактов. |
Доклад профессора Ложкина С. А., студ. 1 курса магистратуры Хзмаляна Д. Э. |
5 |
Сложение “длинных” троичных чисел в двоичной системе счисления. |
Доклад вед. науч. сотр. Рамиля Альвареса Х. |
6 |
Пример применения алгебраической системы рассуждений, основанной на симметрическом выводе. |
Доклад ст. науч. сотр. Владимировой Ю.С. |