Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
 Найдено в других БД:"Руконт"-Национальный цифровой ресурс (6)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=БУЛЕВЫ<.>)
Общее количество найденных документов : 19
Показаны документы с 1 по 19
 1..19 
1.
В12я73
П27

    Перязев, Николай Алексеевич.
    Основы теории булевых функций [Текст] : нелитературный текст / Н. А. Перязев. - М. : Физматлит, 1999. - 110с. - ISBN 5-9221-0005-Х : 20 р.
ББК В12я73
Рубрики: основания математики
Кл.слова (ненормированные):
булевы функции

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В18
Ж86

    Жуков, Дмитрий Александрович.
    О глубине и площади клеточных схем [Текст] : автореф.дисс.на соиск.уч.степ.кан.физ.-мат.наук.01.01.09 / Д. А.Жуков ; МГУ. - М. : [б. и.], 2004. - 10с. - б/ц
ББК В18
Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
авторефераты В161.3 -- клеточные схемы -- булевы функции -- дискретная математика

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
3.
В18я54
К38

   
    Кибернетический сборник [Текст] : новая серия.Сб.ст. Вып.21 / Пер.с англ. - [Б. м. : б. и.]. - 264с. - 5.00 р.
ББК В18я54
Рубрики: Кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- блоковые коды -- булевы функции -- игры на графах -- программы для ЭВМ

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В12
С81

    Столл, Роберт Р.
    Множества.Логика.Аксиоматические теории [Текст] : нелитературный текст / Роберт Р.Столл ; Под ред.Ю.А.Шихановича.Пер.с англ. - М. : Просвещение, 1968. - 231с. - (Математическое просвещение). - 5.00 р.
ББК В12
Рубрики: основания математики
   логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- множества -- аксиоматические теории -- булевы алгебры

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
5.
В12я73
М30

    Марченков, Сергей Серафимович.
    Булевы функции [Текст] : нелитературный текст / С. С.Марченков. - М. : Физматлит, 2002. - 69с. - (Популярные лекции по математике). - ISBN 5-9221-0253-2 : 20.00 р.
ББК В12я73
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- булевы функции -- учебник В12

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
6.
В12
Ш47

    Шенфилд, Джозеф.
    Степени неразрешимости [Текст] : нелитературный текст / Д.Шенфилд ; Пер.с англ. - М. : Наука, 1977. - 192с. - (Математическая логика и основания математики). - 10.00 р.
ББК В12
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- рекурсивно перечислимые множества -- булевы алгебры

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
7.
В12
Р24

    Расева, Елена.
    Математика метаматематики [Текст] : нелитературный текст / Е.Расева ; Пер.с англ. - М. : Наука, 1972. - 591с. - (Математическая логика и основания математики). - 10.00 р.
ББК В12
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- булевы алгебры -- классическая логика -- множества -- позитивная логика -- модальная логика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Сикорский, Роман ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
8.
З815
З-20

    Закревский, Аркадий Дмитриевич.
    Алгоритмы синтеза дискретных автоматов [Текст] : нелитературный текст / А. Д.Закревский. - М. : Наука, 1971. - 511с. - (Теоретические основы технической кибернетики). - 20.00 р.
ББК З815
Рубрики: Кибернетика
   Вычислительная математика
Кл.слова (ненормированные):
б-ка Русина -- дискретные автоматы -- булевы функции -- алгоритмические языки

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
9.
В12я54
В74

    Ершов, Ю. Л.
    Вопросы алгебры и логики [Текст] : нелитературный текст / Отв. ред. Ю. Л. Ершов, В. Д. Мазуров ; РАН, Сиб. отд-ние. - Новосибирск : Изд-во ИМ СО РАН, 1996. - 191 с. - (Труды Ин-та математики. Т. 30). - ISBN 5-86134-019-6 : 5.00 р.
ББК В12я54
Рубрики: вычислительная логика
   алгебра
Кл.слова (ненормированные):
б-ка Русина -- булевы алгебры -- конечные группы -- дискриминантные многообразия

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
10.
В171
Я 96

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

Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
11.
22.124
Л 69

    Логачев, О. А.
    Булевы функции в теории кодирования и криптологии [] / О. А. Логачев, В. В. Ященко , А. А. Сальников. - М. : МЦНМО, 2004. - 469 с. : ил. ; 22 см. - (Новые математические дисциплины) (Информационная безопасность: криптография). - Библиогр.: с. 430-461 (440 назв.). - Предм. указ.: с. 462-469. - 1000 экз. - ISBN 5-94057-117-4 : .298.08 р.
ББК 22.124
Рубрики: Булевы функции--Теория
   Криптография--Математическая теория
Аннотация: Издание содержит главы: арифметика конечных полей и полиномов; булевы функции; классификации булевых функций; линейные коды над полем F2; нелинейность; элементы криптографического анализа.

Держатели документа:
ЯОУНБ

