Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.
Руководители: проф. Ложкин Сергей Андреевич, проф. Марченко Александр Михайлович, доц. Романов Дмитрий Сергеевич.
Участники семинара и таблица посещаемости (14.12.2016)
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 22 сентября
|
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
|
Жуков В.В.
|
| 29 сентября
|
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
|
Курбацкая В.К.
|
| 6 октября
|
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
|
Высоцкий Л.И.
|
| 20 октября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
| О динамической активности схем из функциональных элементов.
|
Шуплецов М.С.
|
| 27 октября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада
|
Автайкина Мария
|
| 3 ноября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада
|
В. К. Курбацкая
|
| 11 ноября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
| Доклад "О глубине ступенчатых функций".
|
Д. С. Кинжикеева
|
| 17 ноября
|
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
|
Павлова А.Ф.
|
| 24 ноября
|
| Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
|
Крюков Павел
|
|
