Просмотр исходного текста страницы Шаблон:Current Seminars

== Доклады на спецсеминарах ==
{|
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
<!--
{{announce Seminar | 6 ноября 2020
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
| '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}}
-->

|-
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
{{announce Seminar| 
| 
| }}

|-
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' 
{{announce Seminar| 
| 
| }}

|-
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
{{announce Seminar| 
| 
| }}
 
|-
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 
| 
| }}
|}