Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

в найденном

В текущей базе данных найдено документов :59

В других БД по вашему запросу найдено:

Электронный каталог (37)

ЭБС "ЛАНЬ" (8)

Публикации учёных СГУ (1)

Формат представления найденных документов:
полный	информационный	краткий

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

Поисковый запрос: (<.>KL=булевы функции<.>)

Общее количество найденных документов : 59
Показаны документы с 1 по 20

1-20 21-40 41-59

Подлипенский, В. С.
Бесконтактные логические схемы автоматики (основы построения) [Текст] : справ. рук-во / В. С. Подлипенский. - Киев : Наукова думка, 1965. - 216 с. ; 20 см. - Библиогр.: с. 211-215 (98 назв.) . - 0.78 р.

ГРНТИ	50.09
УДК	62-50

Рубрики: Автоматика--Устройства автоматики

Кл.слова (ненормированные):
БУЛЕВА АЛГЕБРА -- БУЛЕВЫ ФУНКЦИИ -- ПРИНЦИП СУПЕРПОЗИЦИИ -- ОСНОВНЫЕ ЗАКОНЫ -- ДИЗЪЮНКТИВНЫЕ ФОРМЫ -- КОНЪЮНКТИВНЫЕ ФОРМЫ -- МЕТОДЫ СИНТЕЗА -- ЛОГИЧЕСКИЕ СХЕМЫ -- МАГНИТНЫЕ ЭЛЕМЕНТЫ
Аннотация: Настоящая книга должна помочь широкому кругу читателей - инженерам, техникам, научным работникам, студентам - овладеть основами алгебры логики, рядом эффективных методов построения (синтеза) экономичных бесконтактных логических схем, а также ознакомиться с некоторыми современными элементами, из которых строятся такие схемы. В книге приведены расчетные соотношения и таблицы, существенно облегчающие проектирование бесконтактных логических устройств.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Поспелов, Д. А.
Логические методы анализа и синтеза схем [Текст] : научное издание / Д. А. Поспелов. - 2-е изд., перераб. и доп. - Л. : Энергия, 1968. - 328 с. : черт. - Библиогр.: с. 324-328. - 0.96 р.

ГРНТИ	50.03
УДК	62-504.5+681.142.1.01

Рубрики: Автоматика--Теория автоматического управления

Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ -- ЛОГИЧЕСКИЕ СЕТИ -- ТЕОРЕМА АНАЛИЗА -- СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ -- БУЛЕВЫ ФУНКЦИИ -- АНАЛИЗ СХЕМ -- РЕКУРРЕНТНЫЕ БУЛЕВЫ ФУНКЦИИ -- МНОГОЗНАЧНАЯ ЛОГИКА -- ТРЕХЗНАЧНАЯ ЛОГИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Теоретические основы построения логической части релейной защиты и автоматики энергосистем [Текст] : научное издание / под ред. В. Е. Полякова. - М. : Энергия, 1979. - 240 с. : ил. ; 20 см. - Библиогр.: с. 232 . - 0.65 р.

ГРНТИ	44.29.31
УДК	621.316.925

Рубрики: Электротехника--Релейная защита

Кл.слова (ненормированные):
РЕЛЕЙНЫЕ УСТРОЙСТВА -- АВТОМАТИКА ЭНЕРГОСИСТЕМ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИЧЕСКИЙ КОНТРОЛЬ -- РЕЛЕЙНЫЕ СХЕМЫ -- ИЕРАРХИЧЕСКАЯ СЕТЬ
Аннотация: Рассмотрены теории релейных устройств, симметричные и временные булевы функции и их использование для аналитического описания и дальнейшего совершенствования логической структуры дискретных автоматов и, в частности, устройств релейной защиты и автоматики энергосистем.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Поляков, В. Е.
Найти похожие

Косовский, Николай Кириллович.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : учеб. пособие / Н. К. Косовский. - Ленинград : Издательство Ленинградского государственного университета, 1981. - 192 с. : ил. - Библиогр.: с. 75. - 0.40 р.

ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
булевы функции -- исчисление высказываний -- логические исчисления -- математическая логика -- пособия для вузов -- предикты -- секвенциальное исчисление -- система Цермело-Френкеля -- субрекурсивные алгоритмы
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

Фудзисава, Тосио.
Математика для радиоинженеров [Текст] : теория дискретных структур: пер. с яп. / Т. Фудзисава, Т. Касами. - Москва : Радио и связь, 1984. - 240 с. - 1.50 р.

ББК 22.1

Рубрики: Математика--Общие вопросы математики

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

Доп. точки доступа:
Касами, Тадао
Найти похожие

    Кибернетический сборник [Текст] : сб. переводов : [пер. с англ.] / под ред. О. Б. Лупанова. - Москва : Мир, 1965 - . - (Новая серия).
   Вып. 21. - 1984. - 263, [1] с. - Библиогр. в конце ст. - (в пер.) : 2.50 р.
    Содержание:
