Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
"Руконт"-Национальный цифровой ресурс (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