Главная страница

Базы данных


- результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая кибернетика<.>)
Общее количество найденных документов : 13
Показаны документы с 1 по 10
 1-10    11-13 
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)
Найти похожие
 1-10    11-13 

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)