Спецсеминар для бакалавров 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 ноября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада
|
В. К. Курбацкая
|
|
