Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=512.563<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 10
 1-10    11-11 
1.
519
В67

    Волгин, Леонид Иванович.
    Свойства и структуры функций осреднения [Текст] / Леонид Иванович Волгин. - Таллинн : АО KLTK, 1992. - 71с. : ил. - Библиогр.:с.58-63. - 24 р.
УДК
512.563
РУБ 519

Кл.слова (ненормированные):
алгебра логики
Аннотация: На множестве взвешанных степенных функций осреднения получен ряд вложенных математических структур-комплементарная алгебра,предикатная алгебра,бесконечнозначная логика,многозначные логики

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

    Сапоженко, Александр Антонович.
    Проблема Дедекинда и метод граничных функционалов / А. А. Сапоженко. - Москва : Физматлит, 2009. - 152 с. - Библиогр.: с. 146-150. - ISBN 978-5-9221-1117-1 : 105 р.
ГРНТИ
27.17.21
УДК
512.563
Рубрики: Булевы функции монотонные
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- МОНОТОННЫЕ БУЛЕВЫ ФУНКЦИИ -- ГРАНИЧНЫХ ФУНКЦИОНАЛОВ МЕТОД -- АСИМПТОТИКА

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

    Нигматуллин, Рошаль Габдулхаевич.
    Сложность булевых функций / Р. Г. Нигматуллин. - Казань : Изд-во Казан. ун-та, 1983. - 208 с. : ил ; 22. - Библиогр.: с. 199-206 (168 назв.). - Предм. указ.: с. 196-198. - 1500 экз. - 1.90 р.
ГРНТИ
27.17
УДК
512.563
Рубрики: Алгебра
Кл.слова (ненормированные):
Булевы функции -- Теория сложности

Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
4.
   512
   Г 194

    Ганов, Валерий Александрович.
    Общая теория вычислений с оракулами / В. А. Ганов, Н. В. Белякин ; Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск : ИМ, 1989. - 136 с. : ил. - Библиогр.: с. 135 . - 0.80 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ВЫЧИСЛЕНИЯ) -- АЛГЕБРА ЛОГИКИ


Доп.точки доступа:
Белякин, Н. В.; Академия наук СССР. Сибирское отделениеИнститут математики
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
5.
   512
   Г 830

    Григолия, Реваз Шотаевич.
    Свободные алгебры неклассических логик / Р. Ш. Григолия ; Академия наук Грузинской ССР, Институт кибернетики. - Тбилиси : Мецниереба, 1987. - 110 с. : ил. - Библиогр.: с. 107-109 . - 1.10 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ


Доп.точки доступа:
Академия наук Грузинской ССР; Институт кибернетики
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
6.
   512
   З-156

    Задоян, К.
    Сложность задачи разбиения множества нулей булевой функции на непересекающиеся подмножества / К. Задоян ; Академия наук СССР. - Москва : Вычислительный центр Академии наук СССР, 1988. - 20 с. : ил. - (Сообщения по прикладной математике). - Библиогр.: с. 19-20. - 0.05 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
ФУНКЦИИ БУЛЕВЫ -- ГРАФОВ ТЕОРИЯ


Доп.точки доступа:
Академия наук СССР
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
7.
   512
   Л 551

    Либер, Александр Евгеньевич.
    Двоичная Булева алгебра и ее приложения / А. Е. Либер. - Саратов : Издательство Саратовского университета, 1966. - 80 с. : ил. - 0.16 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- ФУНКЦИИ БУЛЕВЫ

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

   
    Методы решения булевых уравнений / Н. Н. Катериночкина [и др.] ; Академия наук СССР, Вычислительный центр. - Москва : Вычислительный центр Академии наук СССР, 1988. - 21 с. - (Сообщения по прикладной математике). - 0.05 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- УРАВНЕНИЯ БУЛЕВЫ


Доп.точки доступа:
Катериночкина, Н. Н.; Королева, З. Е.; Мадатян, Х. А.; Платоненко, И. М.; Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
9.
   512
   Н 602

    Нигматуллин, Р. Г.
    Сложность булевых функций / Р. Г. Нигматуллин. - Москва : Наука, 1991. - 238 с. - 3.30 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
ФУНКЦИИ БУЛЕВЫ

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

    Сикорский, Роман.
    Булевы алгебры / Р. Сикорский ; пер. с английского А. С. Мищенко. - Москва : Мир, 1969. - 375 с. - Библиогр.: с. 340-369. - Предм. указ.: с. 370-373 . - 1.44 р.
ГРНТИ
27
УДК
512.563
Рубрики: Булевые кольца и алгебры
Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ


Доп.точки доступа:
Мищенко, А. С. \пер. с английского.\
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
 1-10    11-11 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 07.08.2024
Число запросов 32933
Число посетителей 472
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)