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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов: Видимые границы таблицы)
 
(не показаны 98 промежуточные версии 5 участников)
Строка 1: Строка 1:
 +
[[Категория:Архив спецсеминаров кафедры математической кибернетики]]
 +
 
[[image:NekVoprSinteza.jpg|thumb|right]]
 
[[image:NekVoprSinteza.jpg|thumb|right]]
  
Спецсеминар для студентов 3 курса.
+
''Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.''
 
+
Проходит по вторникам с '''14:35''' до '''16:10''' в аудитории '''506'''.
+
 
+
 
+
 
+
__TOC__
+
  
<br style="clear:both;"/>
+
[[Media:pcst16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 21: Строка 17:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
|align="center" |7, 14 октября
+
| rowspan="2" align="center" | 20 октября
| Доклад по [http://mi.mathnet.ru/mz6937 статье] Евдокимова А.А. "О максимальной длине цепи в единичном n-мерном кубе".
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| align="center" | Нагорный А. С.
+
 
|-
 
|-
|align="center" |21 октября
+
| О динамической активности схем из функциональных элементов.  
|  Доклад по статье А. А. Маркова "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций".
+
| align="center" | Шуплецов М.С.
| align="center" | Ложкин С. А.
+
 
|-
 
|-
|align="center" |28 октября
+
| rowspan="2" align="center" | 27 октября
| Окончание предыдущего доклада. Некоторые результаты статьи М. И. Гринчука монотонной сложности пороговых функций".
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
| align="center" | Ложкин С. А.
+
|-
|-}
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
 +
| align="center" | Автайкина Мария
 +
|-
 +
| rowspan="2" align="center" | 3 ноября
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 +
|-
 +
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
 +
| align="center" | В. К. Курбацкая
 +
|-
 +
| rowspan="2" align="center" | 11 ноября
 +
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 508)
 +
|-
 +
| Доклад глубине ступенчатых функций".
 +
| align="center" | Д. С. Кинжикеев
 +
|-
 +
|}
  
  
Строка 49: Строка 58:
 
== Руководители ==
 
== Руководители ==
 
* доц. [[Романов Дмитрий Сергеевич]]
 
* доц. [[Романов Дмитрий Сергеевич]]
* м.н.с. [[Нагорный Александр Степанович]]
+
* ст.преп. [[Нагорный Александр Степанович]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
 
* асс. [[Шуплецов Михаил Сергеевич]]
  
Строка 55: Строка 64:
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
== Участники ==
 
 
Студенты 3-го курса:
 
 
 
== Ссылки ==
 
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dFIyM1ROdWdBc1R4d0JLZzJnSGFHX2c&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 

Текущая версия на 12:27, 18 февраля 2019

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)
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев


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

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

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