Храпченко, В. М. Нижние оценки сложности схем из функциональных элементов : обзор / В. М. Храпченко. - С .3-54
Препарата, Ф. Нахождение пересечения n полупространств за время 0 (n log n) / Ф. Препарата, Д. Маллер. - С .55-68
Вегенер, И. Булевы функции, чья монотонная сложность имеет величину порядка n2/log n / И. Вегенер. - С .69-84
Дельсарт, Ф. Нумераторы спектра для некоторых кодов над целочисленными алфавитами, исправляющих аддитивные ошибки / Ф. Дельсарт, Ф. Пире. - С .85-104
Франкл, П. О семействах Шпернера, удовлетворяющих дополнительному условию / П. Франкл. - С .105-116
Пауль, В. Оценка памяти для одной игры на графах / В. Пауль, Р. Э. Тарьян, Д. Р. Селони. - С .117-132
Пауль, В. О соотношении времени и памяти в игре в камни / В. Пауль, Р. Э. Тарьян. - С .133-138
Плейстид, Д. А. Доказательство теорем с помощью абстракций / Д. А. Плейстид. - С .139-212
Зикманн, Й. Универсальная унификация и классификация эквациональных теорий / Й. Зикманн, П. Сабо. - С .213-234
Воз, Л. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем / Л. Воз. - С .235-263

ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

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

Доп. точки доступа:
Лупанов, О. Б. \\ред.\\
Найти похожие

Абдуллаев, Д. А.
Симметрия в булевых функциях и некоторых классах корректирующих кодов [Текст] / Д. А. Абдуллаев. - Ташкент : ФАН, 1987. - 144 с. ; 22см. - 1.10 р.

ГРНТИ	27.47
УДК	519.7

Рубрики: Математика--Математическая кибернетика

Кл.слова (ненормированные):
симметрия -- булевы функции -- корректирующие коды -- алгоритм -- алгоритмы распознавания -- аналитические функции -- графические функции -- базисная координата -- множества -- математика -- математическая индукция -- кибернетика -- математическая кибернетика -- коды -- коды Рида-Маллера -- матрицы -- декодирование -- циклические коды
Аннотация: В монографии приводятся новые алгоритмы распознавания симметричных булевых функций на основе введенного понятия базисных координат.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Глаголев, В. В.
Основы теории систем. Методы дискретной математики [Текст] : учеб. пособие для вузов / В. В. Глаголев ; Тульский политехн. ин-т. - Тула : ТПИ, 1987. - 89 с. : ил. ; 20 см. - 0.15 р.

ГРНТИ	27.41.41.01.33
УДК	519.95(075)

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
математика -- дискретная математика -- комбинаторика -- булевы функции -- булевы тождества
Аннотация: Излагаются математические методы, используемые при разработке и исследовании модулей сложных систем.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

Ачасова, С. М.
Алгоритмы синтеза автоматов на программируемых матрицах [Текст] / С. М. Ачасова ; под ред. О. Л. Бандмана. - М. : Радио и связь, 1987. - 136 с. : ил. ; 21см. - 0.55 р.

ГРНТИ	27.47
УДК	519.714:681.32

Рубрики: Математика--Математическая кибернетика

Вычислительная техника--Цифровая техника

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

Доп. точки доступа:
Бандман, О. Л.
Найти похожие

10.

Трауб, Д. Ф.
Информация, неопределённость, сложность [Текст] : пер. с англ. / Д. Ф. Трауб. - М. : [б. и.], 1988. - 184 с. : ил. ; 20см. - ISBN 5-03-000991-4 : 1.50 р.

ГРНТИ	27.03
УДК	510

ББК 22.12

Рубрики: Математика--Математическая логика

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

11.

Математические вопросы кибернетики [Текст] / С. В. Яблонский. - М. : Наука, 1989 - .
Вып. 2 : Сб. статей. - 1989. - 240 с. ; 26см. - ISBN 5-02-013979-3 : 4.50 р.

ГРНТИ	27.47
УДК	519.7

ББК 22.18

Рубрики: Математика--Математическая кибернетика

Кл.слова (ненормированные):
математика -- математическая кибернетика -- алгебра -- автоморфизмы -- булевы функции -- многозначная логика
Аннотация: Включены статьи, отражающие современное состояние математической кибернетики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Яблонский, С. В.
Найти похожие

12.

Нигматуллин, Рошаль Габдулхаевич.
Нижние оценки сложности и сложность универсальных схем [Текст] : научное издание / Р. Г. Нигматуллин. - Казань : Изд-во Казан. ун-та, 1990. - 110 с. - Библиогр. - ISBN 5-7464-0187-0 : 130.00 р.

