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

Базы данных:

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

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=БУЛЕВА АЛГЕБРА<.>)
Общее количество найденных документов : 2 Показаны документы с 1 по 2

1..2

519.7/8
К89

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : научное издание / О.П. Кузнецов, Г.М. Адельсон-Вельский. - М. : Энергия, 1980. - 342 с. : рис., табл. - Библиогр.: с. 335-337. -Предм. указ.: с. 338-341. - (в пер.) : 1.40 р.

ГРНТИ	27
УДК	519.7/8

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

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

Доп.точки доступа:
Адельсон-Вельский, Г.М.
Свободных экз. нет
Найти похожие

519.7/8
К74

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

ГРНТИ	28.29.15
УДК	519.7/8

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

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

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

1..2