Кафедра математической кибернетики - Вклад участника [ru]

Основы кибернетики (3-й поток)

2026-06-11T18:47:51Z

RomanovDS: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Курс является обязательным для всех бакалавров (интегрированных магистров) направления 01400 – «Прикладная математика и информатика». При этом объём и, в некоторой степени, программа курса варьируются в зависимости от профиля. Для бакалавров 3 курса профиля «Системное программирование и компьютерные науки» (320-328 группы) курс «Основы кибернетики» читается в 6 семестре в объёме 48 часов лекций, сопровождаемых 16 часами семинарских занятий. Курс завершается экзаменом, на который выносятся как теоретические вопросы, изложенные на лекциях, так и задачи, рассмотренные на семинарских занятиях.

На данной странице будет публиковаться подробная информация о содержании курса, программах и планах его изучения в 2018-2019 уч. году, методических материалах, а также об особенностях организации учебного процесса, формах и сроках проведения контрольных мероприятий.
В соответствии с этими планами в течение семестра проводятся 3 основные (по 2 часа) контрольные работы и, возможно, несколько промежуточных (до 1 часа) тестов. По результатам контрольных и тестов с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы (см. раздел 8) выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор c 2018-2019 уч. года — профессор [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).

Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН [[Яблонский Сергей Всеволодович]], читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов. Методическую, и, частично, содержательную концепции данного варианта курса разработал профессор [[Ложкин Сергей Андреевич]], читавший данный курс для студентов программистских кафедр около 30 лет.

В курсе «Основы кибернетики» рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет, полученные Ложкиным С.А. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.

== Материалы по курсу ==
* [[Media:Курс_ОК_320-328_2025_03_05.pdf| Информационные материалы (гр. 320-328)]] (05.03.2025)
* Ложкин С.А. Лекции по основам кибернетики (гр. 320-328) [Методические материалы] : [[Media:ОК_Часть_1_2017_(320-328).pdf|Часть 1]] (09.02.2017), [[Media:ОК_Часть_2_2017_(320-328).pdf|Часть 2]] (05.03.2017), [[Media:ОК_Часть_3_2017_(320-328).pdf|Часть 3]] (08.06.2017), [[Media:ОК_Часть_4_2017_(320-328).pdf|Часть 4]] (16.04.2017)
* Ложкин С.А., Сапоженко А.А. Полнотекстовые презентации по курсу "Основы кибернетики" (гр. 320-328, 11.06.2026 г.): [[Media:1_prez.pdf|Часть 1]], [[Media:2_prez.pdf|Часть 2]], [[Media:3_prez.pdf|Часть 3]], [[Media:4_prez.pdf|Часть 4]], [[Media:5_prez.pdf|Часть 5]].

* Романов Д.С., Ложкин С.А. Основы кибернетики, весна 2018 [Лекционные слайды] : [[Media:cybas3-talk_original.pdf|Введение, части 1-4]] (02.04.2018).
* Шуплецов М.С. Основы проектирования цифровых интегральных схем [Лекционные слайды] : [[Media:ОК_Основы_проектирования_цифровых_интегральных_схем_2017-1.pdf|Лекция]] (06.08.2017)
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]
* [[Media:OK-2-2002.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : Издательский отдел факультета ВМиК МГУ, 2002. - 66 с.]]
* [[Media:Sapozhenko_alg.pdf|Сапоженко А.А. Некоторые вопросы сложности алгоримов - М. : Издательский отдел факультета ВМиК МГУ, 2001.]]
* [[Media:OK_seminary.zip|Материалы семинарских занятий по курсу "Основы кибернетики".]]

Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]