Доп.точки доступа:
Ященко, Валерий Владимирович; Сальников, А. А. (математик); Институт проблем информационной безопасности МГУ
Свободных экз. нет
Найти похожие
12.
22.124
М 30

    Марченков, Сергей Серафимович.
    Булевы функции [] / С. С. Марченков. - М. : Физматлит, 2002. - 68, [1] с. : ил. ; 22 см. - (Популярные лекции по математике). - 1000 экз. - ISBN 5-9221-0253-2 : .78.31 р.
ББК 22.124
Рубрики: Булевы функции
Кл.слова (ненормированные):
Функции (мат.) булевы

Держатели документа:
ЯОУНБ
Свободных экз. нет
Найти похожие
13.
В181
М30

    Марченков, Сергей Серафимович.
    Замкнутые классы булевых функций [Текст] / С. С. Марченков. - М. : Физматлит, 2001. - 128 с. - ISBN 5-9221-0133-3 : 20.00 р.
ББК В181
Рубрики: кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая кибернетика -- булевы функции -- теория управляющих систем -- управляющие системы

Держатели документа:
ЯрГУ ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
14.
681.5
К26

    Карпов, Ю. Г.
    Теория автоматов [Текст] : учебник для вузов / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : табл., схемы, рис. - Библиогр.: с. 204-206 . - ISBN 5-318-00537-3 (в пер.) : 77.52 р.
ГРНТИ
28.15
УДК
681.5

Кл.слова (ненормированные):
функциональные прерыватели -- булевы функции  -- пороговая -- логика -- математическая  -- конечные автоматы -- автоматные языки -- машины Тьюринга

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
15.
519.7/8
Н73

    Новиков, Ф. А.
    Дискретная математика для программистов [Текст] : учебник для вузов / Ф.А. Новиков. - СПб. : Питер, 2001. - 304 с. : граф., табл. - Библиогр.: с.290-291 . -Алф. указ.: с.292 . - ISBN 5-272-00183-4 (в пер.) : 80.00 р.
ГРНТИ
27.41.41
УДК
519.7/8

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
16.
004.92
Ч-90

    Чумаченко, И. Н.
    3 ds max 7 [Текст] : к изучению дисциплины / И.Н. Чумаченко. - М. : НТ Пресс, 2005. - 584 с. : рис., обр, фото. - (Шаг за шагом). - Библиогр.: с. 572-582. - ISBN 5-477-00062-7 : 185.00 р.
Приложение, с.570-571
ГРНТИ
50.41.25
УДК
004.92

Кл.слова (ненормированные):
3D-графика -- ИНТЕРФЕЙС -- МОДЕЛИРОВАНИЕ -- ПЕРЕМЕЩЕНИЕ -- панорамирование -- МАСШТАБИРОВАНИЕ -- ВРАЩЕНИЕ -- УПРАВЛЕНИЕ -- ОТОБРАЖЕНИЯ -- ПРИМИТИВЫ -- СПЛАЙНЫ -- СЕТИ -- привязки -- ПРЕОБРАЗОВАНИЕ -- ТРАНСФОРМАЦИЯ -- КЛОНИРОВАНИЕ -- ВЫРАВНИВАНИЕ -- МАССИВЫ -- МОДИФИКАТОРЫ -- РЕДАКТИРОВАНИЕ -- СОСТАВНЫЕ объекты -- БУЛЕВЫ ФУНКЦИИ -- полигональные объекты -- лофтинг -- АНИМАЦИЯ -- ОСВЕЩЕНИЕ -- ИСТОЧНИКИ СВЕТА -- ФОТОМЕТРИЧЕСКИЕ -- ИМИТАЦИЯ -- ПРИРОДНЫХ -- МАТЕРИАЛЫ -- ТЕКСТУРНЫЕ -- КАРТЫ -- ВИЗУАЛИЗАЦИЯ -- mental ray 3.3 -- finalRender Stage-1

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
17.
621.38
М60

    Миловзоров, О. В.
    Электроника [Текст] : учебник для вузов / О.В. Миловзоров, И.Г. Панков. - 2-е изд., перераб. . - М. : Высш. шк., 2005. - 288 с. : схем, табл., рис. - Библиогр.: с.280 . -Предм. указ.: с.281-285 . - ISBN 5-06-004428-9 (в пер.) : 263.00 р.
Приложения: с.273-280
ГРНТИ
47
УДК
621.38

