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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=512.563(043)<.>)
Общее количество найденных документов : 29
Показаны документы с 1 по 29
1.
АР95-1624

    Молчанов, В. А.
    Нестандартные приложения алгебры соответствий [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / В. А. Молчанов. - Новосибирск, 1994. - 28 с.
В надзаг.: Рос.АН, Сиб.отд-ние, Ин-т математики. Библиогр.: с.22-28

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
2.
АР99-3865

    Власов, В. Н.
    Алгоритмические свойства булевых алгебр [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов. - Новосибирск, 1999. - 16 с.
В надзаг. :Новосиб.гос.ун-т. Библиогр.:с. 14-16 (24 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
3.
АР97-2781

    Липачева, Е. В.
    Рекурсивные и частичные автоморфизмы булевых алгебр [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Липачева. - Екатеринбург, 1997. - 13 с.
Библиогр.:с. 10-13(24 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
4.
АР98-5587

    Перязев, Н. А.
    Существование и сложность представлений булевых функций формулами [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Н. А. Перязев. - Иркутск, 1998. - 25 с.
Библиогр.:с. 22-25(27 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
5.
АР99-1486

    Зуев, Ю. А.
    Вероятностные методы в пороговой логике [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09 / Ю. А. Зуев. - М., 1998. - 21 с.
В надзаг. : Рос.АН,ВЦ.Библиогр.:с. 19-21 (21 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
6.
АР99-4555

    Перязева, Ю. В.
    Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Ю. В. Перязева. - Иркутск, 1999. - 18 с.
Библиогр.:с. 16-18

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
7.
АР00-9823

    Кириченко, К. Д.
    Бесповторные и слабоповторные булевы функции в предэлементарных базисах [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / К. Д. Кириченко. - Иркутск, 2000. - 14 с.
Библиогр.:с. 13-14 (7 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
8.
АР01-6120

    Винокуров, С. Ф.
    Операторы в полиномиальных представлениях булевых функций [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.09 / С. Ф. Винокуров. - Иркутск, 2001. - 27 с.
Библиогр.: с. 24-27(28 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
9.
АР02-1812

    Когабаев, Н. Т.
    Конструктивные булевы алгебры с выделенными идеалами [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Н. Т. Когабаев. - Новосибирск, 2001. - 11 с. + 100 экз.
В надзаг.: Новосиб. гос. ун-т. Библиогр.: с. 9-11(25 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
10.
Ар03-4656

    Балюк, А. С.
    Сложность булевых функций в классах полиномиальных форм [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / А. С. Балюк. - Иркутск, 2002. - 18 с. : ил.
Библиогр.: с. 17-18 (11 назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
11.
Ар03-4868

    Гайдуков, А. И.
    Стягиваемые булевы функции и минимизация в нормальных формах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / А. И. Гайдуков. - Иркутск, 2002. - 14 с.
Библиогр.: с. 13-14 (11 назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
12.
Ар03-5964

    Зубков, О. В.
    Нахождение, оценка и сравнение числа бесповторных булевых функций в различных базисах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / О. В. Зубков. - Иркутск, 2002. - 17 с.
Библиогр.: с. 16-17 (8 назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
13.
Ар03-9987

    Шаранхаев, И. К.
    Слабоповторные булевы функции в предэлементарных базисах [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / И. К. Шаранхаев. - Иркутск, 2003. - 11 с.
Библиогр.: с. 10-11 (6 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
14.
Ар04-4481

    Власов, Д. Ю.
    Структурная характеризация алгебраических систем с ограничением на сложность булевой алгебры формульных классов подсистем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Д. Ю. Власов. - Новосибирск, 2003. - 11 с.
Библиогр.: с. 10-11(16 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
15.
Ар04-12586

    Мальцев, И. А.
    Итеративные алгебры, близкие к транзитивным [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / И. А. Мальцев. - Новосибирск, 2004. - 26 с. : ил. - Библиогр.: с. 22-26 (49 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
16.
Ар05-3094

    Забалуев, Р. Н.
    О средней сложности булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Р. Н. Забалуев. - М., 2004. - 11 c. - Библиогр.: с. 11 (5 назв.).

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
17.
Ар07-4852

    Алаев, П. Е.
    Вычислимость и разрешимость в классе булевых алгебр [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / П. Е. Алаев. - Новосибирск, 2006. - 24 с. - Библиогр.: с. 19-24(59 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
18.
Ар07-5413

    Яшунский, А. Д.
    О вероятностях значений случайных булевых выражений [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / А. Д. Яшунский. - М., 2006. - 13 с. - Библиогр.: с. 13(4 назв.)
В надзаг.: МГУ им. М.В.Ломоносова, Мех.-мат. фак.

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
19.
Ар07-13248

    Казимиров, А. С.
    Операторные преобразования и минимизация полиномиальных представлений булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / А. С. Казимиров. - Красноярск, 2007. - 15 с. - Библиогр.: с. 12-15(27 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
20.
Ар07-13251

    Рябец, Л. В.
    Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Л. В. Рябец. - Красноярск, 2007. - 18 с. - Библиогр.: с. 14-18(35 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
21.
Ар08-8124

    Токарева, Н. Н.
    Сильно нелинейные булевы функции: бент-функции и их обобщения [Текст] : автореф. дис. ... канд. фз.-мат. наук : 01.01.09 / Н. Н. Токарева. - Новосибирск, 2008. - 23 с. - Библиогр.: с. 19-23(38 назв.)
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики им. С.Л. Соболева

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
22.
Ар09-2370

    Семичева, Н. Л.
    Методы нахождения бесповторных представлений не всюду определенных булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Н. Л. Семичева. - Иркутск, 2008. - 15 с. - Библиогр.: с. 15(6 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
23.
Ар09-7126

    Куликов, А. С.
    Построение алгоритмов для задач булевой логики при помощи автоматизации, комбинированных мер сложности и запоминания дизъюнктов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / А. С. Куликов. - СПб., 2009. - 16 с. - Библиогр.: с. 15-16(7 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
24.
Ар10-2851

    Подольский, В. В.
    Оценки весов персептронов (полиномиальных пороговых булевых функций) [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / В. В. Подольский. - М., 2009. - 18 с. - Библиогр.: с. 18 (4 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Примечание о содержании: Работа относится к области сложности вычислений
ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
25.
Ар10-6165

    Хныкин, И. Г.
    Информационная технология минимизация функционалов, ассоциированных с задачей "выполнимость" [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / И. Г. Хныкин. - Омск, 2009. - 20 с. - Библиогр.: с. 19-20 (10 назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
26.
Ар12-12368

    Поцелуевская, Е. А.
    Алгоритмы поиска решения задачи об F-выполнимости, основанные на приближении булевых функций к классам Шефера [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Е. А. Поцелуевская. - М., 2012. - 17 с. - Библиогр.: с. 17 (5 назв.)
В надзаг.: МГУ им. М.В. Ломоносова

ГРНТИ
УДК

Кл.слова (ненормированные):
теория графов -- теория вероятностей -- теория сложности

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
27.
Ар13-4305

    Леонтьева, М. Н.
    Сильная конструктивизируемость булевых алгебр [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. Н. Леонтьева. - Новосибирск, 2013. - 15 с. - Библиогр.: с. 12-15

ГРНТИ
УДК

Кл.слова (ненормированные):
конструктивные модели -- вычислимые модели -- дистрибутивные решетки

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
28.
Ар13-9985

    Чухров, И. П.
    Экстремальные комплексы граней в единичном кубе [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.09 / И. П. Чухров. - М., 2013. - 34 с. : ил. - Библиогр.: с. 33-34 (15 назв.)

ГРНТИ
УДК

Кл.слова (ненормированные):
булевы функции -- минимизация -- алгебра логики

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
29.
Ар15-5202

    Акулов, Я. В.
    О классах булевых функций, выразимых относительно расширенной суперпозиции [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Я. В. Акулов. - М., 2015. - 13 с. - Библиогр.: с. 13 (5 назв.). - 100 экз.

ГРНТИ
УДК

Кл.слова (ненормированные):
функциональные системы -- функциональные множества -- алгебра логики

Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие

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