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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
(→‎Расписание докладов)
Строка 32: Строка 32:
 
| Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup>
 
| Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup>
 
| Бежовец А.В.
 
| Бежовец А.В.
 +
|-
 +
| align="center" | 18 марта
 +
| Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup>
 +
| Павлов А.В.
 
|-  
 
|-  
 
|}
 
|}

Версия 11:04, 16 марта 2016

Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 505.

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

Дата Тема доклада Докладчик
19 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад по статье Храпченко В.М. "Глубина и задержка схемы" Аннотация доклада Зиновьев В.С.
26 февраля Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". Аннотация доклада Смирной Максим
4 марта Совместно с семинаром Некоторые вопросы теории управляющих систем
Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". Аннотация доклада Вяткин Евгений
11 марта Синтез контактных схем ограниченной ширины. Аннотация доклада Бежовец А.В.
18 марта Об асимптотических оценках сложности константных схем заданной степени. Аннотация доклада Павлов А.В.


архив докладов за прошлые семестры

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

Участники

Аспиранты:

Студенты 5 курса:

  • Костюков Станислав
  • Тренкунов Антон
  • Жукова Анна
  • Чеховская Екатерина
  • Доленко Ольга
  • Белышов Михаил

Студенты 4 курса:

  • Довгалюк Екатерина
  • Кортунова Екатерина
  • Кулешов Олег
  • Кумар Виренд
  • Раннев Егор

Ссылки

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