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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
Строка 57: Строка 57:
 
| Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" <sup> [[Медиа:SQCS07.05.2014.pdf | Аннотация доклада]]</sup>
 
| Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" <sup> [[Медиа:SQCS07.05.2014.pdf | Аннотация доклада]]</sup>
 
| Павлов Андрей
 
| Павлов Андрей
 +
|-
 +
| align="center" | 14 мая
 +
| Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" // Вестн. Моск. ун-та. Матем. Механ. 2012, № 2. С. 24-29.
 +
| Кухтинов Александр
 
|}
 
|}
  

Версия 18:57, 12 мая 2014

NekVoprSinteza.jpg

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

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



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

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

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

19 марта
2 апреля Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул" Зиновьев Владимир
9 апреля Задача выполнимости и верификация логических схем Шуплецов М. С.
16 апреля Доклад по статье Блюм Н., Сейсен М. "Характеристика всех оптимальных схем из функциональных элементов для одновременного вычисления AND и NOR" Добровецкий Даниил
30 апреля Доклад по статье Тиунчика А. А. "О реализации функций алгебры логики клеточными схемами ограниченной ширины" Аннотация доклада Чеховская Екатерина
7 мая Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" Аннотация доклада Павлов Андрей
14 мая Доклад по статье Д. С. Романова "Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины" // Вестн. Моск. ун-та. Матем. Механ. 2012, № 2. С. 24-29. Кухтинов Александр


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

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

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

Участники

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


Ссылки