УДК

007:51

Рубрики: автоматика.кибернетика--математическая кибернетика

Кл.слова (ненормированные):
нижние оценки сложности -- математическая кибернетика -- Булевы функции
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

13.

Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.

УДК

[510.5+510.6](075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

14.

Математические вопросы кибернетики [Текст] : сборник статей / С. В. Яблонский. - М. : Наука, 1991 - .
Вып.3. - 1991. - 228 с. ; 27см. - ISBN 5020143235 : 4.60 р.

ГРНТИ	27.47.01.33
УДК	519.7(082)

ББК 22.18

Рубрики: Математика--Математическая кибернетика

Кл.слова (ненормированные):
математическая кибернетика -- филогенетические деревья -- биологическая эволюция -- булевы функции -- рекурсивные функции -- линейные автоматы -- имплицирующий вектор -- контактные схемы
Аннотация: В данный выпуск включены оригинальные работы и обзорные статьи, отражающие современное состояние математической кибернетики и наиболее интересные результаты исследований.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Яблонский, С.В.
Найти похожие

15.

Перязев, Николай Алексеевич.
Основы теории булевых функций [Текст] : научное издание / Николай Алексеевич Перязев. - Москва : Физматлит, 1999. - 110 с. - Библиогр. - ISBN 5-9221-0005-X : 30.00 р.
Федер. целевая прогр."Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 годы"

УДК

512.563.6

Рубрики: математика--алгебра

Кл.слова (ненормированные):
Булевы функции -- дифференциальное исчисление
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

16.

Математика, механика, математическая кибернетика [Текст] : сб. науч. тр. - Саратов : Издательство Саратовского университета, 1999. - 146, [2] с. - ISBN 5-292-02378-7 : 30.00 р.

УДК

51(082)

531(082)

007:51(082)

Рубрики: математика--математика

физика--механика

автоматика.кибернетика--математическая кибернетика

Кл.слова (ненормированные):
математика -- механика -- дифференциальные уравнения -- интегральные уравнения -- операторы -- графы -- игр теория -- автоматов теория -- булевы функции -- оптимальное управление -- математическая кибернетика
Аннотация: В работах содержатся исследования по кругу вопросов в области теорий операторов, функций и чисел, а также дифференциальных и интегральных уравнений; механики жидкости, газа и плазмы, механики деформированного твердого тела, теоретической механики; теорий автоматов, графов, игр, булевых функций, оптимального управления. Для научных работников, специалистов в области математики, механики и компьютерных наук.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

17.

Глаголев, В. В.
Методы дискретной математики [Текст] : учеб. пособие / В. В. Глаголев ; Тульский гос. ун-т. - Тула : ТГУ, 2000. - 232 с. : ил. ; 20см. - ISBN 5767902798 : 20.00 р.

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
дискретная математика -- комбинаторика -- теория графов -- булевы функции -- конечные автоматы -- формальные языки -- теория алгоритмов
Аннотация: Излагаются основные разделы дискретной математики, сформировавшиеся к настоящему времени: комбинаторика, теория графов, булевы функции и их реализации, конечные автоматы, формальные языки, элементы теории алгоритмов. Для студентов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

18.

Сидоренко, О. И.
Секреты логической зависимости [Текст] : научное издание / О. И. Сидоренко. - Саратов : Изд-во Сарат. ун-та, 2001. - 56 с. : ил. ; 21 см. - Библиогр.: с. 55 (8 назв.). - ISBN 5-292-02564-x : 25.00 р.

ГРНТИ	02.21
УДК	16

ББК 87.4

Рубрики: Философия--Логика

Кл.слова (ненормированные):
БИНАРНЫЕ ОТНОШЕНИЯ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- СЕМАНТИЧЕСКОЕ ПРОСТРАНСТВО -- логическая зависимость
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

19.

Сидоренко, Олег Иванович.
Секреты логической зависимости [Текст] / О. И. Сидоренко. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2001. - 56 с. : ил. - Библиогр.: с. 55. - ISBN 5-292-02564-Х : 5.00 р.

ББК 87.4

Рубрики: Логика--Общие вопросы логики

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

20.

Избранные вопросы теории булевых функций [Текст] : научное издание / А. С. Балюк, С. Ф. Винокуров, А. И. Гайдуков ; . - Москва : Физматлит, 2001. - 191 с. : ил. - Библиогр. - ISBN 5-9221-0085-8 (в пер.) : 50.00 р.
Федерал. целевая прогр."Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 гг."

УДК

512.563.6

Рубрики: математика--алгебра

Кл.слова (ненормированные):
Булевы функции -- полиномиальные представления -- бесповоротные функции -- представления бинарными термами
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Балюк, А. С.
Винокуров, С. Ф.
Гайдуков, А. И.

Найти похожие

1-20 21-40 41-59

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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