Поисковый запрос: (<.>K=математическая кибернетика<.>) |
Общее количество найденных документов : 13
Показаны документы с 1 по 10 |
|
>1.
| Ар11-2274
Подколзина, М. А. О полноте и A-полноте S-множеств детерминированных функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / М. А. Подколзина. - М., 2011. - 15 с. - Библиогр.: с. 14-15 (7 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные): математическая кибернетика -- функциональные системы -- проблема полноты
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2.
| Ар11-7869
Шуплецов, М. С. Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / М. С. Шуплецов. - М., 2011. - 16 с. - Библиогр.: с. 15-16 (7 нзв.)
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- синтез -- предикатные схемы -- функция шенона -- асимптотические оценки
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3.
| Ар11-8709
Дагаев, Д. А. О сложности функций многозначной логики, принимающих два значения [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Д. А. Дагаев. - Москва, 2011. - 15 с. - Библиогр.: с. 15 (7 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные): управляющие системы -- синтез -- математическая кибернетика -- сложность функций -- многозначная логика
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>4.
| Ар11-8714
Лашева, М. И. Переключательные алгоритмы преобразования графов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / М. И. Лашева. - М., 2011. - 16 с. - Библиогр.: с. 15-16 (5 назв.) В надзаг.:МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Кл.слова (ненормированные): дискретная математика -- математическая кибернетика -- графовые структуры -- степенная последовательность -- теория автоматов
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5.
| Ар12-1256
Чистиков, Д. В. Сложность тестирования бесповторных функций [Текст] : автореф. дис. ... канд. физ.мат. науки : 01.01.09 / Д. В. Чистиков. - М., 2011. - 16 с. - Библиогр.: с. 15-16 (13 нзв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислмт. мат. и кибернетики
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- тестирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6.
| Ар12-2284
Беджанова, С. Р. Тесты схем для некоторых классов булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / С. Р. Беджанова. - М., 2011. - 12 с. - Библиогр.: с. 11-12 (8 назв.) В надзаг.: МГУ им. М.В.
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- диагностика неисправностей -- тесты
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7.
| Ар12-13112
Грабовская, С. М. Асимптотически оптимальные по надежности неветвящиеся программы с оператором условной остановки [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / С. М. Грабовская. - Казань, 2012. - 20 с. - Библиогр.: с. 19-20 (11 назв.)
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- теория синтеза -- надежность -- сложность
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8.
| Ар12-21109
Трущин, Д. В. О сложности реализации функций многозначной логики формулами специального вида [Текст] : автореф. дис. на соиск. ученой степ. канд. физ.-мат. наук / Д. В. Трущин. - М., 2012. - 11 с. - Библиогр.: с. 10-11 (6 назв.) В надзаг.: МГУ м. М.В. Ломоносова
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- математическая теория синтеза
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9.
| Ар13-14560
Коляда, С. С. Верхние оценки длины проверяющих тестов для схем из функциональных элементов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / С. С. Коляда. - М., 2013. - 14 с. - Библиогр.: с. 14 (6 назв.) В надзаг.: ФГБОУ МГУ им. М.В. Ломоносова
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- схемы -- булевы функции -- тесты
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10.
| Ар13-15013
Комбаров, Ю. А. Сложность и строение минимальных схем для линейных булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ю. А. Комбаров. - М., 2013. - 16 с. : ил. - Библиогр.: с. 15-16 (9 назв.) В надзаг.: МГУ им. М.В. Ломоносова
Кл.слова (ненормированные): математическая кибернетика -- линейные функции -- функциональные элементы -- минимальные схемы
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|