Записи семинарских занятий: [https://disk.yandex.ru/d/1Zz3_SXmM8kHHA]

== График прохождения курса по первому разделу ==

* Лекция 1 -- [https://m.cs.msu.ru/s/Cm7xdob7jmG7dg5 запись] вступительного слова и лекция №1 с канала Teach-In (ссылка ниже) на YouTube с 17 по 87 минуту (будем ссылаться на эти лекции так: Y1:17-87, где Y# номер лекции с YouTube, а 17-87 -- временной интервал в минутах; если временной интервал не указан, то нужно смотреть лекцию целиком).
* Лекция 2 -- лекция Y2.
* Лекция 3 -- лекция D1 (так нумеруются лекции записанные иным путём, [https://m.cs.msu.ru/s/YgrZHrsac35ZHX5 ссылка] на лекцию D1)
* Лекция 4 -- лекция Y3.
* Лекция 5 -- лекция D2 ([https://m.cs.msu.ru/s/fjFAXdWtbW7r2C4 ссылка] на лекцию D2).
* Лекция 6 -- лекция Y4, Y5:0-30.
* Лекция 7 -- лекция Y5:30-135.

== График прохождения курса по второму разделу ==

График прохождения курса по второму разделу.

* Лекция 8 -- лекция Y6.
* Лекция 9 -- лекция D3 ([https://m.cs.msu.ru/s/9y9CbAWmmRJMkL3 ссылка] на лекцию D3).
* Лекция 10 -- лекция Y9.
* Лекция 11 -- лекция Y18.
* Лекция 12 -- лекция Y19, Y20:0-54
* Лекция 13 -- лекция Y7.
* Лекция 14 -- лекция Y8.
* Лекция 15 -- рассмотрение теоремы перехода ([https://m.cs.msu.ru/s/wJTZpMD52pAzxw8 видеозапись] и [https://m.cs.msu.ru/s/qD7R9pa7skMtmQy доска]) из 12 вопроса.

== График прохождения курса по третьему, четвёртому и пятому разделам ==

* Лекция 16 -- лекция D4 ([https://m.cs.msu.ru/s/rx3c4Kc9jwNXKxC ссылка] на лекцию D4 и [https://m.cs.msu.ru/s/BjxScxRQxQgym8r презентация] к ней).
* Лекция 17 -- лекция Y10.
* Лекция 18 -- лекция Y11:0-72.
* Лекция 19 -- лекция Y11:72-84, Y12.
* Лекция 20 -- лекция Y13.
* Лекция 21 -- лекция Y14:0-77.
* Лекция 22 -- лекция Y14:77-87, Y15:0-77.
* Лекция 23 -- лекция Y16:45-86 + консультация в Zoom (Y15:77-83, Y16:0-45 факультативно).
* Лекция 24 -- лекция Y17.
* Лекция 25 -- лекция Y21 (D5 факультативно, [https://m.cs.msu.ru/s/XPLmSbdTQiAMRGb? ссылка])).

Материал лекций Y15:77-83, Y16:0-45 по 23 вопросу программы факультативен.

Лекция D5 «Основы проектирования интегральных схем» в 2 частях по 28 вопросу программы факультативна к просмотру.

{{Шаблон:Основы кибернетики (3-й поток) - Объявления}}
[[Основы кибернетики (318, 418 группы)|[cтраница курса для 318 группы]]]
</div>

[[Категория:Лекционные курсы кафедры МК]]

Основы кибернетики (3-й поток)

2026-06-11T18:47:26Z

RomanovDS: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Курс является обязательным для всех бакалавров (интегрированных магистров) направления 01400 – «Прикладная математика и информатика». При этом объём и, в некоторой степени, программа курса варьируются в зависимости от профиля. Для бакалавров 3 курса профиля «Системное программирование и компьютерные науки» (320-328 группы) курс «Основы кибернетики» читается в 6 семестре в объёме 48 часов лекций, сопровождаемых 16 часами семинарских занятий. Курс завершается экзаменом, на который выносятся как теоретические вопросы, изложенные на лекциях, так и задачи, рассмотренные на семинарских занятиях.

На данной странице будет публиковаться подробная информация о содержании курса, программах и планах его изучения в 2018-2019 уч. году, методических материалах, а также об особенностях организации учебного процесса, формах и сроках проведения контрольных мероприятий.
В соответствии с этими планами в течение семестра проводятся 3 основные (по 2 часа) контрольные работы и, возможно, несколько промежуточных (до 1 часа) тестов. По результатам контрольных и тестов с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы (см. раздел 8) выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор c 2018-2019 уч. года — профессор [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).

Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН [[Яблонский Сергей Всеволодович]], читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов. Методическую, и, частично, содержательную концепции данного варианта курса разработал профессор [[Ложкин Сергей Андреевич]], читавший данный курс для студентов программистских кафедр около 30 лет.

В курсе «Основы кибернетики» рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет, полученные Ложкиным С.А. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.

== Материалы по курсу ==
* [[Media:Курс_ОК_320-328_2025_03_05.pdf| Информационные материалы (гр. 320-328)]] (05.03.2025)
* Ложкин С.А. Лекции по основам кибернетики (гр. 320-328) [Методические материалы] : [[Media:ОК_Часть_1_2017_(320-328).pdf|Часть 1]] (09.02.2017), [[Media:ОК_Часть_2_2017_(320-328).pdf|Часть 2]] (05.03.2017), [[Media:ОК_Часть_3_2017_(320-328).pdf|Часть 3]] (08.06.2017), [[Media:ОК_Часть_4_2017_(320-328).pdf|Часть 4]] (16.04.2017)
* Ложкин С.А., Сапоженко А.А. Полнотекстовые презентации по курсу "Основы кибернетики" (гр. 320-328, 2026 г.): [[Media:1_prez.pdf|Часть 1]], [[Media:2_prez.pdf|Часть 2]], [[Media:3_prez.pdf|Часть 3]], [[Media:4_prez.pdf|Часть 4]], [[Media:5_prez.pdf|Часть 5]].

* Романов Д.С., Ложкин С.А. Основы кибернетики, весна 2018 [Лекционные слайды] : [[Media:cybas3-talk_original.pdf|Введение, части 1-4]] (02.04.2018).
* Шуплецов М.С. Основы проектирования цифровых интегральных схем [Лекционные слайды] : [[Media:ОК_Основы_проектирования_цифровых_интегральных_схем_2017-1.pdf|Лекция]] (06.08.2017)
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]
* [[Media:OK-2-2002.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : Издательский отдел факультета ВМиК МГУ, 2002. - 66 с.]]
* [[Media:Sapozhenko_alg.pdf|Сапоженко А.А. Некоторые вопросы сложности алгоримов - М. : Издательский отдел факультета ВМиК МГУ, 2001.]]
* [[Media:OK_seminary.zip|Материалы семинарских занятий по курсу "Основы кибернетики".]]

Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]

Записи семинарских занятий: [https://disk.yandex.ru/d/1Zz3_SXmM8kHHA]

== График прохождения курса по первому разделу ==

* Лекция 1 -- [https://m.cs.msu.ru/s/Cm7xdob7jmG7dg5 запись] вступительного слова и лекция №1 с канала Teach-In (ссылка ниже) на YouTube с 17 по 87 минуту (будем ссылаться на эти лекции так: Y1:17-87, где Y# номер лекции с YouTube, а 17-87 -- временной интервал в минутах; если временной интервал не указан, то нужно смотреть лекцию целиком).
* Лекция 2 -- лекция Y2.
* Лекция 3 -- лекция D1 (так нумеруются лекции записанные иным путём, [https://m.cs.msu.ru/s/YgrZHrsac35ZHX5 ссылка] на лекцию D1)
* Лекция 4 -- лекция Y3.
* Лекция 5 -- лекция D2 ([https://m.cs.msu.ru/s/fjFAXdWtbW7r2C4 ссылка] на лекцию D2).
* Лекция 6 -- лекция Y4, Y5:0-30.
* Лекция 7 -- лекция Y5:30-135.

== График прохождения курса по второму разделу ==

График прохождения курса по второму разделу.

* Лекция 8 -- лекция Y6.
* Лекция 9 -- лекция D3 ([https://m.cs.msu.ru/s/9y9CbAWmmRJMkL3 ссылка] на лекцию D3).
* Лекция 10 -- лекция Y9.
* Лекция 11 -- лекция Y18.
* Лекция 12 -- лекция Y19, Y20:0-54
* Лекция 13 -- лекция Y7.
* Лекция 14 -- лекция Y8.
* Лекция 15 -- рассмотрение теоремы перехода ([https://m.cs.msu.ru/s/wJTZpMD52pAzxw8 видеозапись] и [https://m.cs.msu.ru/s/qD7R9pa7skMtmQy доска]) из 12 вопроса.

== График прохождения курса по третьему, четвёртому и пятому разделам ==

* Лекция 16 -- лекция D4 ([https://m.cs.msu.ru/s/rx3c4Kc9jwNXKxC ссылка] на лекцию D4 и [https://m.cs.msu.ru/s/BjxScxRQxQgym8r презентация] к ней).
* Лекция 17 -- лекция Y10.
* Лекция 18 -- лекция Y11:0-72.
* Лекция 19 -- лекция Y11:72-84, Y12.
* Лекция 20 -- лекция Y13.
* Лекция 21 -- лекция Y14:0-77.
* Лекция 22 -- лекция Y14:77-87, Y15:0-77.
* Лекция 23 -- лекция Y16:45-86 + консультация в Zoom (Y15:77-83, Y16:0-45 факультативно).
* Лекция 24 -- лекция Y17.
* Лекция 25 -- лекция Y21 (D5 факультативно, [https://m.cs.msu.ru/s/XPLmSbdTQiAMRGb? ссылка])).

Материал лекций Y15:77-83, Y16:0-45 по 23 вопросу программы факультативен.

Лекция D5 «Основы проектирования интегральных схем» в 2 частях по 28 вопросу программы факультативна к просмотру.

{{Шаблон:Основы кибернетики (3-й поток) - Объявления}}
[[Основы кибернетики (318, 418 группы)|[cтраница курса для 318 группы]]]
</div>

[[Категория:Лекционные курсы кафедры МК]]

Файл:3 prez.pdf

2026-06-04T12:05:32Z

RomanovDS: RomanovDS загружена новая версия «Файл:3 prez.pdf»

Файл:2 prez.pdf

2026-06-04T12:04:59Z

RomanovDS: RomanovDS загружена новая версия «Файл:2 prez.pdf»

Файл:Specsem2026-04-10.pdf

2026-04-07T14:40:13Z

RomanovDS: RomanovDS загружена новая версия «Файл:Specsem2026-04-10.pdf»

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

2026-04-07T14:37:11Z

RomanovDS: /* Расписание докладов */

Файл:Specsem2026-04-10.pdf

2026-04-07T14:36:42Z

RomanovDS:

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

2026-03-12T15:33:52Z

RomanovDS: /* Расписание докладов */

Файл:Specsem2026-03-13.pdf

2026-03-12T15:33:24Z

RomanovDS:

Математические вопросы проектирования СБИС (Архив)

2026-03-12T15:30:40Z

RomanovDS: /* Весна 2025 года */

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

== Осень 2025 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 29 сентября
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»[[Media:Specsem20250929.pdf|Аннотация доклада]]
| align="center" | Орлов Михаил
|-
| align="center" | 06 октября
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»[[Media:Specsem20251006.pdf|Аннотация доклада]]
| align="center" | Кудимов Денис
|-
| align="center" | 13 октября
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»[[Media:Specsem20251013.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 20 октября
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»[[Media:Specsem20251020.pdf|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 27 октября
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
| align="center" | Романов Дмитрий
|-
| align="center" | 10 ноября
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»[[Media:Specsem20251110.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 17 ноября
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
| align="center" | Михалев Евгений
|-
| align="center" | 24 ноября
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”[[Media:Specsem20251124.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
|}

== Весна 2025 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 28 февраля
| Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»[[Media:Specem_252802.pdf|Аннотация доклада]]
| align="center" | Кудимов Д.Д.
|-
| align="center" | 14 марта
| Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]
| align="center" | Долгих Л.А.
|-
| align="center" | 21 марта
| Доклад по статье: Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A.S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. and Vorobiev, A., "Cirbo: A new tool for Boolean circuit analysis and synthesis" (2024). [[Media:Specsem_21032025.pdf|Аннотация доклада]]
| align="center" | Белоусова А.И.
|-
| align="center" | 04 апреля
| Доклад по статье Г.Р. Погосяна «О длине проверяющих тестов для одного класса неисправностей логических устройств // «Дискретная математика и математическая кибернетика». — М.: Наука, 1981. — С. 140–145. [[Media:Specsem_2025_04_04.pdf|Аннотация доклада]]
| align="center" | Джаналиев Д.Р.
|-
| align="center" | 11 апреля
| Доклад по теме «Об инверсной и немонотонной сложности булевых функций»[[Media:Specsem_2025_04_11.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
|}

== Осень 2024 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д.С.
|-
| align="center" | 20 декабря
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»[[Media:Specsem20241220.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
|}

== Весна 2024 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 22 февраля
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)[[Media:Specsem20240222.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 29 февраля
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»[[Media:Specsem20240229.pdf|Аннотация доклада]]
| align="center" | Федоренко Илья
|-
| align="center" | 7, 14 марта
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)[[Media:Specsem20240307.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 21 марта
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)[[Media:Specsem20240321.pdf|Аннотация доклада]]
| align="center" | Кленин Максим
|-
| align="center" | 28 марта
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»[[Media:Specsem20240328.pdf|Аннотация доклада]]
| align="center" | Фаизов Алексей
|-
| align="center" | 5 апреля
| Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»[[Media:Specsem20240404.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 11 апреля
| Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»[[Media:Specsem20240411.pdf|Аннотация доклада]]
| align="center" | С.А.Ложкин и М.С.Шуплецов
|-
| align="center" | 18 апреля
| Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»[[Media:Specsem20240418.pdf|Аннотация доклада]]
| align="center" | Башмаков Михаил
|-
|}

== Осень 2023 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 4 октября
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»[[Media:Specem_241004.pdf|Аннотация доклада]]
| align="center" | Соколов Михаил
|-
| align="center" | 11 октября
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»[[Media:Specem_231011.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 18 октября
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69[[Media:Specsem20231018.pdf|Аннотация доклада]]
| align="center" | Кленин Максим
|-
| align="center" | 25 октября
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»[[Media:Specsem20231024.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 1 ноября
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ[[Media:Specsem20231101.pdf|Расписание секции]]
|-
| align="center" | 8 ноября
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»[[Media:Specsem20231108.pdf|Аннотация доклада]]
| align="center" | Дарья Есипова
|-
| align="center" | 22 ноября
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112[[Media:Specsem20231122.pdf|Аннотация доклада]]
| align="center" | Столетний Александр
|-
| align="center" | 29 ноября
| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48[[Media:Specsem20231129.pdf|Аннотация доклада]]
| align="center" | Соколов Михаил
|-
| align="center" | 6 декабря
| Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»[[Media:Specsem20231206.pdf|Аннотация доклада]]
| align="center" | Фаизов Алексей
|-
| align="center" | 13 декабря
| Доклад по теме «Поиск функциональных соответствий для схем из функциональных элементов при наличии не всюду определенных наборов»[[Media:Specsem20231213.pdf|Аннотация доклада]]
| align="center" | Фурса Даниил
|}

== Весна 2023 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 10 октября
| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»[[Media:Specem_221008.pdf|Аннотация доклада]]
| align="center" | Козин Георгий
|-
| align="center" | 17 октября
| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»[[Media:Specem_221017.pdf|Аннотация доклада]]
| align="center" | Исаков Ильяс
|-
| align="center" | 24 октября
| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»[[Media:Specem_221024.pdf|Аннотация доклада]]
| align="center" | Местецкий Михаил
|-
| align="center" | 7 ноября
| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»[[Media:Specem_221107.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 14 ноября
| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
| align="center" | Фесенко Анастасия
|-
| align="center" | 21 ноября
| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»[[Media:Specsem_221121.pdf|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 28 ноября
| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»[[Media:Specsem_221128.pdf|Аннотация доклада]]
| align="center" | Синенкова Анна
|-
| align="center" | 5 декабря
| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»[[Media:Specsem221205.doc|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 12 декабря
| Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»[[Media:Specsem221211.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 7 марта
| Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»[[Media:Specsem230307.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 14 марта
| Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»[[Media:Specsem230314.pdf|Аннотация доклада]]
| align="center" | Кленин Максим
|-
| align="center" | 21 марта
| Доклад по теме «Алгоритмы построения заполняющих топологий»[[Media:Specem21032023.pdf|Аннотация доклада]]
| align="center" | Есипова Дарья
|-
| align="center" | 28 марта
| Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»[[Media:Specem28032023.pdf|Аннотация доклада]]
| align="center" | Соколов Михаил
|-
| align="center" | 4 апреля
| Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»[[Media:Specsem20230404.pdf|Аннотация доклада]]
| align="center" | Козин Георгий
|}
== Весна 2022 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 26 февраля
| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»[[Media:Specem_210226.pdf|Аннотация доклада]]
| align="center" | Сагандыков Жандос
|-
| align="center" | 5 марта
| Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»[[Media:Specem_210305.pdf|Аннотация доклада]]
| align="center" | Купраш Екатерина
|-
| align="center" | 12 марта
| Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]], [[Media:Specem_210312.pdf|Аннотация доклада]]
| align="center" | Мальцев Александр
|-
| align="center" | 19 марта
| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»[[Media:Specem_210319.pdf|Аннотация доклада]]
| align="center" | Хомич Павел
|-
| align="center" | 26 марта
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»[[Media:Specem_210326.pdf|Аннотация доклада]]
| align="center" | Белашкин И.А.
|-
| align="center" | 2 апреля
| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»[[Media:Specem_210402.pdf|Аннотация доклада]]
| align="center" | Белашкин И.А.
|-
| align="center" | 9 апреля
| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»[[Media:Specem_210409.pdf|Аннотация доклада]]
| align="center" | Зинкин Егор
|-
| align="center" | 1 октября
| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»[[Media:Specem_211001.pdf|Аннотация доклада]]
| align="center" | Михаил Лопунов
|-
| align="center" | 15 октября
| Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»[[Media:Specem_211015.pdf|Аннотация доклада]]
| align="center" | Зизов Вадим
|-
| align="center" | 22 октября
| Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»[[Media:Specem_211022.pdf|Аннотация доклада]]
| align="center" | Купраш Екатерина
|-
| align="center" | 19 ноября
| Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»[[Media:Specem_211119.pdf|Аннотация доклада]]
| align="center" | Любич И.Г
|-
| align="center" | 26 ноября
| Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»[[Media:Specem_211126.pdf|Аннотация доклада]]
| align="center" | Антюфеев Г.В.
|-
| align="center" | 10 декабря
| Доклад по статье «Коммуникационная сложность универсального отношения»[[Media:Specem_211210.pdf|Аннотация доклада]]
| align="center" | Белашкин И.А.
|-
| align="center" | 17 декабря
| Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»[[Media:Specem_211217.pdf|Аннотация доклада]]
| align="center" | Местецкий Михаил
|-
| align="center" | 4 марта
| Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»[[Media:Specem_220304.pdf|Аннотация доклада]]
| align="center" | Демиденко Александр
|-
| align="center" | 18 марта
| Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»[[Media:Specem_220318.pdf|Аннотация доклада]]
| align="center" | Ступин Роман
|-
| align="center" | 25 марта
| Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»[[Media:Specem_220325.pdf|Аннотация доклада]]
| align="center" | Исаков Ильяс
|-
| align="center" | 1 апреля
| Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»[[Media:Specem_220401.pdf|Аннотация доклада]]
| align="center" | Синенкова Анна
|-
| align="center" | 8 апреля
| Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»[[Media:Specem_220408.pdf|Аннотация доклада]]
| align="center" | Тамерлан Еркибаев
|-
| align="center" | 15 апреля
| Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»[[Media:Specem_220415.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|}

== Осень 2021 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 9 октября
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»[[Media:Specem_201008.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 16 октября
| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»[[Media:Specem_201016.pdf|Аннотация доклада]]
| align="center" | Зизов В.С.
|-
| align="center" | 30 октября
| Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»[[Media:Specem_201030.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 13 ноября
| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»[[Media:Specem_201113.pdf|Аннотация доклада]]
| align="center" | Коноводов В.А.
|-
| align="center" | 20 ноября
| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.[[Media:Specem_201120.pdf|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 27 ноября
| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».[[Media:Specsem_201127.pdf|Аннотация доклада]]
| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
|-
| align="center" | 4 декабря
| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».[[Media:Specsem_201204.pdf|Аннотация доклада]]
| align="center" | М.С.Шуплецов, В.В.Жуков
|-
| align="center" | 11 декабря
| Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).[[Media:Specsem_201211.pdf|Аннотация доклада]]
| align="center" | Н.В.Пименов
|}

== Весна 2021 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 9 октября
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»[[Media:Specem_201008.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 16 октября
| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»[[Media:Specem_201016.pdf|Аннотация доклада]]
| align="center" | Зизов В.С.
|-
| align="center" | 30 октября
| Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»[[Media:Specem_201030.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 13 ноября
| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»[[Media:Specem_201113.pdf|Аннотация доклада]]
| align="center" | Коноводов В.А.
|-
| align="center" | 20 ноября
| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.[[Media:Specem_201120.pdf|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 27 ноября
| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».[[Media:Specsem_201127.pdf|Аннотация доклада]]
| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
|-
| align="center" | 4 декабря
| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».[[Media:Specsem_201204.pdf|Аннотация доклада]]
| align="center" | М.С.Шуплецов, В.В.Жуков
|-
| align="center" | 11 декабря
| Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).[[Media:Specsem_201211.pdf|Аннотация доклада]]
| align="center" | Н.В.Пименов
|}

== Осень 2020 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 27 сентября
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»[[Media:Specsem_190927.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 11 октября
| Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)[[Media:Specsem_191011.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 18 октября
| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»[[Media:Specsem_191018.pdf|Аннотация доклада]]
| align="center" | Зизов В.
|-
| align="center" | 25 октября
| Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»[[Media:Specsem_191025.pdf|Аннотация доклада]]
| align="center" | Ибрагимов Б.М.
|-
| align="center" | 8 ноября
| rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»[[Media:Specsem_191108.pdf|Аннотация доклада]]
| rowspan="2" align="center" | проф. Ложкин С.А.
|-
| align="center" | 15 ноября
|-
| align="center" | 22 ноября
| Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)[[Media:Specsem_221119.pdf|Аннотация доклада]]
| align="center" | Купраш Е.
|-
| align="center" | 13 декабря
| Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»[[Media:Specsem_191213.pdf|Аннотация доклада]]
| align="center" | доцент кафедры МАТИС
механико-математического факультета Часовских А.А.
|-
| align="center" | 21 февраля
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»[[Media:Specem_200221.pdf|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 28 февраля
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»[[Media:Specsem_200228.pdf|Аннотация доклада]]
| align="center" | Пименов Н.В.
|}

== Весна 2019 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 22 февраля
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»[[Media:Specsem_190222.pdf|Аннотация доклада]]
| align="center" | Купраш Е.Д.
|-
| align="center" | 1 марта
| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»[[Media:Specsem_190301.pdf|Аннотация доклада]]
| align="center" | Жуков В.В.
|-
| align="center" | 15 марта
| Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)[[Media:Specsem_190315.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 22 марта
| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)[[Media:Specsem_190322.pdf|Аннотация доклада]]
| align="center" rowspan="2" | Пименов Н.В.
|-
| align="center" | 29 марта
|-
| align="center" | 5 апреля
| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]
| align="center" | Омарова М.М.
|-
| align="center" | 12 апреля
| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»[[Media:Specsem_190412.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 19 апреля
| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
| align="center" |
|-
| align="center" | 17 мая
| Выступления студентов 3 и 5 курсов с курсовыми работами
| align="center" |
|}

== Осень 2018 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 21 сентября
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 28 сентября
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 5 октября
| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]
| align="center" | Титов В.А.
|-
| rowspan="2" align="center" | 12 октября
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
|-
| «Нижняя оценка энергопотребления для одного класса объёмных схем»
| align="center" | Ефимов Алексей Андреевич
|-
| align="center" | 19 октября
| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]
| align="center" | Кинжикеева Д.С.
|-
| align="center" | 26 октября
| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
| align="center" rowspan="2" | Красильникова А.А.
|-
| align="center" | 2 ноября
|-
| rowspan="2" align="center" | 9 ноября
|-
| Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)
| align="center" | Александрова Н.Е.
|-
| rowspan="2" align="center" | 16 ноября
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
|-
| Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]]
| align="center" | Высоцкий Л.И.
|-
| align="center" | 23 ноября
| Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]]
| align="center" | Панчул Юрий Владимирович
|-
| rowspan="2" align="center" | 7 декабря
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
|-
| Доклад по теме «О сложности многослойных клеточных схем»[[Media:Specsem_7dec.doc|Аннотация доклада]]
| align="center" | Калачев Г.В., Сытдыков Т.Р.
|-
|}

== Весна 2018 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик

|-
| rowspan="2" align="center" | 06 апреля
|-
| Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов»
| align="center" | Высоцкий Л. И., Жуков В. В.

|-
| rowspan="2" align="center" | 23 марта
|-
| Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627).
| align="center" | Курбацкая В.К.

|-
| rowspan="2" align="center" | 16 марта
|-
| Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с.
| align="center" | Мальцев А.Н.

|-
| rowspan="2" align="center" | 2 марта
|-
| Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем".
| align="center" | Хзмолян Д.Э.
|}

== Осень 2017 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик

|-
| rowspan="2" align="center" | 22 сентября
|-
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
| align="center" | Жуков В.В.

|-
| rowspan="2" align="center" | 29 сентября
|-
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
| align="center" | Курбацкая В.К.

|-
| rowspan="2" align="center" | 6 октября
|-
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
| align="center" | Высоцкий Л.И.

|-
| rowspan="2" align="center" | 20 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| О динамической активности схем из функциональных элементов.
| align="center" | Шуплецов М.С.
|-

| rowspan="2" align="center" | 27 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". [[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| align="center" | Автайкина Мария
|-
| rowspan="2" align="center" | 3 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". [[Media:ipmp2214.pdf|Аннотация доклада]]
| align="center" | В. К. Курбацкая
|-
| rowspan="2" align="center" | 11 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "О глубине ступенчатых функций".
| align="center" | Д. С. Кинжикеева
|-
| rowspan="2" align="center" | 17 ноября
|-
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
| align="center" | Павлова А.Ф.
|-
| rowspan="2" align="center" | 24 ноября
|-
| Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
| align="center" | Крюков Павел
|}
== Весна 2017 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| rowspan="2" align="center" | 21 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
| align="center" |
|-
| rowspan="2" align="center" | 14 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
| align="center" | Зиновьев В.С.
|-
| rowspan="2" align="center" | 7 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
| align="center" | Жуков В.В.
|-
| align="center" | 17 марта
| Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]
| align="center" | Трубицын Ю.А.
|-
| rowspan="2" align="center" | 17 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
| align="center" | Кинжикеева Д.
|-
| align="center" | 3 марта
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]
| align="center" | Высоцкий Л.И.
|-
| rowspan="2" align="center" | 31 марта
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»[[Media:mmvlsi-pcst-annot-170331.pdf|Аннотация доклада]]
| align="center" | Смирнов М.Е.
|-
|}

== Осень 2016 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| rowspan="2" align="center" | 23 сентября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" [[Media:zukov.pdf|Аннотация доклада]]
| Жуков В.В.
|-
| align="center" | 30 сентября
| Нижняя оценка мощности плоских схем, реализующих булевы операторы [[Media:kalavac.docx|Аннотация доклада]]
| Калачев Г.В.
|-
| align="center" | 7 октября
| Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" [[Media:chemodan.pdf|Аннотация доклада]]
| Чемоданова О.М.
|-
| align="center" | 14 октября
| Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" [[Media:popkov.docx|Аннотация доклада]]
| Любич И.Г.
|-
| align="center" | 21 октября
| Доклад "Синтез обратимых схем без дополнительной памяти" [[Media:zabluk.docx|Аннотация доклада]]
| Закаблуков Д.В.
|-
| align="center" | 28 октября
| Доклад "О глубине мультиплексорной функции" [[Media:zabluk.docx|Аннотация доклада]]
| Титов В.А.
|-
| align="center" | 11 ноября
| Окончание доклада "О глубине мультиплексорной функции" [[Media:zabluk.docx|Аннотация доклада]]
| Титов В.А.
|-
| align="center" | 18 ноября
| Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" [[Media:zabluk.docx|Аннотация доклада]]
| Довгалюк Е.Л.
|-
| rowspan="2" align="center" | 25 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" [[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|Аннотация доклада]]
| Тамм Я.-М.Ю.
|-
| rowspan="2" align="center" | 2 декабря
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" [[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]
| Уваров И.В.
|-
| align="center" | 9 декабря
| Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов". [[Media:Romanovs_Abstract.doc|Аннотация доклада]]
| Шишков И.С.
|}

== Весна 2016 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| rowspan="2" align="center" | 19 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" [[Media:zinovev.docx|Аннотация доклада]]
| Зиновьев В.С.
|-
| rowspan="2" align="center" | 26 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". [[Media:smirnoy.docx|Аннотация доклада]]
| Смирной Максим
|-
| rowspan="2" align="center" | 4 марта
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". [[Media:vyatkin.docx|Аннотация доклада]]
| Вяткин Евгений
|-
| align="center" | 11 марта
| Синтез контактных схем ограниченной ширины. [[Media:bejovc.docx|Аннотация доклада]]
| Бежовец А.В.
|-
| align="center" | 18 марта
| Об асимптотических оценках сложности константных схем заданной степени. [[Media:pavlov.docx|Аннотация доклада]]
| Павлов А.В.
|-
| rowspan="2" align="center" | 25 марта
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад «Cadence design systems: основные тренды в индустрии». [[Media:cadence.pdf|Аннотация доклада]]
| Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
|-
| align="center" | 1 апреля
| Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"
| Курбацкая В.К.
|-
| align = "center"| 8 апреля
| Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". [[Media:kuhtinov.docx|Аннотация доклада]]
| Кухтинов А.С.
|-
| align = "center"| 15 апреля
| Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами».
| Высоцкий Л.И.
|-
| rowspan="2" align="center" | 22 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] (Ауд. 526б)
|-
| Автоматизация проектирования электронных устройств [[Media:cadence2.pdf|Аннотация доклада]]
| Семинар компании Cadence design systems.
|-
| rowspan="2" align="center" | 29 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
| Калинина А.Н.
|-
| rowspan="2" align="center" | 6 мая
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".
| Шишков Илья Сергеевич
|-
|}
== Осень 2015 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 9 октября
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
| Зиновьев В. С.
|-
| align="center" | 16 октября
| Синтез и сложность дешифраторных схем контактного типа
| Добровецкий Д. И.
|-
| rowspan="2" align="center" | 23 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| New bounds on Klarner's constant
| Gill Barequet, Dept. of Computer Science, Technion
|-
| align = "center"|30 октября
| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. [[Media:аннотация.docx|Аннотация доклада]]
| Довгалюк Е. Л.
|-
| align = "center"|6 ноября
| Об одной модели рекурсивных схем из функциональных элементов. [[Media:fiveyskiy.docx|Аннотация доклада]]
| Фивейский С.В.
|-
| rowspan="2" align="center" | 13 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
| Мария Автайкина
|-
| rowspan="2" align="center" | 20 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
1. http://www.iccad.com (конференция)
2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
|-
| align = "center"| 27 ноября
| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" [[Media:kuhtinov.docx|Аннотация доклада]]
| Кухтинов А.С.
|-
| align = "center"| 4 декабря
| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
| Шуплецов М.С.
|-
| rowspan="2" align="center" | 11 декабря
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Маршрут физического проектирования систем на кристалле"
| Евгений Зенин
|}
== Весна 2015 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 февраля
| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
| Смирнов А. А.
|-
| align="center" | 27 февраля
| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
| Сальников В. А.
|-
| align="center" | 13 марта
| О динамической активности мультиплексорной функции
| Кулешов О. В.
|-
| align="center" | 27 марта
| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
| Тамм Я.-М. Ю.
|-
| align="center" | 3 апреля
| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
| Павлов А. В.
|-
| align="center" | 10 апреля
| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
| Пузачев Д. С.
|-
| align="center" | 24 апреля
| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
|
|}

== Осень 2014 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 3 октября
| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
| Зиновьев В. С.
|-
| align="center" | 10 октября
| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
| Зиновьев В. С.
|-
| align="center" | 17 октября
| Тесты для булевых функций относительно вытесняющих неисправностей
| Морозов Е. В.
|-
| align="center" | 24 октября
| Комбинаторика и сложность случайных булевых формул
| [[Участник:KonovodovV|Коноводов В. А. ]]
|-
| align="center" | 31 октября
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" [[Media:VLSI31.10.2014.pdf|аннотация докдада]]
| Раннев Е. К.
|-
| align="center" | 7 ноября
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 14 ноября
| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов [[Media:VLSI11.11.2014.pdf|аннотация докдада]]
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
|-
| align = "center"|21 ноября
| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» [http://mi.mathnet.ru/dm721 Данные о статье]
| align = "center"| Довгалюк Е. Л.
|-
| align = "center"|28 ноября
| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
| align = "center"| Белышов М. В.
|-
| align = "center"| 5 декабря
| Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" [http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=743779 Данные о статье]
| align = "center"| Кумар В.
|-
| align = "center"| 12 декабря
| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
| align = "center"| Кортунова Е. М.
|-
| align="center" | 19 декабря
| Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» .
| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|}

== Весна 2014 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 21 февраля
| Сверхполиномиальная нижняя оценка монотонной сложности функции клики [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]
| Довгалюк Е. Л.
|-
| align="center" | 28 февраля
| Метод Нечипорука и примеры его применения [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]
| Кулешов О. В.
|-
| align="center" | 14 марта
| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]
| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
|-
| align="center" | 21 марта
|-
| align="center" | 28 марта
| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]
| Данилов Б. Р.
|-
| align="center" | 4 апреля
| Некоторые обобщения теоремы Храпченко и примеры их применений [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]
| Раннев Е. К.
|-
| align="center" | 11 апреля
| Доклад по [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1672574&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D1672574 статье ] Kewal K. Saluja, Sudhakar M. Reddy, "On minimally testable logic networks".
| Кумар В.
|-
| align="center" | 18 апреля
| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
| Доленко О. С.
|-
| align="center" | 25 апреля
| Исследование влияния структурных параметров на результаты синтеза цифровых схем
| Кортунова Е. Н.
|-
| align="center" | 16 мая
| Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"
| Чеховская Е. Н.
|}
== Осень 2013 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"| 20 сентября
| О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах [[Media:20.09.2013.pdf|Аннотация доклада]]
| align = "center"| Белышов М. В.
|-
| align = "center"| 27 сентября
| О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции [[Media:27.09.2013.pdf|Аннотация доклада]]
| align = "center"| Довгалюк Е. Л.
|-
| align = "center"| 4 октября
| Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности [[Media:04.10.2013.pdf|Аннотация доклада]]
| align = "center"| Белышов М. В.
|-
| align = "center"| 11 октября
| О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными [[Media:11.10.2013.pdf|Аннотация доклада]]
| align = "center"| Коноводов В. А.
|-
| align = "center"| 18 октября
| Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем [[Media:18.10.2013.pdf|Аннотация доклада]]
| align = "center"| Кортунова Е. М.
|-
| align = "center"| 25 октября
| Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" [[Media:25.10.2013.pdf|Аннотация доклада]]
| align = "center"| Жукова А. А.
|-
| align = "center"| 1 ноября
| Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами"
| align = "center"| Кулешов О. В.
|-
| align = "center"| 8 ноября
| О тестах относительно множественных линейных слипаний переменных в булевых функциях[[Media:08.11.2013.pdf|Аннотация доклада]]
| align = "center"| Морозов Е. В.
|-
| align = "center"| 15 ноября
| Доклад по статье Мадатяна Х. А. "Синтез контактных схем ограниченной ширины"
| align = "center"| Тренкунов А. В.
|-
| align = "center"| 22 ноября
| Доклад по статье Коршунова А. Д. "Об асимптотических оценках сложности контактных схем заданной степени"[[Media:22.11.2013.pdf|Аннотация доклада]]
| align = "center"| Чеховская Е. Н.
|-
| align = "center"| 29 ноября
| Доклад по статье Кузьмина В. А. "Реализация функций алгебры логики автоматами, нормальными алгорифмами и машинами Тьюринга"[[Media:29.11.2013.pdf|Аннотация доклада]]
| align = "center"| Кумар В.
|-
| align = "center"| 6 декабря
| Автоматная сложность булевых функций из классов Поста
| align = "center"| Кибкало М. А.
|-
| align = "center"| 13 декабря
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
| align = "center"| Доленко О. С.
|}

==Весна 2013 года==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"| 22 февраля
| О сложности реализации булевых функций из некоторых классов, связанных с конечными грамматиками, формулами глубины альтернирования 3 [[Media:22.02.2013.pdf|Аннотация доклада]]
| align = "center"| Коноводов В.А.
|-
| align = "center"| 1 марта
| О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе
| align = "center"| Романов Д.С.
|-
| align = "center"| 15 марта
| Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»
| align = "center"| Доленко О.С.
|-
| align = "center"| 22 марта
| Доклад по [[Медиа:Dm601.pdf|статье]] Хахулина В.Г. «О проверяющих тестах для счетчика четности»
| align = "center"| Жукова А.А.
|-
| align = "center"| 29 марта
| Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в Pk»[[Media:29.03.2013.pdf|Аннотация доклада]]
| align = "center"| Чеховская Е.Н.
|-
| align = "center"| 5 апреля
| Доклад по [http://mi.mathnet.ru/dm198 статье] Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»
| align = "center"| Тренкунов А.В.
|-
| align = "center"| 12 апреля
| Доклад по [http://mi.mathnet.ru/mz7425 статье] Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»
| align = "center"| Морозов Е.В.
|-
| align = "center"| 19 апреля
|О тестах относительно примитивных сдвигов переменных в булевых функциях[[Media:19.04.2013.pdf|Аннотация доклада]]
| align = "center"| Антюфеев Г. В.
|-
| align = "center"| 26 апреля
| Доклад по [http://mi.mathnet.ru/dm1112 статье] Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»
| align = "center"| Плоткина Ю. С.
|-
| align = "center"| 17 мая
| Доклады студентов 5 курса по дипломным работам.
| align = "center"|
|}

== Осень 2012 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"|28 сентября
| Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." [[Media:29.09.2012.pdf|Выходные данные]]
| align = "center"| Плоткина Ю.С.
|-
| align = "center"|5 октября
| О сложности мультиплексорной функции в классе схем из функциональных элементов [[Media:5.10.2012.pdf|Аннотация доклада]]
| align = "center"| Власов Н.В.
|-
| align = "center"|12 октября
| Алгоритмы для нахождения автоморфизмов больших разреженных графов [[Media:12.10.2012.pdf|Аннотация доклада]]
| align = "center"| Марков И. Л. (Мичиганский университет, США)
|-
| align = "center"|19 октября
| Доклад по статье N. Blum «A boolean function requiring 3n network size» [http://scidok.sulb.uni-saarland.de/volltexte/2011/4065/pdf/fb14_1982_13ocr.pdf Статья]
| align = "center"| Богомолова Е. М.
|-
| align = "center"|26 октября
| Активность схем из функциональных элементов [[Media:26.10.2012.pdf|Аннотация доклада]]
| align = "center"| Доленко О. С.
|-
| align = "center"|2 ноября
| Активность схем из функциональных элементов(окончание доклада)
| align = "center"| Доленко О. С.
|-
| align = "center"| 9 ноября
| Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»[[Media:9.11.2012.pdf|Аннотация доклада]]
| align = "center"|Морозов Е. В.
|-
| align = "center"| 16 ноября
| Минимизация пересечений линий (веток метро) на картах метро[[Media:16.11.2012.pdf|Аннотация доклада]]
| align = "center"|Кунаков М. А.
|-
| align = "center"| 23 ноября
| Об одном методе получения более чем квадратичных эффективных нижних оценок сложности <math>\pi</math>-схем [[Media:23.11.2012.pdf|Аннотация доклада]]
| align = "center"| Коноводов В. А.
|-
| align = "center"| 30 ноября
| Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка [[Media:30.11.2012.pdf|Аннотация доклада]]
| align = "center"| Кривошеин Д. Ю.
|-
| align = "center"| 7 декабря
| Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов [http://www.ippm.ru/data/dissrt/Avtoreferat-Talalai.pdf Ссылка на автореферат диссертации]
| align = "center"| Талалай М. С.
|-
| align = "center"| 14 декабря
| Инверсная сложность булевых функций[[Media:14.12.2012.pdf|Аннотация доклада]]
| align = "center"| Морозов Е. В.
|}

== Весна 2012 года ==

{| align="center" width="100%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"|24 февраля
| Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» [[Media:24.02.2012.pdf|Аннотация доклада]]
| align = "center"| Богомолова Е. М.
|-
| align = "center"|2 марта
| Доклад по статье A. Genitrini, B. Gittenberger [http://www-apr.lip6.fr/~genitrini/publi/aofa10_genitrini.pdf «No Shannon effect on probability distributions on Boolean functions induced by random expressions»] [[Media:2.03.2012.pdf|Аннотация доклада]]
| align = "center"| Яблонская А.Ю.
|-
| align = "center"|11 марта
|Доклад по статье Шуткина Ю.С. [http://dvinemnauku.ru/upload/day_101214/201012142208188078.pdf «Синтез информационных графов для предполных классов булевых функций»] [[Media:11.03.2012.pdf|Аннотация доклада]]
| align = "center"|Валиев Т.Р.
|-
| align = "center"|16 марта
|О синтезе и сложности формул с ограниченной глубиной альтернирования [[Media:16.03.2012.pdf|Аннотация доклада]]
| align = "center"|Коноводов В.А.
|-
| align = "center"|23 марта
| Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»
| align = "center"|Коразбаев К.Ж.
|-
| align = "center"|30 марта
| О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью
| align = "center"|Коноводов В.А.
|-
| align = "center"|6 апреля
| Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов»
| align = "center"|Егоров А.В.
|-
| align = "center" |13 апреля
| Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС [[Media:13.04.2012.pdf|Аннотация доклада]]
| align = "center" |Кривошеин Д.Ю.
|-
| align = "center" |20 апреля
| |О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)[[Media:30.03.2012.pdf|Аннотация доклада]]
| align = "center" |Блинов С.В.
|-
| align = "center" |27 апреля
| Доклад по [http://mi.mathnet.ru/dm1173 статье] Ю.В.Бородиной "Синтез легкотестируемых схем в базисе <math>\{\And,\vee,\neg\}</math> для систем булевых функций"
| align = "center" |Морозов Е.В.
|-
| rowspan = "2" align="center" |4 мая
| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
| align="center" |Коноводов В.А.
|-
| align="center"|Богомолова Е.М.
|-
| rowspan = "2" align="center" |11 мая
| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
| align="center" |Морозов Е.В.
|-
| align="center"|Цимбалов С.Е.
|}

== Осень 2011 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"|30 сентября
| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» [[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]
| align = "center"| Борис Данилов
|-
| align = "center"|7 октября
| Модификация метода Лупанова с более равномерным распределением исходящих дуг. [http://eccc.hpi-web.de/report/2011/130/ Ссылка на статью]
| align = "center"| [[Ложкин Сергей Андреевич|Ложкин С. А.]]
|-
| align = "center"|14 октября
| О глубине мультиплексорной функции [[Media:Vlasov_14_10_11.pdf|Аннотация доклада]]
| align = "center"| Никита Власов
|-
| align = "center"|21 октября
| Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» [http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dm&paperid=81&option_lang=rus Ссылка на статью]
| align = "center"| Александра Яблонская
|-
| align = "center"|28 октября
| Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» [http://www.mendeley.com/research/finding-negative-cycles-directed-graph-18/# Ссылка на статью]
| align = "center"| Дмитрий Кривошеин
|-
| align = "center"|11 ноября
| Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» [http://www.optimization-online.org/DB_HTML/2004/07/910.html Ссылка на статью]
| align = "center"| Сергей Цимбалов
|-
| align = "center"|18 ноября
| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» [http://elibrary.ru/item.asp?id=9427931 Данные о статье]
| align = "center"| Евгений Морозов
|-
| align = "center"|25 ноября
| Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов»
| align = "center"| Олег Садовников
|-
| align = "center"|2 декабря
| Проблемы полноты и выразимости в пространствах дискретных функций
| align = "center"| Парватов Н. Г. (Томск)
|-
| align = "center"|9 декабря
| О надежности неветвящихся программ с оператором условной остановки.
| align = "center"| Грабовская С. М. (Пенза)
|-
| align = "center"|16 декабря
| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» [http://mi.mathnet.ru/dm721 Данные о статье]
| align = "center"| Богомолова Е. М.
|}
==Весна 2011 года==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|25 февраля
| Логический синтез топологически регулярных схем на транзисторных шаблонах [[Media:Talalai_25_02.pdf|Аннотация доклада]]
| align="center"|Михаил Талалай
|-
| align="center"|4 марта
| Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» [[Media:feedforward_networks.pdf|Аннотация к статье]]
| align="center"|Владимир Лысиков
|-
| align="center"|11 марта
| rowspan = "2" | Верификация структурных моделей цифровых схем [[Media:Gotmanov_11_03.pdf|Аннотация доклада]]
| rowspan = "2" align="center"|Александр Готманов
|-
| align="center"|25 марта
|-
| align="center"|1 апреля
| Доклад по [http://mi.mathnet.ru/da435 статье Н.П. Редькина] «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций»
| align="center"|Олег Снегирев
|-
| align="center"|8 апреля
| Доклад по [http://www.springerlink.com/content/m367ku711w732g87/ статье N. Blum, M. Seysen] «Characterization of all optimal networks for a simultaneous computation of AND and NOR»
| align="center"|Владимир Коноводов
|-
| align = "center"|15 апреля
| Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»[[Media:‎Kopachevskiy_15_04.pdf|Аннотация доклада]]
| align = "center"| Юрий Копачевский
|-
| align = "center"|22 апреля
| Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» [[Media:‎Vlasov_22_04.pdf|Аннотация доклада]]
| align = "center"| Никита Власов
|-
| align = "center"|29 апреля
| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» [[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]
| align = "center"| Борис Данилов
|-
| align="center" rowspan = "2"|6 мая
| rowspan = "2" | Доклады по магистерским диссертациям
| align="center"|Дмитрий Кривошеин
|-
| align="center"|Григорий Антюфеев
|}

== Осень 2010 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|1 октября
| О глубине мультиплексорной функции [[Media:Vlasov_01_10.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
|-
| align="center"|8 октября
| Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях [[Media:Danilov_08_10.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Данилов Б.Р.]]
|-
| align="center"|15 октября
| Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа.
| [[Аспиранты кафедры математической кибернетики|Шуплецов М.С.]]
|-
| align="center"|22 октября
| Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors.
| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
|-
| align="center"|29 октября
| Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.[[Media:Ulesova_29_10.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Улесова А.Ю.]]
|-
| align="center"|12 ноября
| О сложности реализации частичных булевых функций схемами из функциональных элементов.[[Media:Blinov_12_11.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Блинов С.В.]]
|-
| align="center"|19 ноября
| Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.[[Media:Vlasov_19_11.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
|-
| rowspan="2" align="center"|26 ноября
| Алгоритм сжатия для невыпуклых многоугольников и его приложения
| Кривошеин Д.Ю.
|-
| Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности.
| Жмурин А.В.
|-
| align="center"|3 декабря
| Некоторые свойства невырожденных суперпозиций в Pk[[Media:Sadovnikov_03_12.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
|-
| align="center"|10 декабря
| Решение задачи о клике сведением к задаче с DC ограничением
| [[Студенты кафедры математической кибернетики|Цимбалов С.Е.]]
|-
| align="center"|17 декабря
| Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"[[Media:Antufeev_17_12.pdf|Аннотация доклада]]
| Антюфеев Г.В.
|}

== Весна 2010 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|26 февраля
| Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций"
| Власов Н.В.
|-
| align="center"|5 марта
| rowspan="2" |Об одной модели схем из функциональных элементов с задержками [[Media: Danilov_05_03_2010.pdf|Аннотация доклада]]
| rowspan="2" |Данилов Б.Р.
|-
| align="center"|12 марта
|-
| align="center"|19 марта
| О полноте и замкнутых классах ФАЛ с прямыми и итеративными переменными [[Media: Ulesova_19_03_2010.pdf|Аннотация доклада]]
| Улесова А.Ю.
|-
| align="center"|2 апреля
| Фотолитография: современное состояние и САПР
| Мелик-Адамян А.
|-
| align="center"|9 апреля
| rowspan="2" |Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты
| rowspan="2" |Шиганов А.Е.
|-
| align="center"|16 апреля
|-
| align="center"|23 апреля
| Об автоматной модели преследования
| Волков Н.Ю.
|-
| rowspan="2" align="center"|30 апреля
| Оценка перегруженности трассировки с использованием вероятностного анализа
| Антюфеев Г.В.
|-
| Инкрементальный алгоритм вычисления кратчайших путей в разреженном графе
| Кривошеин Д.Ю.
|-
| align="center"|7 мая
| Доклады студентов 5 курса по дипломным работам
| Улесова А.Ю., Садовников О.А., Мордасова М.С., Перегуда А.Д.
|}
== Осень 2009 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 25 сентября
| Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты [[Media:shiganov_annotation_25_09_09.pdf|Аннотация доклада]]
| Шиганов Александр
|-
| 2 октября
| О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты [[Media:shiganov_02_10_09.pdf|Аннотация доклада]]
| Шиганов Александр
|-
| 9 октября
| О сложности мультиплексорной функции в классе π-схем [[Media:Lozhkin_Vlasov_09_10_09.pdf|Аннотация доклада]]
| [[Ложкин Сергей Андреевич| Ложкин С.А.]], [[Аспиранты кафедры математической кибернетики|Власов Никита]]
|-
| 16 октября
| Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов
| Каграманян Э.Р.
|-
| 23 октября
| Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб [[Media:Sadovnikov_23_10_09.pdf|Аннотация доклада]]
| Садовников О.А.
|-
| 30 октября
| Об одной модели рекурсивных схем из функциональных элементов [[Media:Danilov_30_10_2009.pdf|Аннотация доклада]]
| Данилов Б.Р.
|-
| 6 ноября
| Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
| Морозов Е.В.
|-
| 13 ноября
| Поиск кратчайших путей в графах (обзор статей) [[Media:Krivoshein_13_11_09.pdf|Аннотация доклада]]
| Кривошеин Д.Ю.
|-
| 20 ноября
| Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника»
| Улесова А.Ю.
|-
| 27 ноября
| Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС [[Media:Melik-Adamjan_27_11_09.pdf|Аннотация доклада]]
| Мелик-Адамян А.Ф.
|-
| 4 декабря
| Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского
|
|}

== Осень 2008 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 3 Октября
| Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий
| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
|-
| 31 Октября
| Выбор оптимальных параметров в задачах с многими критериями
| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
|-
| 14 Ноября
| Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric"
| [[Студенты кафедры математической кибернетики | Мордасова М.С.]]
|-
| 12 Декабря
| Методы разрешения положительных циклов в графе ограничений
| Сергей Локинский
|}

== Весна 2008 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 26 февраля
| Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур
| Хапаев М.М.
|-
| 11 марта
| Использование разложения Гильберта при построении схем из функциональных элементов [[Media:Dolotova08.pdf|слайды]]
| Долотова Н.С.
|-
| 25 марта
| Аналитический подход к легализации размещения стандартных ячеек
| Аюпов А.Б.
|-
| 8 апреля
| Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС
| Локинский С.Н.
|-
| 29 апреля
| Структуры данных для хранения и поиска объектов в пространстве
| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
|}

== Осень 2007 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 5 октября
| Применение целочисленного линейного программирования в трассировке схем [[Media:Zapadinsky07.pdf|реферат]]
| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
|-
| rowspan="2" | 9 ноября
| colspan="2" align="center" | Совместно с семинаром [[Дискретная математика и математическая кибернетика]]
|-
| Прикладные математические задачи САПР СБИС[[Media:Marchenko-14-11-07.ppt|слайды]]
| [[Марченко Александр Михайлович|Марченко А. М.]]
|-
| 30 ноября
| Регулярность в проектировании СБИС на примере регулярных логических блоков[[Media:Shupletsov1.ppt|слайды]] и FPGA[[Media:Zapadinsky-30.11.07.pdf|слайды]]
| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]] [[Аспиранты кафедры математической кибернетики|Шуплецов Михаил]]
|-
| 14 декабря
| Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе.
| Попов Евгений
|}

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

* [[Ложкин Сергей Андреевич]]
* [[Марченко Александр Михайлович]]

[[Категория:Архив спецсеминаров кафедры математической кибернетики]]

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

2025-11-24T09:44:30Z

RomanovDS: /* Расписание докладов */

''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 29 сентября
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»[[Media:Specsem20250929.pdf|Аннотация доклада]]
| align="center" | Орлов Михаил
|-
| align="center" | 06 октября
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»[[Media:Specsem20251006.pdf|Аннотация доклада]]
| align="center" | Кудимов Денис
|-
| align="center" | 13 октября
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»[[Media:Specsem20251013.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 20 октября
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»[[Media:Specsem20251020.pdf|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 27 октября
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
| align="center" | Романов Дмитрий
|-
| align="center" | 10 ноября
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»[[Media:Specsem20251110.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 17 ноября
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
| align="center" | Михалев Евгений
|-
| align="center" | 24 ноября
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”[[Media:Specsem20251124.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

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

2025-11-24T09:43:30Z

RomanovDS: /* Расписание докладов */

''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 29 сентября
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»[[Media:Specsem20250929.pdf|Аннотация доклада]]
| align="center" | Орлов Михаил
|-
| align="center" | 06 октября
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»[[Media:Specsem20251006.pdf|Аннотация доклада]]
| align="center" | Кудимов Денис
|-
| align="center" | 13 октября
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»[[Media:Specsem20251013.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 20 октября
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»[[Media:Specsem20251020.pdf|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 27 октября
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
| align="center" | Романов Дмитрий
|-
| align="center" | 10 ноября
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»[[Media:Specsem20251110.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 17 ноября
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
| align="center" | Михалев Евгений
|-
| align="center" | 24 ноября
| Доклад по статье Альбека М.К. и Романова Д.С. “О диагностических тестах относительно локальных зеркальных отражений на входах схем”[[Media:Specsem20251110.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

Файл:Specsem20251124.pdf

2025-11-24T09:39:45Z

RomanovDS:

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

2025-11-20T18:27:45Z

RomanovDS: /* Расписание докладов */

''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по понедельникам с 18:00 до 19:35 в аудитории 506.''

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 29 сентября
| Доклад по статье Попкова К.А. «Короткие единичные тесты для схем в базисе Жегалкина при произвольных константных неисправностях элементов»[[Media:Specsem20250929.pdf|Аннотация доклада]]
| align="center" | Орлов Михаил
|-
| align="center" | 06 октября
| Доклад по теме «О сложности реализации мультиплексорной функции в классе контактных схем»[[Media:Specsem20251006.pdf|Аннотация доклада]]
| align="center" | Кудимов Денис
|-
| align="center" | 13 октября
| Доклад по теме «О поведении функции Шеннона для глубины булевых функций в некоторых базисах»[[Media:Specsem20251013.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 20 октября
| Доклад по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»[[Media:Specsem20251020.pdf|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 27 октября
| Продолжение доклада по статье Редькина Н.П. «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
| align="center" | Романов Дмитрий
|-
| align="center" | 10 ноября
| Доклад по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»[[Media:Specsem20251110.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 17 ноября
| Продолжение доклада по статье Ложкина С.А., Седелева О.Б. «О реализации функций алгебры логики BDD, вложенными в единичный куб»
| align="center" | Михалев Евгений
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

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

2025-10-18T21:49:50Z

RomanovDS: /* Расписание докладов */

Файл:Specsem20251020.pdf

2025-10-18T21:47:59Z

RomanovDS:

Файл:Specsem20250929.pdf

2025-09-26T13:40:56Z

RomanovDS: RomanovDS загружена новая версия «Файл:Specsem20250929.pdf»

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

2025-09-26T13:40:43Z

RomanovDS:

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

2025-09-26T12:22:21Z

RomanovDS:

Файл:Specsem20250929.pdf

2025-09-26T12:22:09Z

RomanovDS:

Математические вопросы проектирования СБИС (Архив)

2025-09-26T12:06:29Z

RomanovDS:

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

== Весна 2025 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 28 февраля
| Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»[[Media:Specem_252802.pdf|Аннотация доклада]]
| align="center" | Кудимов Д.Д.
|-
| align="center" | 14 марта
| Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]
| align="center" | Долгих Л.А.
|-
| align="center" | 21 марта
| Доклад по статье: Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A.S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. and Vorobiev, A., "Cirbo: A new tool for Boolean circuit analysis and synthesis" (2024). [[Media:Specsem_21032025.pdf|Аннотация доклада]]
| align="center" | Белоусова А.И.
|-
| align="center" | 04 апреля
| Доклад по статье Г.Р. Погосяна «О длине проверяющих тестов для одного класса неисправностей логических устройств // «Дискретная математика и математическая кибернетика». — М.: Наука, 1981. — С. 140–145. [[Media:Specsem_2025_04_04.pdf|Аннотация доклада]]
| align="center" | Джаналиев Д.Р.
|-
| align="center" | 11 апреля
| Доклад по теме «Об инверсной и немонотонной сложности булевых функций»[[Media:Specsem_2025_04_11.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
|}

== Осень 2024 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д.С.
|-
| align="center" | 20 декабря
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»[[Media:Specsem20241220.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
|}

== Весна 2024 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 22 февраля
| Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)[[Media:Specsem20240222.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 29 февраля
| Доклад по теме «Методы решения задачи поиска функциональных соответствий»[[Media:Specsem20240229.pdf|Аннотация доклада]]
| align="center" | Федоренко Илья
|-
| align="center" | 7, 14 марта
| Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)[[Media:Specsem20240307.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 21 марта
| Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)[[Media:Specsem20240321.pdf|Аннотация доклада]]
| align="center" | Кленин Максим
|-
| align="center" | 28 марта
| Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»[[Media:Specsem20240328.pdf|Аннотация доклада]]
| align="center" | Фаизов Алексей
|-
| align="center" | 5 апреля
| Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»[[Media:Specsem20240404.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 11 апреля
| Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»[[Media:Specsem20240411.pdf|Аннотация доклада]]
| align="center" | С.А.Ложкин и М.С.Шуплецов
|-
| align="center" | 18 апреля
| Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»[[Media:Specsem20240418.pdf|Аннотация доклада]]
| align="center" | Башмаков Михаил
|-
|}

== Осень 2023 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 4 октября
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»[[Media:Specem_241004.pdf|Аннотация доклада]]
| align="center" | Соколов Михаил
|-
| align="center" | 11 октября
| Доклад по теме «Алгоритмы логического синтеза инверсных графов»[[Media:Specem_231011.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 18 октября
| Доклад по статье К. А. Попкова «Короткие условные полные диагностические тесты для схем при однотипных константных неисправностях элементов», Дискрет. матем., 2022, том 34, выпуск 3, стр. 63–69[[Media:Specsem20231018.pdf|Аннотация доклада]]
| align="center" | Кленин Максим
|-
| align="center" | 25 октября
| Доклад по теме «О сложности реализации некоторых систем функций алгебры логики контактными многополюсниками»[[Media:Specsem20231024.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 1 ноября
| align="center" colspan=2 | Заседание семинара совмещено с заседанием секции «Математическая кибернетика» научной конференции «Тихоновские чтения» факультета ВМК МГУ[[Media:Specsem20231101.pdf|Расписание секции]]
|-
| align="center" | 8 ноября
| Доклад по теме «Мажоритарная алгебра для синтеза комбинационно-логических схем. Обзори»[[Media:Specsem20231108.pdf|Аннотация доклада]]
| align="center" | Дарья Есипова
|-
| align="center" | 22 ноября
| Доклад по статье К. А. Попкова «Короткие полные диагностические тесты для схем с одним дополнительным входом в стандартном базисе», Прикл. дискрет. матем., 2022, номер 2, с. 104–112[[Media:Specsem20231122.pdf|Аннотация доклада]]
| align="center" | Столетний Александр
|-
| align="center" | 29 ноября
| Доклад по статье М. И. Гринчука «О монотонной сложности пороговых функций», Методы дискретного анализа в теории графов и сложности, Сб. трудов Института математики СО РАН, Вып. 52, 1992, С. 41—48[[Media:Specsem20231129.pdf|Аннотация доклада]]
| align="center" | Соколов Михаил
|-
| align="center" | 6 декабря
| Доклад по теме «Оценки статической и динамической активности схем из функциональных элементов»[[Media:Specsem20231206.pdf|Аннотация доклада]]
| align="center" | Фаизов Алексей
|-
| align="center" | 13 декабря
| Доклад по теме «Поиск функциональных соответствий для схем из функциональных элементов при наличии не всюду определенных наборов»[[Media:Specsem20231213.pdf|Аннотация доклада]]
| align="center" | Фурса Даниил
|}

== Весна 2023 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 10 октября
| Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»[[Media:Specem_221008.pdf|Аннотация доклада]]
| align="center" | Козин Георгий
|-
| align="center" | 17 октября
| Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»[[Media:Specem_221017.pdf|Аннотация доклада]]
| align="center" | Исаков Ильяс
|-
| align="center" | 24 октября
| Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»[[Media:Specem_221024.pdf|Аннотация доклада]]
| align="center" | Местецкий Михаил
|-
| align="center" | 7 ноября
| Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»[[Media:Specem_221107.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 14 ноября
| Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
| align="center" | Фесенко Анастасия
|-
| align="center" | 21 ноября
| Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»[[Media:Specsem_221121.pdf|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 28 ноября
| Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»[[Media:Specsem_221128.pdf|Аннотация доклада]]
| align="center" | Синенкова Анна
|-
| align="center" | 5 декабря
| Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»[[Media:Specsem221205.doc|Аннотация доклада]]
| align="center" | Романов Дмитрий
|-
| align="center" | 12 декабря
| Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»[[Media:Specsem221211.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 7 марта
| Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»[[Media:Specsem230307.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 14 марта
| Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»[[Media:Specsem230314.pdf|Аннотация доклада]]
| align="center" | Кленин Максим
|-
| align="center" | 21 марта
| Доклад по теме «Алгоритмы построения заполняющих топологий»[[Media:Specem21032023.pdf|Аннотация доклада]]
| align="center" | Есипова Дарья
|-
| align="center" | 28 марта
| Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»[[Media:Specem28032023.pdf|Аннотация доклада]]
| align="center" | Соколов Михаил
|-
| align="center" | 4 апреля
| Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»[[Media:Specsem20230404.pdf|Аннотация доклада]]
| align="center" | Козин Георгий
|}
== Весна 2022 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 26 февраля
| Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»[[Media:Specem_210226.pdf|Аннотация доклада]]
| align="center" | Сагандыков Жандос
|-
| align="center" | 5 марта
| Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»[[Media:Specem_210305.pdf|Аннотация доклада]]
| align="center" | Купраш Екатерина
|-
| align="center" | 12 марта
| Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]], [[Media:Specem_210312.pdf|Аннотация доклада]]
| align="center" | Мальцев Александр
|-
| align="center" | 19 марта
| Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»[[Media:Specem_210319.pdf|Аннотация доклада]]
| align="center" | Хомич Павел
|-
| align="center" | 26 марта
| Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»[[Media:Specem_210326.pdf|Аннотация доклада]]
| align="center" | Белашкин И.А.
|-
| align="center" | 2 апреля
| Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»[[Media:Specem_210402.pdf|Аннотация доклада]]
| align="center" | Белашкин И.А.
|-
| align="center" | 9 апреля
| Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»[[Media:Specem_210409.pdf|Аннотация доклада]]
| align="center" | Зинкин Егор
|-
| align="center" | 1 октября
| Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»[[Media:Specem_211001.pdf|Аннотация доклада]]
| align="center" | Михаил Лопунов
|-
| align="center" | 15 октября
| Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»[[Media:Specem_211015.pdf|Аннотация доклада]]
| align="center" | Зизов Вадим
|-
| align="center" | 22 октября
| Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»[[Media:Specem_211022.pdf|Аннотация доклада]]
| align="center" | Купраш Екатерина
|-
| align="center" | 19 ноября
| Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»[[Media:Specem_211119.pdf|Аннотация доклада]]
| align="center" | Любич И.Г
|-
| align="center" | 26 ноября
| Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»[[Media:Specem_211126.pdf|Аннотация доклада]]
| align="center" | Антюфеев Г.В.
|-
| align="center" | 10 декабря
| Доклад по статье «Коммуникационная сложность универсального отношения»[[Media:Specem_211210.pdf|Аннотация доклада]]
| align="center" | Белашкин И.А.
|-
| align="center" | 17 декабря
| Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»[[Media:Specem_211217.pdf|Аннотация доклада]]
| align="center" | Местецкий Михаил
|-
| align="center" | 4 марта
| Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»[[Media:Specem_220304.pdf|Аннотация доклада]]
| align="center" | Демиденко Александр
|-
| align="center" | 18 марта
| Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»[[Media:Specem_220318.pdf|Аннотация доклада]]
| align="center" | Ступин Роман
|-
| align="center" | 25 марта
| Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»[[Media:Specem_220325.pdf|Аннотация доклада]]
| align="center" | Исаков Ильяс
|-
| align="center" | 1 апреля
| Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»[[Media:Specem_220401.pdf|Аннотация доклада]]
| align="center" | Синенкова Анна
|-
| align="center" | 8 апреля
| Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»[[Media:Specem_220408.pdf|Аннотация доклада]]
| align="center" | Тамерлан Еркибаев
|-
| align="center" | 15 апреля
| Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»[[Media:Specem_220415.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|}

== Осень 2021 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 9 октября
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»[[Media:Specem_201008.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 16 октября
| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»[[Media:Specem_201016.pdf|Аннотация доклада]]
| align="center" | Зизов В.С.
|-
| align="center" | 30 октября
| Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»[[Media:Specem_201030.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 13 ноября
| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»[[Media:Specem_201113.pdf|Аннотация доклада]]
| align="center" | Коноводов В.А.
|-
| align="center" | 20 ноября
| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.[[Media:Specem_201120.pdf|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 27 ноября
| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».[[Media:Specsem_201127.pdf|Аннотация доклада]]
| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
|-
| align="center" | 4 декабря
| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».[[Media:Specsem_201204.pdf|Аннотация доклада]]
| align="center" | М.С.Шуплецов, В.В.Жуков
|-
| align="center" | 11 декабря
| Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).[[Media:Specsem_201211.pdf|Аннотация доклада]]
| align="center" | Н.В.Пименов
|}

== Весна 2021 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 9 октября
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»[[Media:Specem_201008.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 16 октября
| Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»[[Media:Specem_201016.pdf|Аннотация доклада]]
| align="center" | Зизов В.С.
|-
| align="center" | 30 октября
| Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»[[Media:Specem_201030.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 13 ноября
| Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»[[Media:Specem_201113.pdf|Аннотация доклада]]
| align="center" | Коноводов В.А.
|-
| align="center" | 20 ноября
| Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.[[Media:Specem_201120.pdf|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 27 ноября
| Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».[[Media:Specsem_201127.pdf|Аннотация доклада]]
| align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
|-
| align="center" | 4 декабря
| Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».[[Media:Specsem_201204.pdf|Аннотация доклада]]
| align="center" | М.С.Шуплецов, В.В.Жуков
|-
| align="center" | 11 декабря
| Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).[[Media:Specsem_201211.pdf|Аннотация доклада]]
| align="center" | Н.В.Пименов
|}

== Осень 2020 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 27 сентября
| Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»[[Media:Specsem_190927.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 11 октября
| Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)[[Media:Specsem_191011.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 18 октября
| Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»[[Media:Specsem_191018.pdf|Аннотация доклада]]
| align="center" | Зизов В.
|-
| align="center" | 25 октября
| Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»[[Media:Specsem_191025.pdf|Аннотация доклада]]
| align="center" | Ибрагимов Б.М.
|-
| align="center" | 8 ноября
| rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»[[Media:Specsem_191108.pdf|Аннотация доклада]]
| rowspan="2" align="center" | проф. Ложкин С.А.
|-
| align="center" | 15 ноября
|-
| align="center" | 22 ноября
| Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)[[Media:Specsem_221119.pdf|Аннотация доклада]]
| align="center" | Купраш Е.
|-
| align="center" | 13 декабря
| Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»[[Media:Specsem_191213.pdf|Аннотация доклада]]
| align="center" | доцент кафедры МАТИС
механико-математического факультета Часовских А.А.
|-
| align="center" | 21 февраля
| Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»[[Media:Specem_200221.pdf|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 28 февраля
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»[[Media:Specsem_200228.pdf|Аннотация доклада]]
| align="center" | Пименов Н.В.
|}

== Весна 2019 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 22 февраля
| Доклад по статье «Finding Efficient Circuits Using SAT-Solvers»[[Media:Specsem_190222.pdf|Аннотация доклада]]
| align="center" | Купраш Е.Д.
|-
| align="center" | 1 марта
| Доклад по теме «Алгоритмы поиска минимальных и близких к ним схем для булевых функций от малого числа переменных»[[Media:Specsem_190301.pdf|Аннотация доклада]]
| align="center" | Жуков В.В.
|-
| align="center" | 15 марта
| Доклад по работе К.А. Попкова «Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов» (Препринты ИПМ им. М.В. Келдыша РАН, 2018, № 197. - М.: ИПМ им. М.В. Келдыша РАН, 2018. - 24 с. - DOI: https://doi.org/10.20948/prepr-2018-197)[[Media:Specsem_190315.pdf|Аннотация доклада]]
| align="center" | Лопунов М.А.
|-
| align="center" | 22 марта
| rowspan="2" | Доклад по работе С.А. Ложкина и М.С.Шуплецова «О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью» (Учёные записки Казанского университета. Физ-матем. Науки т. 156, кн. 3. 2014. С. 84—97)[[Media:Specsem_190322.pdf|Аннотация доклада]]
| align="center" rowspan="2" | Пименов Н.В.
|-
| align="center" | 29 марта
|-
| align="center" | 5 апреля
| Доклад по статье Н.П. Редькина «О диагностических тестах для контактных схем» (Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, стр. 35–37)[[Media:Спецсеминар_2019_04_05_Аннотация.doc|Аннотация доклада]]
| align="center" | Омарова М.М.
|-
| align="center" | 12 апреля
| Доклад по теме «О сложности реализации мультиплексорной функции алгебры логики в некотором классе контактных схем»[[Media:Specsem_190412.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 19 апреля
| Выступления студентов 4 и 6 курсов с выпускными квалификационными работами и магистерскими диссертациями
| align="center" |
|-
| align="center" | 17 мая
| Выступления студентов 3 и 5 курсов с курсовыми работами
| align="center" |
|}

== Осень 2018 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 21 сентября
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем»[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]
| align="center" | Хзмалян Д.Э.
|-
| align="center" | 28 сентября
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов»[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]
| align="center" | Мальцев А.Н.
|-
| align="center" | 5 октября
| Доклад по статье Барздиня Я.М. «Сложность распознавания симметрии на машинах Тьюринга»[[Media:Титов_05_10_2018.pdf|Аннотация доклада]]
| align="center" | Титов В.А.
|-
| rowspan="2" align="center" | 12 октября
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
|-
| «Нижняя оценка энергопотребления для одного класса объёмных схем»
| align="center" | Ефимов Алексей Андреевич
|-
| align="center" | 19 октября
| Доклад по статье Храпченко В.М. «Об асимптотической оценке времени сложения параллельного сумматора»[[Media:Кинжикеева_19_10_2018.pdf|Аннотация доклада]]
| align="center" | Кинжикеева Д.С.
|-
| align="center" | 26 октября
| rowspan="2" | Обзорный доклад по теме «FPGA Fastfood – Высокоскоростная систолическая реализация больших масштабируемых ядровых онлайн методов на ПЛИС»[[Media:Красильникова_26_10-5_11_2018.pdf|Аннотация доклада]]
| align="center" rowspan="2" | Красильникова А.А.
|-
| align="center" | 2 ноября
|-
| rowspan="2" align="center" | 9 ноября
|-
| Доклад по статье Попкова К.А. «Полные диагностические тесты длины 2 для схем при инверсных неисправностях функциональных элементов» (http://www.mathnet.ru/links/0ae940a0498b8f09da9a8d3d59a9c2b4/ipmp2321.pdf)
| align="center" | Александрова Н.Е.
|-
| rowspan="2" align="center" | 16 ноября
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
|-
| Доклад по теме «Оптимальные двусторонние вложения полных двоичных деревьев в прямоугольные решётки»[[Media:Высоцкий_16_11_2018.pdf|Аннотация доклада]]
| align="center" | Высоцкий Л.И.
|-
| align="center" | 23 ноября
| Доклад по теме «Новые тенденции проектирования интегральных схем искусственного интеллекта в Кремниевой долине»[[Media:Панчул_23_11_2018.pdf|Аннотация доклада]]
| align="center" | Панчул Юрий Владимирович
|-
| rowspan="2" align="center" | 7 декабря
| colspan="2" align="center" | Совместно с семинаром [[Актуальные математические задачи, связанные с проектированием СБИС]]
|-
| Доклад по теме «О сложности многослойных клеточных схем»[[Media:Specsem_7dec.doc|Аннотация доклада]]
| align="center" | Калачев Г.В., Сытдыков Т.Р.
|-
|}

== Весна 2018 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик

|-
| rowspan="2" align="center" | 06 апреля
|-
| Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов»
| align="center" | Высоцкий Л. И., Жуков В. В.

|-
| rowspan="2" align="center" | 23 марта
|-
| Доклад по статье Н.П. Редькина «К вопросу о длине диагностических тестов для схем» (Матем. заметки, 2017, том 102, выпуск 4, с. 624–627).
| align="center" | Курбацкая В.К.

|-
| rowspan="2" align="center" | 16 марта
|-
| Доклад по препринту К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с.
| align="center" | Мальцев А.Н.

|-
| rowspan="2" align="center" | 2 марта
|-
| Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем".
| align="center" | Хзмолян Д.Э.
|}

== Осень 2017 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик

|-
| rowspan="2" align="center" | 22 сентября
|-
| Доклад «Cинтез рекурсивных схем из функциональных элементов»
| align="center" | Жуков В.В.

|-
| rowspan="2" align="center" | 29 сентября
|-
| Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
| align="center" | Курбацкая В.К.

|-
| rowspan="2" align="center" | 6 октября
|-
| Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
| align="center" | Высоцкий Л.И.

|-
| rowspan="2" align="center" | 20 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| О динамической активности схем из функциональных элементов.
| align="center" | Шуплецов М.С.
|-

| rowspan="2" align="center" | 27 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". [[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| align="center" | Автайкина Мария
|-
| rowspan="2" align="center" | 3 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". [[Media:ipmp2214.pdf|Аннотация доклада]]
| align="center" | В. К. Курбацкая
|-
| rowspan="2" align="center" | 11 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "О глубине ступенчатых функций".
| align="center" | Д. С. Кинжикеева
|-
| rowspan="2" align="center" | 17 ноября
|-
| Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
| align="center" | Павлова А.Ф.
|-
| rowspan="2" align="center" | 24 ноября
|-
| Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.»
| align="center" | Крюков Павел
|}
== Весна 2017 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| rowspan="2" align="center" | 21 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Представление магистерских диссертаций, выполненных студентами 6 курса под руководством доцента Романова Д.С.
| align="center" |
|-
| rowspan="2" align="center" | 14 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад «Сложность реализации “больших” систем булевых функций в одном классе обобщенных контактных схем»
| align="center" | Зиновьев В.С.
|-
| rowspan="2" align="center" | 7 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины»
| align="center" | Жуков В.В.
|-
| align="center" | 17 марта
| Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]
| align="center" | Трубицын Ю.А.
|-
| rowspan="2" align="center" | 17 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
| align="center" | Кинжикеева Д.
|-
| align="center" | 3 марта
| Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»[[Media:mmvlsi-annot-170303.pdf|Аннотация доклада]]
| align="center" | Высоцкий Л.И.
|-
| rowspan="2" align="center" | 31 марта
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Huang S.-L. et al. «Match and Replace: A Functional ECO Engine for Multi-error Circuit Rectification»[[Media:mmvlsi-pcst-annot-170331.pdf|Аннотация доклада]]
| align="center" | Смирнов М.Е.
|-
|}

== Осень 2016 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| rowspan="2" align="center" | 23 сентября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" [[Media:zukov.pdf|Аннотация доклада]]
| Жуков В.В.
|-
| align="center" | 30 сентября
| Нижняя оценка мощности плоских схем, реализующих булевы операторы [[Media:kalavac.docx|Аннотация доклада]]
| Калачев Г.В.
|-
| align="center" | 7 октября
| Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" [[Media:chemodan.pdf|Аннотация доклада]]
| Чемоданова О.М.
|-
| align="center" | 14 октября
| Доклад по статье Попкова К.А. "О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина" [[Media:popkov.docx|Аннотация доклада]]
| Любич И.Г.
|-
| align="center" | 21 октября
| Доклад "Синтез обратимых схем без дополнительной памяти" [[Media:zabluk.docx|Аннотация доклада]]
| Закаблуков Д.В.
|-
| align="center" | 28 октября
| Доклад "О глубине мультиплексорной функции" [[Media:zabluk.docx|Аннотация доклада]]
| Титов В.А.
|-
| align="center" | 11 ноября
| Окончание доклада "О глубине мультиплексорной функции" [[Media:zabluk.docx|Аннотация доклада]]
| Титов В.А.
|-
| align="center" | 18 ноября
| Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции" [[Media:zabluk.docx|Аннотация доклада]]
| Довгалюк Е.Л.
|-
| rowspan="2" align="center" | 25 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" [[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|Аннотация доклада]]
| Тамм Я.-М.Ю.
|-
| rowspan="2" align="center" | 2 декабря
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" [[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]
| Уваров И.В.
|-
| align="center" | 9 декабря
| Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов". [[Media:Romanovs_Abstract.doc|Аннотация доклада]]
| Шишков И.С.
|}

== Весна 2016 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| rowspan="2" align="center" | 19 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" [[Media:zinovev.docx|Аннотация доклада]]
| Зиновьев В.С.
|-
| rowspan="2" align="center" | 26 февраля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". [[Media:smirnoy.docx|Аннотация доклада]]
| Смирной Максим
|-
| rowspan="2" align="center" | 4 марта
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". [[Media:vyatkin.docx|Аннотация доклада]]
| Вяткин Евгений
|-
| align="center" | 11 марта
| Синтез контактных схем ограниченной ширины. [[Media:bejovc.docx|Аннотация доклада]]
| Бежовец А.В.
|-
| align="center" | 18 марта
| Об асимптотических оценках сложности константных схем заданной степени. [[Media:pavlov.docx|Аннотация доклада]]
| Павлов А.В.
|-
| rowspan="2" align="center" | 25 марта
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад «Cadence design systems: основные тренды в индустрии». [[Media:cadence.pdf|Аннотация доклада]]
| Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
|-
| align="center" | 1 апреля
| Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"
| Курбацкая В.К.
|-
| align = "center"| 8 апреля
| Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". [[Media:kuhtinov.docx|Аннотация доклада]]
| Кухтинов А.С.
|-
| align = "center"| 15 апреля
| Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами».
| Высоцкий Л.И.
|-
| rowspan="2" align="center" | 22 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] (Ауд. 526б)
|-
| Автоматизация проектирования электронных устройств [[Media:cadence2.pdf|Аннотация доклада]]
| Семинар компании Cadence design systems.
|-
| rowspan="2" align="center" | 29 апреля
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
| Калинина А.Н.
|-
| rowspan="2" align="center" | 6 мая
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".
| Шишков Илья Сергеевич
|-
|}
== Осень 2015 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 9 октября
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
| Зиновьев В. С.
|-
| align="center" | 16 октября
| Синтез и сложность дешифраторных схем контактного типа
| Добровецкий Д. И.
|-
| rowspan="2" align="center" | 23 октября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| New bounds on Klarner's constant
| Gill Barequet, Dept. of Computer Science, Technion
|-
| align = "center"|30 октября
| О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. [[Media:аннотация.docx|Аннотация доклада]]
| Довгалюк Е. Л.
|-
| align = "center"|6 ноября
| Об одной модели рекурсивных схем из функциональных элементов. [[Media:fiveyskiy.docx|Аннотация доклада]]
| Фивейский С.В.
|-
| rowspan="2" align="center" | 13 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
| Мария Автайкина
|-
| rowspan="2" align="center" | 20 ноября
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
1. http://www.iccad.com (конференция)
2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
|-
| align = "center"| 27 ноября
| Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" [[Media:kuhtinov.docx|Аннотация доклада]]
| Кухтинов А.С.
|-
| align = "center"| 4 декабря
| Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
| Шуплецов М.С.
|-
| rowspan="2" align="center" | 11 декабря
| colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
|-
| Доклад "Маршрут физического проектирования систем на кристалле"
| Евгений Зенин
|}
== Весна 2015 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 февраля
| Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов".
| Смирнов А. А.
|-
| align="center" | 27 февраля
| Доклад по статье Д. С. и Е. Ю. Романовых "О единичных проверяющих тестах для схем переключательного типа"
| Сальников В. А.
|-
| align="center" | 13 марта
| О динамической активности мультиплексорной функции
| Кулешов О. В.
|-
| align="center" | 27 марта
| Обзор современных алгоритмов поиска кратчайших путей в транспортных графах. [http://research.microsoft.com/apps/pubs/default.aspx?id=207102]
| Тамм Я.-М. Ю.
|-
| align="center" | 3 апреля
| Использования методов логического синтеза для ускорения решения задач верификации схем [http://minisat.se/downloads/synth_in_sat.pdf]
| Павлов А. В.
|-
| align="center" | 10 апреля
| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
| Пузачев Д. С.
|-
| align="center" | 24 апреля
| Представление студентами 4 и 5 курсов своих выпускных квалификационных работ
|
|}

== Осень 2014 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 3 октября
| Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
| Зиновьев В. С.
|-
| align="center" | 10 октября
| Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
| Зиновьев В. С.
|-
| align="center" | 17 октября
| Тесты для булевых функций относительно вытесняющих неисправностей
| Морозов Е. В.
|-
| align="center" | 24 октября
| Комбинаторика и сложность случайных булевых формул
| [[Участник:KonovodovV|Коноводов В. А. ]]
|-
| align="center" | 31 октября
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" [[Media:VLSI31.10.2014.pdf|аннотация докдада]]
| Раннев Е. К.
|-
| align="center" | 7 ноября
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|-
| align="center" | 14 ноября
| О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов [[Media:VLSI11.11.2014.pdf|аннотация докдада]]
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
|-
| align = "center"|21 ноября
| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» [http://mi.mathnet.ru/dm721 Данные о статье]
| align = "center"| Довгалюк Е. Л.
|-
| align = "center"|28 ноября
| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
| align = "center"| Белышов М. В.
|-
| align = "center"| 5 декабря
| Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" [http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=743779 Данные о статье]
| align = "center"| Кумар В.
|-
| align = "center"| 12 декабря
| Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
| align = "center"| Кортунова Е. М.
|-
| align="center" | 19 декабря
| Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» .
| [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
|}

== Весна 2014 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 21 февраля
| Сверхполиномиальная нижняя оценка монотонной сложности функции клики [[Медиа:CSVLSI21.02.14.pdf | Аннотация доклада]], [[Медиа:21.02.14.pres.pdf | Презентация]]
| Довгалюк Е. Л.
|-
| align="center" | 28 февраля
| Метод Нечипорука и примеры его применения [[Медиа:CSVLSI28.02.2014.pdf | Аннотация доклада]]
| Кулешов О. В.
|-
| align="center" | 14 марта
| rowspan="2" | О минимальных π-схемах для монотонных симметрических функций с порогом 2 [[Медиа:CSVLSI14.03.2014.pdf | Аннотация доклада]]
| rowspan="2" | [[Ложкин Сергей Андреевич | Ложкин С. А.]]
|-
| align="center" | 21 марта
|-
| align="center" | 28 марта
| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]
| Данилов Б. Р.
|-
| align="center" | 4 апреля
| Некоторые обобщения теоремы Храпченко и примеры их применений [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]
| Раннев Е. К.
|-
| align="center" | 11 апреля
| Доклад по [http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1672574&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D1672574 статье ] Kewal K. Saluja, Sudhakar M. Reddy, "On minimally testable logic networks".
| Кумар В.
|-
| align="center" | 18 апреля
| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
| Доленко О. С.
|-
| align="center" | 25 апреля
| Исследование влияния структурных параметров на результаты синтеза цифровых схем
| Кортунова Е. Н.
|-
| align="center" | 16 мая
| Доклад по статье Т. И. Красновой "Асимптотически минимальные схемы для одной последовательности булевых функций"
| Чеховская Е. Н.
|}
== Осень 2013 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"| 20 сентября
| О существовании асимптотики для функции Шеннона для клеточных и планарных схем в некоторых базисах [[Media:20.09.2013.pdf|Аннотация доклада]]
| align = "center"| Белышов М. В.
|-
| align = "center"| 27 сентября
| О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции [[Media:27.09.2013.pdf|Аннотация доклада]]
| align = "center"| Довгалюк Е. Л.
|-
| align = "center"| 4 октября
| Сверхлогарифмическая нижняя оценка глубины монотонных схем для булевой функции st-связности [[Media:04.10.2013.pdf|Аннотация доклада]]
| align = "center"| Белышов М. В.
|-
| align = "center"| 11 октября
| О полноте и замкнутых классах функций алгебры логики с прямыми и итеративными переменными [[Media:11.10.2013.pdf|Аннотация доклада]]
| align = "center"| Коноводов В. А.
|-
| align = "center"| 18 октября
| Символьная постановка и генерация ограничений для систематического сравнения аналоговых схем [[Media:18.10.2013.pdf|Аннотация доклада]]
| align = "center"| Кортунова Е. М.
|-
| align = "center"| 25 октября
| Доклад по статье Грибка С. В. "Об одной модели рекурсивных схем из функциональных элементов" [[Media:25.10.2013.pdf|Аннотация доклада]]
| align = "center"| Жукова А. А.
|-
| align = "center"| 1 ноября
| Доклад по статье Никитина А. А. "О минимальном объеме памяти, необходимом для реализации функций алгебры логики конвейерными схемами"
| align = "center"| Кулешов О. В.
|-
| align = "center"| 8 ноября
| О тестах относительно множественных линейных слипаний переменных в булевых функциях[[Media:08.11.2013.pdf|Аннотация доклада]]
| align = "center"| Морозов Е. В.
|-
| align = "center"| 15 ноября
| Доклад по статье Мадатяна Х. А. "Синтез контактных схем ограниченной ширины"
| align = "center"| Тренкунов А. В.
|-
| align = "center"| 22 ноября
| Доклад по статье Коршунова А. Д. "Об асимптотических оценках сложности контактных схем заданной степени"[[Media:22.11.2013.pdf|Аннотация доклада]]
| align = "center"| Чеховская Е. Н.
|-
| align = "center"| 29 ноября
| Доклад по статье Кузьмина В. А. "Реализация функций алгебры логики автоматами, нормальными алгорифмами и машинами Тьюринга"[[Media:29.11.2013.pdf|Аннотация доклада]]
| align = "center"| Кумар В.
|-
| align = "center"| 6 декабря
| Автоматная сложность булевых функций из классов Поста
| align = "center"| Кибкало М. А.
|-
| align = "center"| 13 декабря
| Доклад по [[Медиа:Hrapchenko78.djvu|статье]] Храпченко В.М. «О соотношении между сложностью и глубиной формул»
| align = "center"| Доленко О. С.
|}

==Весна 2013 года==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"| 22 февраля
| О сложности реализации булевых функций из некоторых классов, связанных с конечными грамматиками, формулами глубины альтернирования 3 [[Media:22.02.2013.pdf|Аннотация доклада]]
| align = "center"| Коноводов В.А.
|-
| align = "center"| 1 марта
| О схемах, допускающих полные проверяющие тесты длины 4 при константных неисправностях на выходах элементов в одном базисе
| align = "center"| Романов Д.С.
|-
| align = "center"| 15 марта
| Доклад по статье Храпченко В.М. «О соотношении между глубиной и сложностью формул в базисе, содержащем медиану»
| align = "center"| Доленко О.С.
|-
| align = "center"| 22 марта
| Доклад по [[Медиа:Dm601.pdf|статье]] Хахулина В.Г. «О проверяющих тестах для счетчика четности»
| align = "center"| Жукова А.А.
|-
| align = "center"| 29 марта
| Доклад по статье Захаровой Е.В. и Яблонского С.В. «Некоторые свойства невырожденных суперпозиций в Pk»[[Media:29.03.2013.pdf|Аннотация доклада]]
| align = "center"| Чеховская Е.Н.
|-
| align = "center"| 5 апреля
| Доклад по [http://mi.mathnet.ru/dm198 статье] Черемисина О.В. «Об активности схем из клеточных элементов, реализующих конъюнкцию»
| align = "center"| Тренкунов А.В.
|-
| align = "center"| 12 апреля
| Доклад по [http://mi.mathnet.ru/mz7425 статье] Улига Д. «О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных злементов»
| align = "center"| Морозов Е.В.
|-
| align = "center"| 19 апреля
|О тестах относительно примитивных сдвигов переменных в булевых функциях[[Media:19.04.2013.pdf|Аннотация доклада]]
| align = "center"| Антюфеев Г. В.
|-
| align = "center"| 26 апреля
| Доклад по [http://mi.mathnet.ru/dm1112 статье] Бородиной Ю. В., Бородина П. А. «Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов»
| align = "center"| Плоткина Ю. С.
|-
| align = "center"| 17 мая
| Доклады студентов 5 курса по дипломным работам.
| align = "center"|
|}

== Осень 2012 года ==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"|28 сентября
| Доклад по статье Бородиной Ю. В. "О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов." [[Media:29.09.2012.pdf|Выходные данные]]
| align = "center"| Плоткина Ю.С.
|-
| align = "center"|5 октября
| О сложности мультиплексорной функции в классе схем из функциональных элементов [[Media:5.10.2012.pdf|Аннотация доклада]]
| align = "center"| Власов Н.В.
|-
| align = "center"|12 октября
| Алгоритмы для нахождения автоморфизмов больших разреженных графов [[Media:12.10.2012.pdf|Аннотация доклада]]
| align = "center"| Марков И. Л. (Мичиганский университет, США)
|-
| align = "center"|19 октября
| Доклад по статье N. Blum «A boolean function requiring 3n network size» [http://scidok.sulb.uni-saarland.de/volltexte/2011/4065/pdf/fb14_1982_13ocr.pdf Статья]
| align = "center"| Богомолова Е. М.
|-
| align = "center"|26 октября
| Активность схем из функциональных элементов [[Media:26.10.2012.pdf|Аннотация доклада]]
| align = "center"| Доленко О. С.
|-
| align = "center"|2 ноября
| Активность схем из функциональных элементов(окончание доклада)
| align = "center"| Доленко О. С.
|-
| align = "center"| 9 ноября
| Доклад по статье L. G. Valiant «Short Monotone Formulae for the Majority Function»[[Media:9.11.2012.pdf|Аннотация доклада]]
| align = "center"|Морозов Е. В.
|-
| align = "center"| 16 ноября
| Минимизация пересечений линий (веток метро) на картах метро[[Media:16.11.2012.pdf|Аннотация доклада]]
| align = "center"|Кунаков М. А.
|-
| align = "center"| 23 ноября
| Об одном методе получения более чем квадратичных эффективных нижних оценок сложности <math>\pi</math>-схем [[Media:23.11.2012.pdf|Аннотация доклада]]
| align = "center"| Коноводов В. А.
|-
| align = "center"| 30 ноября
| Подходы к декомпозиции топологии для литографии с двойным экспонированием рисунка [[Media:30.11.2012.pdf|Аннотация доклада]]
| align = "center"| Кривошеин Д. Ю.
|-
| align = "center"| 7 декабря
| Метод логико-топологического синтеза нанометровых КМОП-схем на основе транзисторных шаблонов [http://www.ippm.ru/data/dissrt/Avtoreferat-Talalai.pdf Ссылка на автореферат диссертации]
| align = "center"| Талалай М. С.
|-
| align = "center"| 14 декабря
| Инверсная сложность булевых функций[[Media:14.12.2012.pdf|Аннотация доклада]]
| align = "center"| Морозов Е. В.
|}

== Весна 2012 года ==

{| align="center" width="100%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"|24 февраля
| Доклад по статье Улига Д. «Об одной функции алгебры логики, имеющей много подфункций и небольшую сложность реализации» [[Media:24.02.2012.pdf|Аннотация доклада]]
| align = "center"| Богомолова Е. М.
|-
| align = "center"|2 марта
| Доклад по статье A. Genitrini, B. Gittenberger [http://www-apr.lip6.fr/~genitrini/publi/aofa10_genitrini.pdf «No Shannon effect on probability distributions on Boolean functions induced by random expressions»] [[Media:2.03.2012.pdf|Аннотация доклада]]
| align = "center"| Яблонская А.Ю.
|-
| align = "center"|11 марта
|Доклад по статье Шуткина Ю.С. [http://dvinemnauku.ru/upload/day_101214/201012142208188078.pdf «Синтез информационных графов для предполных классов булевых функций»] [[Media:11.03.2012.pdf|Аннотация доклада]]
| align = "center"|Валиев Т.Р.
|-
| align = "center"|16 марта
|О синтезе и сложности формул с ограниченной глубиной альтернирования [[Media:16.03.2012.pdf|Аннотация доклада]]
| align = "center"|Коноводов В.А.
|-
| align = "center"|23 марта
| Доклад по статье Улига Д. «Самокорректирующиеся контактные схемы, исправляющие большое число ошибок»
| align = "center"|Коразбаев К.Ж.
|-
| align = "center"|30 марта
| О синтезе схем ограниченной ширины и вычислениях с ограниченной памятью
| align = "center"|Коноводов В.А.
|-
| align = "center"|6 апреля
| Доклад по [http://mi.mathnet.ru/mz7518 статье Й. Денева] «Об одной функции, сложно реализуемой методом каскадов»
| align = "center"|Егоров А.В.
|-
| align = "center" |13 апреля
| Алгоритм обнаружения положительных циклов в графе в задаче сжатия топологии СБИС [[Media:13.04.2012.pdf|Аннотация доклада]]
| align = "center" |Кривошеин Д.Ю.
|-
| align = "center" |20 апреля
| |О поведении функции Шеннона для бинарных программ (по статьям Грибка С.В.)[[Media:30.03.2012.pdf|Аннотация доклада]]
| align = "center" |Блинов С.В.
|-
| align = "center" |27 апреля
| Доклад по [http://mi.mathnet.ru/dm1173 статье] Ю.В.Бородиной "Синтез легкотестируемых схем в базисе <math>\{\And,\vee,\neg\}</math> для систем булевых функций"
| align = "center" |Морозов Е.В.
|-
| rowspan = "2" align="center" |4 мая
| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
| align="center" |Коноводов В.А.
|-
| align="center"|Богомолова Е.М.
|-
| rowspan = "2" align="center" |11 мая
| rowspan = "2" |Доклады студентов 5 курса по дипломным работам
| align="center" |Морозов Е.В.
|-
| align="center"|Цимбалов С.Е.
|}

== Осень 2011 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align = "center"|30 сентября
| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» [[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]
| align = "center"| Борис Данилов
|-
| align = "center"|7 октября
| Модификация метода Лупанова с более равномерным распределением исходящих дуг. [http://eccc.hpi-web.de/report/2011/130/ Ссылка на статью]
| align = "center"| [[Ложкин Сергей Андреевич|Ложкин С. А.]]
|-
| align = "center"|14 октября
| О глубине мультиплексорной функции [[Media:Vlasov_14_10_11.pdf|Аннотация доклада]]
| align = "center"| Никита Власов
|-
| align = "center"|21 октября
| Доклад по статье Д.А.Жукова «Об одном классе клеточных схем» [http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dm&paperid=81&option_lang=rus Ссылка на статью]
| align = "center"| Александра Яблонская
|-
| align = "center"|28 октября
| Доклад по статье T.Yamada, H.Kinoshita «Finding all the negative cycles in a directed graph» [http://www.mendeley.com/research/finding-negative-cycles-directed-graph-18/# Ссылка на статью]
| align = "center"| Дмитрий Кривошеин
|-
| align = "center"|11 ноября
| Доклад по статье I. Griva «Numerical experiments with an interior-exterior point method for nonlinear programming» [http://www.optimization-online.org/DB_HTML/2004/07/910.html Ссылка на статью]
| align = "center"| Сергей Цимбалов
|-
| align = "center"|18 ноября
| Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора» [http://elibrary.ru/item.asp?id=9427931 Данные о статье]
| align = "center"| Евгений Морозов
|-
| align = "center"|25 ноября
| Доклад по статье Задорожнюка О. А. «О контактных схемах из клеточных элементов»
| align = "center"| Олег Садовников
|-
| align = "center"|2 декабря
| Проблемы полноты и выразимости в пространствах дискретных функций
| align = "center"| Парватов Н. Г. (Томск)
|-
| align = "center"|9 декабря
| О надежности неветвящихся программ с оператором условной остановки.
| align = "center"| Грабовская С. М. (Пенза)
|-
| align = "center"|16 декабря
| Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» [http://mi.mathnet.ru/dm721 Данные о статье]
| align = "center"| Богомолова Е. М.
|}
==Весна 2011 года==
{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|25 февраля
| Логический синтез топологически регулярных схем на транзисторных шаблонах [[Media:Talalai_25_02.pdf|Аннотация доклада]]
| align="center"|Михаил Талалай
|-
| align="center"|4 марта
| Доклад по статье Bernat Corominas-Murtra, Joaquin Goñi, Carlos Rodriguez-Caso, Ricard Solé «Hierarchy and information in feedforward networks» [[Media:feedforward_networks.pdf|Аннотация к статье]]
| align="center"|Владимир Лысиков
|-
| align="center"|11 марта
| rowspan = "2" | Верификация структурных моделей цифровых схем [[Media:Gotmanov_11_03.pdf|Аннотация доклада]]
| rowspan = "2" align="center"|Александр Готманов
|-
| align="center"|25 марта
|-
| align="center"|1 апреля
| Доклад по [http://mi.mathnet.ru/da435 статье Н.П. Редькина] «Асимптотически минимальные самокорректирующиеся схемы для одной последовательности булевых функций»
| align="center"|Олег Снегирев
|-
| align="center"|8 апреля
| Доклад по [http://www.springerlink.com/content/m367ku711w732g87/ статье N. Blum, M. Seysen] «Characterization of all optimal networks for a simultaneous computation of AND and NOR»
| align="center"|Владимир Коноводов
|-
| align = "center"|15 апреля
| Доклад по статье О.А. Задорожнюка, А.И. Рыбко «Об одной модели плоских контактных схем»[[Media:‎Kopachevskiy_15_04.pdf|Аннотация доклада]]
| align = "center"| Юрий Копачевский
|-
| align = "center"|22 апреля
| Доклад по статье О.Б.Лупанова «К вопросу о реализации симметрических функций алгебры логики контактными схемами» [[Media:‎Vlasov_22_04.pdf|Аннотация доклада]]
| align = "center"| Никита Власов
|-
| align = "center"|29 апреля
| Доклад по статье В.М.Храпченко «Об асимптотической оценке времени сложения параллельного сумматора» [[Media:‎Danilov_29_04_2011.pdf|Аннотация доклада]]
| align = "center"| Борис Данилов
|-
| align="center" rowspan = "2"|6 мая
| rowspan = "2" | Доклады по магистерским диссертациям
| align="center"|Дмитрий Кривошеин
|-
| align="center"|Григорий Антюфеев
|}

== Осень 2010 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|1 октября
| О глубине мультиплексорной функции [[Media:Vlasov_01_10.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
|-
| align="center"|8 октября
| Поведение функции Шеннона для задержки схемы из функциональных элементов в некоторых моделях [[Media:Danilov_08_10.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Данилов Б.Р.]]
|-
| align="center"|15 октября
| Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа.
| [[Аспиранты кафедры математической кибернетики|Шуплецов М.С.]]
|-
| align="center"|22 октября
| Проект "Клеточные схемы" и синтез схем в технологии Sea Of Transistors.
| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
|-
| align="center"|29 октября
| Об одном методе сжатия информации и сложности реализации монотонных симметрических функций.[[Media:Ulesova_29_10.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Улесова А.Ю.]]
|-
| align="center"|12 ноября
| О сложности реализации частичных булевых функций схемами из функциональных элементов.[[Media:Blinov_12_11.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Блинов С.В.]]
|-
| align="center"|19 ноября
| Полиномиальные нижние оценки сложности формул в неполном базисе. Сложность монотонных схем для булева умножения матриц.[[Media:Vlasov_19_11.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Власов Н.В.]]
|-
| rowspan="2" align="center"|26 ноября
| Алгоритм сжатия для невыпуклых многоугольников и его приложения
| Кривошеин Д.Ю.
|-
| Московское отделение лаборатории САПР Интел. Основные направления исследовательской деятельности.
| Жмурин А.В.
|-
| align="center"|3 декабря
| Некоторые свойства невырожденных суперпозиций в Pk[[Media:Sadovnikov_03_12.pdf|Аннотация доклада]]
| [[Аспиранты кафедры математической кибернетики|Садовников О.А.]]
|-
| align="center"|10 декабря
| Решение задачи о клике сведением к задаче с DC ограничением
| [[Студенты кафедры математической кибернетики|Цимбалов С.Е.]]
|-
| align="center"|17 декабря
| Доклад по статье Joost Rommes, Wil H. A. Schilders, "Efficient Methods for Large Resistor Networks"[[Media:Antufeev_17_12.pdf|Аннотация доклада]]
| Антюфеев Г.В.
|}

== Весна 2010 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center"|26 февраля
| Доклад по статье Гринчука М.И. "О монотонной сложности пороговых функций"
| Власов Н.В.
|-
| align="center"|5 марта
| rowspan="2" |Об одной модели схем из функциональных элементов с задержками [[Media: Danilov_05_03_2010.pdf|Аннотация доклада]]
| rowspan="2" |Данилов Б.Р.
|-
| align="center"|12 марта
|-
| align="center"|19 марта
| О полноте и замкнутых классах ФАЛ с прямыми и итеративными переменными [[Media: Ulesova_19_03_2010.pdf|Аннотация доклада]]
| Улесова А.Ю.
|-
| align="center"|2 апреля
| Фотолитография: современное состояние и САПР
| Мелик-Адамян А.
|-
| align="center"|9 апреля
| rowspan="2" |Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты
| rowspan="2" |Шиганов А.Е.
|-
| align="center"|16 апреля
|-
| align="center"|23 апреля
| Об автоматной модели преследования
| Волков Н.Ю.
|-
| rowspan="2" align="center"|30 апреля
| Оценка перегруженности трассировки с использованием вероятностного анализа
| Антюфеев Г.В.
|-
| Инкрементальный алгоритм вычисления кратчайших путей в разреженном графе
| Кривошеин Д.Ю.
|-
| align="center"|7 мая
| Доклады студентов 5 курса по дипломным работам
| Улесова А.Ю., Садовников О.А., Мордасова М.С., Перегуда А.Д.
|}
== Осень 2009 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 25 сентября
| Методы синтеза и оценки сложности схем проводящего типа с ограничениями на смежные контакты [[Media:shiganov_annotation_25_09_09.pdf|Аннотация доклада]]
| Шиганов Александр
|-
| 2 октября
| О синтезе ориентированных контактных схем с некоторыми ограничениями на смежные контакты [[Media:shiganov_02_10_09.pdf|Аннотация доклада]]
| Шиганов Александр
|-
| 9 октября
| О сложности мультиплексорной функции в классе π-схем [[Media:Lozhkin_Vlasov_09_10_09.pdf|Аннотация доклада]]
| [[Ложкин Сергей Андреевич| Ложкин С.А.]], [[Аспиранты кафедры математической кибернетики|Власов Никита]]
|-
| 16 октября
| Разработка методов и моделей для характеризации сложно-функциональных блоков КМОП СБИС с учетом вариаций параметров транзисторов
| Каграманян Э.Р.
|-
| 23 октября
| Реализация некоторых систем функций схемами с подведением переменных, вложенными в единичный куб [[Media:Sadovnikov_23_10_09.pdf|Аннотация доклада]]
| Садовников О.А.
|-
| 30 октября
| Об одной модели рекурсивных схем из функциональных элементов [[Media:Danilov_30_10_2009.pdf|Аннотация доклада]]
| Данилов Б.Р.
|-
| 6 ноября
| Доклад по статье Н.П.Редькина «Единичные проверяющие тесты для схем при инверсных неисправностях элементов»
| Морозов Е.В.
|-
| 13 ноября
| Поиск кратчайших путей в графах (обзор статей) [[Media:Krivoshein_13_11_09.pdf|Аннотация доклада]]
| Кривошеин Д.Ю.
|-
| 20 ноября
| Доклад по статье Ложкина С.А. и Евдокимовой Т.Н. «Об асимптотике сложности универсального клеточного контактного многополюсника»
| Улесова А.Ю.
|-
| 27 ноября
| Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС [[Media:Melik-Adamjan_27_11_09.pdf|Аннотация доклада]]
| Мелик-Адамян А.Ф.
|-
| 4 декабря
| Вечер памяти, посвящённый 85-летию со дня рождения Сергея Всеволодовича Яблонского
|
|}

== Осень 2008 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 3 Октября
| Многокритериальная оптимизация элементов стандартных библиотек СБИС для субмикронных технологий
| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
|-
| 31 Октября
| Выбор оптимальных параметров в задачах с многими критериями
| [http://www.ipmce.ru/custom/sapr/melik-adamyan Арег Мелик-Адамян] ([http://www.ipmce.ru/ ИТМиВТ РАН])
|-
| 14 Ноября
| Доклад по статье Yajun Ran, Malgorzata Marek-Sadowska "Designing Via-Configurable Logic Blocks for Regular Fabric"
| [[Студенты кафедры математической кибернетики | Мордасова М.С.]]
|-
| 12 Декабря
| Методы разрешения положительных циклов в графе ограничений
| Сергей Локинский
|}

== Весна 2008 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 26 февраля
| Вычисление индуктивности в задачах проектирования сверхпроводниковых микроэлектронных структур
| Хапаев М.М.
|-
| 11 марта
| Использование разложения Гильберта при построении схем из функциональных элементов [[Media:Dolotova08.pdf|слайды]]
| Долотова Н.С.
|-
| 25 марта
| Аналитический подход к легализации размещения стандартных ячеек
| Аюпов А.Б.
|-
| 8 апреля
| Метод построения ограничений для расширяемого набора технологических правил проектирования СБИС
| Локинский С.Н.
|-
| 29 апреля
| Структуры данных для хранения и поиска объектов в пространстве
| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
|}

== Осень 2007 года ==

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| 5 октября
| Применение целочисленного линейного программирования в трассировке схем [[Media:Zapadinsky07.pdf|реферат]]
| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]]
|-
| rowspan="2" | 9 ноября
| colspan="2" align="center" | Совместно с семинаром [[Дискретная математика и математическая кибернетика]]
|-
| Прикладные математические задачи САПР СБИС[[Media:Marchenko-14-11-07.ppt|слайды]]
| [[Марченко Александр Михайлович|Марченко А. М.]]
|-
| 30 ноября
| Регулярность в проектировании СБИС на примере регулярных логических блоков[[Media:Shupletsov1.ppt|слайды]] и FPGA[[Media:Zapadinsky-30.11.07.pdf|слайды]]
| [[Аспиранты кафедры математической кибернетики|Западинский Анатолий]] [[Аспиранты кафедры математической кибернетики|Шуплецов Михаил]]
|-
| 14 декабря
| Методы оценки энергопотребления микропроцессовров. Методы отсечения непроводящих цепей при статическом тайминг-анализе.
| Попов Евгений
|}

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

* [[Ложкин Сергей Андреевич]]
* [[Марченко Александр Михайлович]]

[[Категория:Архив спецсеминаров кафедры математической кибернетики]]

Файл:Specsem 2025 04 04.pdf

2025-04-03T17:44:36Z

RomanovDS: RomanovDS загружена новая версия «Файл:Specsem 2025 04 04.pdf»

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

2025-04-03T17:42:05Z

RomanovDS: /* Расписание докладов */

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

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д.С.
|-
| align="center" | 20 декабря
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»[[Media:Specsem20241220.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
| align="center" | 28 февраля
| Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»[[Media:Specem_252802.pdf|Аннотация доклада]]
| align="center" | Кудимов Д.Д.
|-
| align="center" | 14 марта
| Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]
| align="center" | Долгих Л.А.
|-
| align="center" | 21 марта
| Доклад по статье: Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A.S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. and Vorobiev, A., "Cirbo: A new tool for Boolean circuit analysis and synthesis" (2024). [[Media:Specsem_21032025.pdf|Аннотация доклада]]
| align="center" | Белоусова А.И.
|-
| align="center" | 04 апреля
| Доклад по статье Г.Р. Погосяна «О длине проверяющих тестов для одного класса неисправностей логических устройств // «Дискретная математика и математическая кибернетика». — М.: Наука, 1981. — С. 140–145. [[Media:Specsem_2025_04_04.pdf|Аннотация доклада]]
| align="center" | Джаналиев Д.Р.
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

Файл:Specsem 2025 04 04.pdf

2025-04-03T17:38:58Z

RomanovDS:

Файл:4 prez.pdf

2025-04-03T09:43:04Z

RomanovDS: RomanovDS загружена новая версия «Файл:4 prez.pdf»

Файл:4 prez.pdf

2025-04-03T09:38:50Z

RomanovDS: RomanovDS загружена новая версия «Файл:4 prez.pdf»

Файл:3 prez.pdf

2025-03-26T23:54:01Z

RomanovDS: RomanovDS загружена новая версия «Файл:3 prez.pdf»

Файл:3 prez.pdf

2025-03-26T21:36:46Z

RomanovDS: RomanovDS загружена новая версия «Файл:3 prez.pdf»

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

2025-03-21T12:01:35Z

RomanovDS: /* Расписание докладов */

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

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д.С.
|-
| align="center" | 20 декабря
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»[[Media:Specsem20241220.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
| align="center" | 28 февраля
| Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»[[Media:Specem_252802.pdf|Аннотация доклада]]
| align="center" | Кудимов Д.Д.
|-
| align="center" | 14 марта
| Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]
| align="center" | Долгих Л.А.
|-
| align="center" | 21 марта
| Доклад по статье: Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A.S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. and Vorobiev, A., "Cirbo: A new tool for Boolean circuit analysis and synthesis" (2024). [[Media:Specsem_21032025.pdf|Аннотация доклада]]
| align="center" | Белоусова А.И.
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

Файл:Specsem 21032025.pdf

2025-03-21T11:59:35Z

RomanovDS:

Файл:2 prez.pdf

2025-03-13T00:53:50Z

RomanovDS: RomanovDS загружена новая версия «Файл:2 prez.pdf»

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

2025-03-12T21:37:44Z

RomanovDS: /* Расписание докладов */

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

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д.С.
|-
| align="center" | 20 декабря
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»[[Media:Specsem20241220.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
| align="center" | 28 февраля
| Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»[[Media:Specem_252802.pdf|Аннотация доклада]]
| align="center" | Кудимов Д.Д.
|-
| align="center" | 14 марта
| Доклад по статье Е.В. Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях»[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]
| align="center" | Долгих Л.А.
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

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

2025-03-12T21:36:50Z

RomanovDS: /* Расписание докладов */

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

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д.С.
|-
| align="center" | 20 декабря
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»[[Media:Specsem20241220.pdf|Аннотация доклада]]
| align="center" | Ложкин С.А.
|-
| align="center" | 28 февраля
| Доклад о результатах Ложкина С.А. и Власова Н.В. на тему «О сложности реализации мультиплексорной функции, в том числе совместно с дешифратором, в классе схем из функциональных элементов»[[Media:Specem_252802.pdf|Аннотация доклада]]
| align="center" | Кудимов Д.Д.
|-
| align="center" | 14 марта
| Доклад по статье Евгения Валерьевича Морозова «О единичных диагностических тестах относительно слипаний переменных в булевых функциях».[[Media:Specsem_2025_03_14.pdf|Аннотация доклада]]
| align="center" | Долгих Л.А.
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

Файл:Specsem 2025 03 14.pdf

2025-03-12T21:34:24Z

RomanovDS:

Основы кибернетики (3-й поток)

2025-03-05T20:59:04Z

RomanovDS: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Курс является обязательным для всех бакалавров (интегрированных магистров) направления 01400 – «Прикладная математика и информатика». При этом объём и, в некоторой степени, программа курса варьируются в зависимости от профиля. Для бакалавров 3 курса профиля «Системное программирование и компьютерные науки» (320-328 группы) курс «Основы кибернетики» читается в 6 семестре в объёме 48 часов лекций, сопровождаемых 16 часами семинарских занятий. Курс завершается экзаменом, на который выносятся как теоретические вопросы, изложенные на лекциях, так и задачи, рассмотренные на семинарских занятиях.

На данной странице будет публиковаться подробная информация о содержании курса, программах и планах его изучения в 2018-2019 уч. году, методических материалах, а также об особенностях организации учебного процесса, формах и сроках проведения контрольных мероприятий.
В соответствии с этими планами в течение семестра проводятся 3 основные (по 2 часа) контрольные работы и, возможно, несколько промежуточных (до 1 часа) тестов. По результатам контрольных и тестов с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы (см. раздел 8) выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор c 2018-2019 уч. года — профессор [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).

Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН [[Яблонский Сергей Всеволодович]], читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов. Методическую, и, частично, содержательную концепции данного варианта курса разработал профессор [[Ложкин Сергей Андреевич]], читавший данный курс для студентов программистских кафедр около 30 лет.

В курсе «Основы кибернетики» рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет, полученные Ложкиным С.А. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.

== Материалы по курсу ==
* [[Media:Курс_ОК_320-328_2025_03_05.pdf| Информационные материалы (гр. 320-328)]] (05.03.2025)
* Ложкин С.А. Лекции по основам кибернетики (гр. 320-328) [Методические материалы] : [[Media:ОК_Часть_1_2017_(320-328).pdf|Часть 1]] (09.02.2017), [[Media:ОК_Часть_2_2017_(320-328).pdf|Часть 2]] (05.03.2017), [[Media:ОК_Часть_3_2017_(320-328).pdf|Часть 3]] (08.06.2017), [[Media:ОК_Часть_4_2017_(320-328).pdf|Часть 4]] (16.04.2017)
* Ложкин С.А., Сапоженко А.А. Полнотекстовые презентации по курсу "Основы кибернетики" (гр. 320-328, 2022 г.): [[Media:1_prez.pdf|Часть 1]], [[Media:2_prez.pdf|Часть 2]], [[Media:3_prez.pdf|Часть 3]], [[Media:4_prez.pdf|Часть 4]], [[Media:5_prez.pdf|Часть 5]].

* Романов Д.С., Ложкин С.А. Основы кибернетики, весна 2018 [Лекционные слайды] : [[Media:cybas3-talk_original.pdf|Введение, части 1-4]] (02.04.2018).
* Шуплецов М.С. Основы проектирования цифровых интегральных схем [Лекционные слайды] : [[Media:ОК_Основы_проектирования_цифровых_интегральных_схем_2017-1.pdf|Лекция]] (06.08.2017)
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]
* [[Media:OK-2-2002.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : Издательский отдел факультета ВМиК МГУ, 2002. - 66 с.]]
* [[Media:Sapozhenko_alg.pdf|Сапоженко А.А. Некоторые вопросы сложности алгоримов - М. : Издательский отдел факультета ВМиК МГУ, 2001.]]
* [[Media:OK_seminary.zip|Материалы семинарских занятий по курсу "Основы кибернетики".]]

Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]

Записи семинарских занятий: [https://disk.yandex.ru/d/1Zz3_SXmM8kHHA]

== График прохождения курса по первому разделу ==

* Лекция 1 -- [https://m.cs.msu.ru/s/Cm7xdob7jmG7dg5 запись] вступительного слова и лекция №1 с канала Teach-In (ссылка ниже) на YouTube с 17 по 87 минуту (будем ссылаться на эти лекции так: Y1:17-87, где Y# номер лекции с YouTube, а 17-87 -- временной интервал в минутах; если временной интервал не указан, то нужно смотреть лекцию целиком).
* Лекция 2 -- лекция Y2.
* Лекция 3 -- лекция D1 (так нумеруются лекции записанные иным путём, [https://m.cs.msu.ru/s/YgrZHrsac35ZHX5 ссылка] на лекцию D1)
* Лекция 4 -- лекция Y3.
* Лекция 5 -- лекция D2 ([https://m.cs.msu.ru/s/fjFAXdWtbW7r2C4 ссылка] на лекцию D2).
* Лекция 6 -- лекция Y4, Y5:0-30.
* Лекция 7 -- лекция Y5:30-135.

== График прохождения курса по второму разделу ==

График прохождения курса по второму разделу.

* Лекция 8 -- лекция Y6.
* Лекция 9 -- лекция D3 ([https://m.cs.msu.ru/s/9y9CbAWmmRJMkL3 ссылка] на лекцию D3).
* Лекция 10 -- лекция Y9.
* Лекция 11 -- лекция Y18.
* Лекция 12 -- лекция Y19, Y20:0-54
* Лекция 13 -- лекция Y7.
* Лекция 14 -- лекция Y8.
* Лекция 15 -- рассмотрение теоремы перехода ([https://m.cs.msu.ru/s/wJTZpMD52pAzxw8 видеозапись] и [https://m.cs.msu.ru/s/qD7R9pa7skMtmQy доска]) из 12 вопроса.

== График прохождения курса по третьему, четвёртому и пятому разделам ==

* Лекция 16 -- лекция D4 ([https://m.cs.msu.ru/s/rx3c4Kc9jwNXKxC ссылка] на лекцию D4 и [https://m.cs.msu.ru/s/BjxScxRQxQgym8r презентация] к ней).
* Лекция 17 -- лекция Y10.
* Лекция 18 -- лекция Y11:0-72.
* Лекция 19 -- лекция Y11:72-84, Y12.
* Лекция 20 -- лекция Y13.
* Лекция 21 -- лекция Y14:0-77.
* Лекция 22 -- лекция Y14:77-87, Y15:0-77.
* Лекция 23 -- лекция Y16:45-86 + консультация в Zoom (Y15:77-83, Y16:0-45 факультативно).
* Лекция 24 -- лекция Y17.
* Лекция 25 -- лекция Y21 (D5 факультативно, [https://m.cs.msu.ru/s/XPLmSbdTQiAMRGb? ссылка])).

Материал лекций Y15:77-83, Y16:0-45 по 23 вопросу программы факультативен.

Лекция D5 «Основы проектирования интегральных схем» в 2 частях по 28 вопросу программы факультативна к просмотру.

{{Шаблон:Основы кибернетики (3-й поток) - Объявления}}
[[Основы кибернетики (318, 418 группы)|[cтраница курса для 318 группы]]]
</div>

[[Категория:Лекционные курсы кафедры МК]]

Файл:Курс ОК 320-328 2025 03 05.pdf

2025-03-05T20:57:47Z

RomanovDS: RomanovDS загружена новая версия «Файл:Курс ОК 320-328 2025 03 05.pdf»

Основы кибернетики (3-й поток)

2025-03-05T20:55:35Z

RomanovDS: /* Материалы по курсу */

__NOTOC__
<div style="max-width:940px">
Страница информационной поддержки курса «Основы кибернетики» для бакалавров (интегрированных магистров) направления 01400 «Прикладная математика и информатика» профиля «Системное программирование и компьютерные науки».

Курс является обязательным для всех бакалавров (интегрированных магистров) направления 01400 – «Прикладная математика и информатика». При этом объём и, в некоторой степени, программа курса варьируются в зависимости от профиля. Для бакалавров 3 курса профиля «Системное программирование и компьютерные науки» (320-328 группы) курс «Основы кибернетики» читается в 6 семестре в объёме 48 часов лекций, сопровождаемых 16 часами семинарских занятий. Курс завершается экзаменом, на который выносятся как теоретические вопросы, изложенные на лекциях, так и задачи, рассмотренные на семинарских занятиях.

На данной странице будет публиковаться подробная информация о содержании курса, программах и планах его изучения в 2018-2019 уч. году, методических материалах, а также об особенностях организации учебного процесса, формах и сроках проведения контрольных мероприятий.
В соответствии с этими планами в течение семестра проводятся 3 основные (по 2 часа) контрольные работы и, возможно, несколько промежуточных (до 1 часа) тестов. По результатам контрольных и тестов с учётом посещаемости студентов, их работы на лекциях и семинарах, а также самостоятельной работы (см. раздел 8) выставляется предварительная оценка, которая играет существенную роль при формировании окончательной оценки на экзамене.

Чтение курса обеспечивается кафедрой математической кибернетики, лектор c 2018-2019 уч. года — профессор [[Романов Дмитрий Сергеевич]] (romanov@cs.msu.ru).

Курс «Основы кибернетики» (ранее «Элементы кибернетики»), создателем и основным лектором которого был чл.-корр. РАН [[Яблонский Сергей Всеволодович]], читается на факультете ВМК с первых лет его существования. Он является продолжением курса «Дискретная математика» и посвящён изложению основных моделей, методов и результатов математической кибернетики, связанных с теорией дискретных управляющих систем (УС), с задачей схемной или структурной реализации дискретных функций и алгоритмов. Методическую, и, частично, содержательную концепции данного варианта курса разработал профессор [[Ложкин Сергей Андреевич]], читавший данный курс для студентов программистских кафедр около 30 лет.

В курсе «Основы кибернетики» рассматриваются различные классы УС (классы схем), представляющие собой дискретные математические модели различных типов электронных схем, систем обработки информации и управления, алгоритмов и программ. Для базовых классов УС (схем из функциональных элементов, формул, контактных схем, автоматных схем), а также некоторых других типов УС, ставятся и изучаются основные задачи теории УС: задача минимизации дизъюнктивных нормальных форм (ДНФ), задача эквивалентных преобразований и структурного моделирования УС, задача синтеза УС, задача повышения надёжности и контроля УС из ненадёжных элементов и др. Рассматриваются также некоторые вопросы сложности алгоритмов. В программу курса входят классические результаты К. Шеннона, С.В. Яблонского, Ю.И. Журавлева и О.Б. Лупанова, а также некоторые результаты последних лет, полученные Ложкиным С.А. Показывается возможность практического применения этих результатов на примере задачи проектирования СБИС, которые составляют основу программно-аппаратной реализации алгоритмов.

== Материалы по курсу ==
* [[Media:Курс_ОК_320-328_2025_03_05.pdf| Информационные материалы (гр. 320-328)]] (12.02.2024)
* Ложкин С.А. Лекции по основам кибернетики (гр. 320-328) [Методические материалы] : [[Media:ОК_Часть_1_2017_(320-328).pdf|Часть 1]] (09.02.2017), [[Media:ОК_Часть_2_2017_(320-328).pdf|Часть 2]] (05.03.2017), [[Media:ОК_Часть_3_2017_(320-328).pdf|Часть 3]] (08.06.2017), [[Media:ОК_Часть_4_2017_(320-328).pdf|Часть 4]] (16.04.2017)
* Ложкин С.А., Сапоженко А.А. Полнотекстовые презентации по курсу "Основы кибернетики" (гр. 320-328, 2022 г.): [[Media:1_prez.pdf|Часть 1]], [[Media:2_prez.pdf|Часть 2]], [[Media:3_prez.pdf|Часть 3]], [[Media:4_prez.pdf|Часть 4]], [[Media:5_prez.pdf|Часть 5]].

* Романов Д.С., Ложкин С.А. Основы кибернетики, весна 2018 [Лекционные слайды] : [[Media:cybas3-talk_original.pdf|Введение, части 1-4]] (02.04.2018).
* Шуплецов М.С. Основы проектирования цифровых интегральных схем [Лекционные слайды] : [[Media:ОК_Основы_проектирования_цифровых_интегральных_схем_2017-1.pdf|Лекция]] (06.08.2017)
* [[Media:Задачи_по_курсу_Основы_кибернетики_2011.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : МАКС Пресс, 2011. - 72 с.]]
* [[Media:OK-2-2002.pdf|Задачи по курсу «Основы кибернетики» / Алексеев В.Б., Вороненко А.А., Ложкин С.А., Романов Д.С., Сапоженко А.А., Селезнева С.Н. - М. : Издательский отдел факультета ВМиК МГУ, 2002. - 66 с.]]
* [[Media:Sapozhenko_alg.pdf|Сапоженко А.А. Некоторые вопросы сложности алгоримов - М. : Издательский отдел факультета ВМиК МГУ, 2001.]]
* [[Media:OK_seminary.zip|Материалы семинарских занятий по курсу "Основы кибернетики".]]

Канал Teach-In с записями лекций прошлых лет на YouTube: [https://youtube.com/playlist?list=PLcsjsqLLSfNBAbnPh-BshH950tTYdGGmR]

Записи семинарских занятий: [https://disk.yandex.ru/d/1Zz3_SXmM8kHHA]

== График прохождения курса по первому разделу ==

* Лекция 1 -- [https://m.cs.msu.ru/s/Cm7xdob7jmG7dg5 запись] вступительного слова и лекция №1 с канала Teach-In (ссылка ниже) на YouTube с 17 по 87 минуту (будем ссылаться на эти лекции так: Y1:17-87, где Y# номер лекции с YouTube, а 17-87 -- временной интервал в минутах; если временной интервал не указан, то нужно смотреть лекцию целиком).
* Лекция 2 -- лекция Y2.
* Лекция 3 -- лекция D1 (так нумеруются лекции записанные иным путём, [https://m.cs.msu.ru/s/YgrZHrsac35ZHX5 ссылка] на лекцию D1)
* Лекция 4 -- лекция Y3.
* Лекция 5 -- лекция D2 ([https://m.cs.msu.ru/s/fjFAXdWtbW7r2C4 ссылка] на лекцию D2).
* Лекция 6 -- лекция Y4, Y5:0-30.
* Лекция 7 -- лекция Y5:30-135.

== График прохождения курса по второму разделу ==

График прохождения курса по второму разделу.

* Лекция 8 -- лекция Y6.
* Лекция 9 -- лекция D3 ([https://m.cs.msu.ru/s/9y9CbAWmmRJMkL3 ссылка] на лекцию D3).
* Лекция 10 -- лекция Y9.
* Лекция 11 -- лекция Y18.
* Лекция 12 -- лекция Y19, Y20:0-54
* Лекция 13 -- лекция Y7.
* Лекция 14 -- лекция Y8.
* Лекция 15 -- рассмотрение теоремы перехода ([https://m.cs.msu.ru/s/wJTZpMD52pAzxw8 видеозапись] и [https://m.cs.msu.ru/s/qD7R9pa7skMtmQy доска]) из 12 вопроса.

== График прохождения курса по третьему, четвёртому и пятому разделам ==

* Лекция 16 -- лекция D4 ([https://m.cs.msu.ru/s/rx3c4Kc9jwNXKxC ссылка] на лекцию D4 и [https://m.cs.msu.ru/s/BjxScxRQxQgym8r презентация] к ней).
* Лекция 17 -- лекция Y10.
* Лекция 18 -- лекция Y11:0-72.
* Лекция 19 -- лекция Y11:72-84, Y12.
* Лекция 20 -- лекция Y13.
* Лекция 21 -- лекция Y14:0-77.
* Лекция 22 -- лекция Y14:77-87, Y15:0-77.
* Лекция 23 -- лекция Y16:45-86 + консультация в Zoom (Y15:77-83, Y16:0-45 факультативно).
* Лекция 24 -- лекция Y17.
* Лекция 25 -- лекция Y21 (D5 факультативно, [https://m.cs.msu.ru/s/XPLmSbdTQiAMRGb? ссылка])).

Материал лекций Y15:77-83, Y16:0-45 по 23 вопросу программы факультативен.

Лекция D5 «Основы проектирования интегральных схем» в 2 частях по 28 вопросу программы факультативна к просмотру.

{{Шаблон:Основы кибернетики (3-й поток) - Объявления}}
[[Основы кибернетики (318, 418 группы)|[cтраница курса для 318 группы]]]
</div>

[[Категория:Лекционные курсы кафедры МК]]

Файл:Курс ОК 320-328 2025 03 05.pdf

2025-03-05T20:54:51Z

RomanovDS:

Файл:2 prez.pdf

2025-03-05T20:47:30Z

RomanovDS: RomanovDS загружена новая версия «Файл:2 prez.pdf»

Файл:1 prez.pdf

2025-03-05T20:47:02Z

RomanovDS: RomanovDS загружена новая версия «Файл:1 prez.pdf»

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

2024-12-12T19:02:10Z

RomanovDS: /* Расписание докладов */

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

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д. С.
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

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

2024-12-12T18:35:29Z

RomanovDS: /* Расписание докладов */

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

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

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

{| align="center" width="90%"
|

{| class="wide" width="100%" border="1" cellspacing="0" cellpadding="5"
! Дата
! Тема доклада
! Докладчик
|-
| align="center" | 20 сентября
| Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»[[Media:Specsem20240920.pdf|Аннотация доклада]]
| align="center" | Сергеев Максим
|-
| align="center" | 27 сентября
| Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»[[Media:Specsem20240927.pdf|Аннотация доклада]]
| align="center" | Долгих Любовь
|-
| align="center" | 04 октября
| Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»[[Media:Specsem20241004.pdf|Аннотация доклада]]
| align="center" | Гребенкин Сергей
|-
| align="center" | 11 октября
| Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»[[Media:Specsem_20241011.pdf|Аннотация доклада]]
| align="center" | Михалев Евгений
|-
| align="center" | 18 октября
| Доклад по теореме 1 из работы К.А. Попкова «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов»[[Media:Specsem20241018.pdf|Аннотация доклада]]
| align="center" | Шухман Алексей
|-
| align="center" | 25 октября
| Объединенное заседание с научно-исследовательским семинаром "Математические вопросы кибернетики": доклад Игоря Сергеевича Сергеева (Москва, НИИ «Квант») «Нижние оценки сложности линейных операторов над GF(2)»[[Media:Mvk-24-10-25.pdf|Аннотация доклада]]
| align="center" | Сергеев И.С.
|-
| align="center" | 01 ноября
| Доклад по статье Дж. Сармы и К. Учизавы "Energy and Output Patterns"[[Media:Specsem01112024.pdf|Аннотация доклада]]
| align="center" | Белоусова Анна
|-
| align="center" | 08 ноября
| Доклад по работе К.А. Попкова «Нижние оценки длин полных диагностических тестов для схем и входов схем»[[Media:Specsem20241108.pdf|Аннотация доклада]]
| align="center" | Кинжитаева Назия
|-
| align="center" | 15 ноября
| Доклад по теме «Оценки статической и динамической активности схем контактного типа, реализующих функции, встречающиеся в приложениях»[[Media:Specsem20241115.pdf|Аннотация доклада]]
| align="center" | Шуплецов М.С.
|-
| align="center" | 22 ноября
| Доклад по статье L.G. Valiant, "Short monotone formulas for the majority function" (J. of Algorithms, 1984, vol. 5, pp. 363–366)[[Media:Specsem20241122.pdf|Аннотация доклада]]
| align="center" | Фесенко Анастасия
|-
| align="center" | 13 декабря
| Доклад о результатах Цуя Чжэнюя на тему «О функции Шеннона длины единичного проверяющего теста при произвольных константных неисправностях на выходах элементов в формулах над одним базисом жегалкинского типа»[[Media:Specsem20241213D.pdf|Аннотация доклада]]
| align="center" | Цуй Чжэнюй, Романов Д. С.
|-
| align="center" | 20 декабря
| Доклад по статье В.М. Храпченко «Различие и сходство между задержкой и глубиной»[[Media:Specsem20241213.pdf|Аннотация доклада]]
| align="center" | Данилов Б.Р.
|-
|}

{| width="98%"
| align="right" | [[Математические вопросы проектирования СБИС (Архив)|архив докладов за прошлые семестры]]
|}

|}

[[Категория:Спецсеминары кафедры математической кибернетики]]

Файл:Specsem20241213D.pdf

2024-12-12T18:33:22Z

RomanovDS:

Файл:Specsem20241213.pdf

2024-12-12T18:32:35Z

RomanovDS: RomanovDS загружена новая версия «Файл:Specsem20241213.pdf»

Файл:Specsem20241213.pdf

2024-12-12T18:31:28Z

RomanovDS: RomanovDS загружена новая версия «Файл:Specsem20241213.pdf»

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

2024-11-21T18:40:23Z

RomanovDS: /* Расписание докладов */

Файл:Specsem20241115.pdf

2024-11-21T18:38:31Z

RomanovDS: RomanovDS загружена новая версия «Файл:Specsem20241115.pdf»

Файл:Specsem20241115.pdf

2024-11-21T18:36:07Z

RomanovDS:

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

2024-11-21T18:33:22Z

RomanovDS: /* Расписание докладов */

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

2024-11-21T18:32:57Z

RomanovDS: /* Расписание докладов */

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

2024-11-21T18:32:00Z

RomanovDS: /* Расписание докладов */