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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
(Расписание докладов)
(не показаны 17 промежуточные версии 3 участников)
Строка 2: Строка 2:
  
 
''Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.''
 
''Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.''
 +
 +
[[Media:pcst16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 13: Строка 15:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
| rowspan="2" align="center" | 23 сентября
+
| rowspan="2" align="center" | 20 октября
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
|-
+
| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
+
| Жуков В.В.
+
 
|-
 
|-
| align="center" | 14 октября
+
| О динамической активности схем из функциональных элементов.
| Доклад по статье Маркова А.А. "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций." <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup>
+
| align="center" | Шуплецов М.С.
| Ложкин С.
+
 
|-
 
|-
| align="center" | 21 октября
+
| rowspan="2" align="center" | 27 октября
| Доклад "Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один." <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Романов Д.С.
+
 
|-
 
|-
| align="center" | 28 октября
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| Доклад "Об одной булевской матрице" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| align="center" | Автайкина Мария
| Данилов Б.Р.
+
 
|-
 
|-
| align="center" | 11 ноября
+
| rowspan="2" align="center" | 3 ноября
| Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| Щуплецов М.С.
+
 
|-
 
|-
| align="center" | 18 ноября
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
| Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
+
| align="center" | В. К. Курбацкая
| Ложкин С.А.
+
 
|-
 
|-
| rowspan="2" align="center" | 25 ноября
+
| rowspan="2" align="center" | 11 ноября
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 508)
 
|-
 
|-
| Доклад по работе Попкова К.А. тестах замыкания для контактных схем" <sup>[[Media:%D0%9A_%D0%90_%D0%9F%D0%BE%D0%BF%D0%BA%D0%BE%D0%B2_%D0%9A%D0%A1-%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA.doc|Аннотация доклада]]</sup>
+
| Доклад "О глубине ступенчатых функций".
| Тамм Я.-М.Ю.
+
| align="center" | Д. С. Кинжикеев
 
|-
 
|-
 
|}
 
|}

Версия 10:33, 10 ноября 2017

NekVoprSinteza.jpg

Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.

Участники семинара и таблица посещаемости (14.12.2016)

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

Дата Тема доклада Докладчик
20 октября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
О динамической активности схем из функциональных элементов. Шуплецов М.С.
27 октября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада Автайкина Мария
3 ноября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада В. К. Курбацкая
11 ноября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 508)
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев


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

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

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