Некоторые вопросы теории управляющих систем — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
Строка 37: Строка 37:
 
|-
 
|-
 
| align="center" | 19 марта
 
| align="center" | 19 марта
 +
|-
 +
| align="center" | 26 марта
 +
| Задача выполнимости и верификация логических схем
 +
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
 
|}
 
|}
 +
  
  

Версия 14:27, 24 марта 2014

NekVoprSinteza.jpg

Спецсеминар для студентов 3 курса.

Проходит по средам с 14:35 до 16:10 в аудитории 507.



Расписание докладов

Дата Тема доклада Докладчик
19 февраля Инверсная сложность булевых функций. Аннотация доклада, Презентация Шуплецов М. С.
26 февраля
5 марта Методы обфускации кода для защиты программного обеспечения Аннотация доклада, Презентация Темербекова Гульгайша
14 марта О минимальных π-схемах для монотонных симметрических функций с порогом 2 Аннотация доклада Ложкин С. А.,

Шуплецов М. С.

19 марта
26 марта Задача выполнимости и верификация логических схем Шуплецов М. С.


   
     
темы семинаров предварительные, следите за возможными изменениями архив докладов за прошлые семестры

Руководители

Научные кураторы

Участники

Студенты 3-го курса:


Ссылки