Кл.слова (ненормированные):
ДИОДЫ Шоттки -- ПОЛУПРОВОДНИКОВЫЕ -- ВЫПРЯМИТЕЛЬНЫЕ -- СТАБИЛИТРОНЫ -- ВАРИКАПЫ -- ОПТРОНЫ  -- СВЕТОДИОДЫ -- ФОТОДИОДЫ -- ТРАНЗИСТОРЫ -- БИПОЛЯРНЫЕ -- ПОЛЕВЫЕ -- ТИРИСТОРЫ -- ИНТЕГРАЛЬНЫЕ -- МИКРОСХЕМЫ -- КОМПОНЕНТЫ -- УСИЛИТЕЛИ -- КАСКАДы -- НИЗКОЙ -- ЧАСТОТЫ -- ОПЕРАЦИОННЫЕ -- ВЫЧИСЛИТЕЛЬНЫЕ -- СХЕМЫ -- ГЕНЕРАТОРЫ -- МУЛЬТИВИБРАТОРЫ -- КОМПАРАТОРЫ -- ПРЕОБРАЗОВАТЕЛИ -- СТАБИЛИЗАТОРЫ -- ЛИНЕЙНЫЕ -- ИМПУЛЬСНЫЕ -- ФИЛЬТРЫ -- УСТРОЙСТВА -- сГЛАжИвающие -- ЭКРАНирование -- ПОМЕХИ -- МЕТОДЫ борьбы -- БУЛЕВЫ ФУНКЦИИ -- КЛЮЧЕВЫЕ -- ШИФРАТОРЫ  -- РАСПРЕДЕЛИТЕЛИ -- дешифраторы -- МУЛЬТИПЛЕКСОРЫ -- СУММАТОРЫ -- МАТРИЧНЫЕ -- УМНОЖИТЕЛИ -- ТРИГГЕРЫ -- СЧЕТЧИКИ -- РЕГИСТРЫ -- ЗАПОМИНАЮЩИЕ -- ФЛэш-память -- МИКРОПРОЦЕССОРЫ -- МИКРОКОНТРОЛЛЕРЫ -- ИНТЕРФЕЙСнЫе -- АДАПТЕРЫ -- МАТРИЦЫ -- ШИННЫе -- ФОРМИРОВАТЕЛИ -- АВТОМАТИЗИРОВАННОЕ -- ПРОЕКТИРОВАНИЕ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Панков, И.Г.
Свободных экз. нет
Найти похожие
18.
004.896
К63

    КОМПАС-3D V6 [Текст] : руководство пользователя / ЗАО АСКОН. - [Б. м.] : АСКОН, 2003 - .
   Т.2. - [Б. м.] : АСКОН, 2003. - 220 с. : ил. - 110.00 р.
ГРНТИ
50.51.17
УДК
004.896

Кл.слова (ненормированные):
СИСТЕМА -- МОДЕЛИРОВАНИЕ -- ДЕТАЛЕЙ -- ТРЕХМЕРНОЕ -- ТВЕРДОТЕЛЬНОЕ -- ПРОЕКТИРОВАНИЕ -- ПРИНЦИПЫ -- СОЗДАНИЕ -- СБОРКИ -- ДЕРЕВО ПОСТРОЕНИЯ -- ФАЙЛ -- МОДЕЛИ -- ВРАЩЕНИЕ -- ЭСКИЗ -- формообразующие -- ЭЛЕМЕНТЫ -- ОТВЕРСТИЯ -- МАССИВЫ -- ПОСТРОЕНИЕ -- СОПРЯЖЕНИЕ -- КОМПОНЕНТОВ -- БУЛЕВЫ -- ОПЕРАЦИИ -- РЕДАКТИРОВАНИЕ -- ПАРАМЕТРИЗАЦИЯ -- ПАРАМЕТРИЧЕСКИЕ -- ИЗОБРАЖЕНИЯ -- ИЗМЕРЕНИЯ -- БИБЛИОТЕКА -- ПЕЧАТЬ -- ГРАФИЧЕСКИХ -- ТЕКСТОВЫх -- ДОКУМЕНТОВ -- ОБМЕН ИНФОРМАЦИЕЙ -- ИМПОРТ -- ЭКСПОРТ -- ДРУГИЕ СИСТЕМЫ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
ЗАО АСКОН
Свободных экз. нет
Найти похожие
19.
519.7/8
К74

    Кофман, А.
    Методы и модели исследования операций. Целочисленное программирование [Текст] : пер. с фр. / А. Кофман, А. Анри-Лабордер. - М. : Мир, 1977. - 432 с. : рис., табл. - Библиогр.: с. 423-426. -Предм. указ.: с. 427-428. - (в пер.) : 1.75 р.
Приложения: с. 413-419
ГРНТИ
28.29.15
УДК
519.7/8

Кл.слова (ненормированные):
БИНАРНАЯ -- БУЛЕВА АЛГЕБРА -- БУЛЕВЫ ФУНКЦИИ -- МЕТОДЫ -- ПЕРЕБОРА -- ВЕТВЛЕНИЯ -- ОТСЕЧЕНИЙ -- АСИМПТОТИЧЕСКОЕ -- ДВОЙСТВЕННЫЙ -- СИМПЛЕКС - МЕТОД -- ВЫПУКЛЫЕ -- ВОГНУТЫЕ -- ФУНКЦИИ -- МЕТОД ДАНЦИГА - МАННА -- РЕШЕНИЕ ЗАДАЧ -- МЕТОД ГОМОРИ -- ЧАСТИЧНО -- МЕТОД БЕНДЕРСА -- АЛГОРИТМ ТРУБИНА

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Анри-Лабордер, А.
Свободных экз. нет
Найти похожие
 1..19