Теория управляющих систем и математические модели СБИС — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
(не показаны 253 промежуточных версий 4 участников)
Строка 1: Строка 1:
−
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''612'''.  
+
''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.''
 +
 
 +
Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]]
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 11: Строка 13:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 20 февраля
+
| align="center" | 20 сентября
−
| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
+
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup>
−
| Смирнов А. А.
+
| align="center" | Сергеев Максим
 
|-
 
|-
−
| align="center" | 27 февраля
+
| align="center" | 27 сентября
−
| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
+
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup>
−
| Сальников В. А.  
+
| align="center" | Долгих Любовь
 +
|-
 +
| align="center" | 4 октября
 +
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Гребенкин Сергей
 +
|-
 +
| align="center" | 11 октября
 +
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup>
 +
| align="center" | Михалев Евгений
 
|-
 
|-
−
| align="center" | 13 марта
 
−
| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
 
−
| Тамм Я.-М. Ю.
 
 
|}
 
|}
  
Строка 30: Строка 37:
  
 
|}
 
|}
−
 
−
== Руководители ==
 
−
 
−
* проф. [[Ложкин Сергей Андреевич]]
 
−
* проф. [[Марченко Александр Михайлович]]
 
−
* доц. [[Романов Дмитрий Сергеевич]]
 
−
 
−
== Участники ==
 
−
 
−
{| width="100%"
 
−
| width="40%" |
 
−
 
−
<u>Аспиранты:</u>
 
−
* Антюфеев Григорий
 
−
* Богомолова Евгения
 
−
* [[Участник:KonovodovV|Коноводов Владимир]]
 
−
* Морозов Евгений
 
−
| width="40%" |
 
−
 
−
<u>Студенты 5 курса:</u>
 
−
* Костюков Станислав
 
−
* Тренкунов Антон
 
−
* Жукова Анна
 
−
* Чеховская Екатерина
 
−
* Доленко Ольга
 
−
* Белышов Михаил
 
−
|
 
−
 
−
<u>Студенты 4 курса:</u>
 
−
* Довгалюк Екатерина
 
−
* Кортунова Екатерина
 
−
* Кулешов Олег
 
−
* Кумар Виренд
 
−
* Раннев Егор
 
−
|}
 
−
 
−
== Ссылки ==
 
−
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dHB2ZjVpbjR2SkdmYVRVcUVqUG1sMGc&single=true&gid=0&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
  
 
[[Категория:Спецсеминары кафедры математической кибернетики]]
 
[[Категория:Спецсеминары кафедры математической кибернетики]]

Версия 00:51, 11 октября 2024

Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.

Руководители: заведующий кафедрой Ложкин Сергей Андреевич, проф. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, асс. Данилов Борис Радиславович

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

Дата Тема доклада Докладчик
20 сентября Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»Аннотация доклада Сергеев Максим
27 сентября Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»Аннотация доклада Долгих Любовь
4 октября Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»Аннотация доклада Гребенкин Сергей
11 октября Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»Аннотация доклада Михалев Евгений


архив докладов за прошлые семестры
Источник — «https://mk.cs.msu.ru/index.php?title=Теория_управляющих_систем_и_математические_модели_СБИС&oldid=11418»