Ар11-9362     Осокин, В. В.     О расшифровке логических функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Осокин. - М., 2011. - 16 с. - Библиогр.: с. 15-16 (14 назв.). В надзаг.: МГУ им. М. В. Ломоносова, Мех.-мат. фак. ГРНТИ 27.03.19 УДК 510.633.3(043) Кл.слова (ненормированные): логические функции -- сложность расшифровки -- различные классы -- оптимальные алгоритмы -- алгоритмическое обучение Экземпляры всего 1: ХР (1) Свободны: ХР (1)

Ар13-16547     Акинин, А. А.     Разработка и программная реализация эффективных дискретных алгоритмов минимизации булевых функций в классе полиномиальных нормальных форм с фиксированной полярностью [Текст] : автореф. дис. ... канд. техн. наук : 05.13.18 / А. А. Акинин. - Воронеж, 2013. - 18 с. : ил. - Библиогр.: с. 17-18 (15 назв.) ГРНТИ 27.03.19 УДК 510.633.3(043) Кл.слова (ненормированные): булевы функции -- минимизация -- алгоритмы Экземпляры всего 1: ХР (1) Свободны: ХР (1)

Ар13-16607     Деменков, Е. А.     Верхние и нижние оценки на схемную сложность явно заданных булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков. - СПб., 2013. - 10 с. : ил. - Библиогр.: с. 9-10 (4 назв.) В надзаг.: С.-Петербург. гос. ун-т ГРНТИ 27.03.17 27.03.19 УДК 510.52(043) 510.633.3(043) Кл.слова (ненормированные): сложность вычислений -- булевы функции Экземпляры всего 1: ХР (1) Свободны: ХР (1)

Ар13-16687     Бухман, А. В.     Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / А. В. Бухман. - М., 2013. - 16 с. - Библиогр.: с. 15-16 (9 назв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики ГРНТИ 27.03.19 УДК 510.644(043) 510.633.3(043) Кл.слова (ненормированные): булева логика -- булевы функции -- многозначная логика Экземпляры всего 1: ХР (1) Свободны: ХР (1)

Ар14-10615     Коломеец, Н. А.     Бент-функции, аффинные на подпространствах, и их метрические свойства [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Н. А. Коломеец. - Новосибирск, 2014. - 16 с. - Библиогр.: с. 15-16 (12 назв.). - 110 экз. ГРНТИ 27.03.19 УДК 510.633.3(043) Кл.слова (ненормированные): булевы функции -- логика высказываний Экземпляры всего 1: ХР (1) Свободны: ХР (1)