| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :59
 В других БД по вашему запросу найдено:Электронный каталог (37)ЭБС "ЛАНЬ" (8)Публикации учёных СГУ (1)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=БУЛЕВЫ ФУНКЦИИ<.>)
Общее количество найденных документов : 59
Показаны документы с 1 по 20
 1-20    21-40   41-59 
1.

Вид документа : Однотомное издание
Шифр издания : 62-50/П 44
Автор(ы) : Подлипенский В. С.
Заглавие : Бесконтактные логические схемы автоматики (основы построения) : справ. рук-во
Выходные данные : Киев: Наукова думка, 1965
Колич.характеристики :216 с. ; 20 см
Примечания : Библиогр.: с. 211-215 (98 назв.)
Цена : 0.78 р.
ГРНТИ : 50.09
УДК : 62-50
Предметные рубрики: Автоматика-- Устройства автоматики
Ключевые слова (''Своб.индексиров.''): булева алгебра--булевы функции--принцип суперпозиции--основные законы--дизъюнктивные формы--конъюнктивные формы--методы синтеза--логические схемы--магнитные элементы
Аннотация: Настоящая книга должна помочь широкому кругу читателей - инженерам, техникам, научным работникам, студентам - овладеть основами алгебры логики, рядом эффективных методов построения (синтеза) экономичных бесконтактных логических схем, а также ознакомиться с некоторыми современными элементами, из которых строятся такие схемы. В книге приведены расчетные соотношения и таблицы, существенно облегчающие проектирование бесконтактных логических устройств.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 62-50/П 62
Автор(ы) : Поспелов Д. А.
Заглавие : Логические методы анализа и синтеза схем : научное издание . -2-е изд., перераб. и доп.
Выходные данные : Л.: Энергия, 1968
Колич.характеристики :328 с.: черт.
Примечания : Библиогр.: с. 324-328
Цена : 0.96 р.
ГРНТИ : 50.03
УДК : 62-504.5+681.142.1.01
Предметные рубрики: Автоматика-- Теория автоматического управления
Ключевые слова (''Своб.индексиров.''): алгебра логики--элементарные функции--логические сети--теорема анализа--синтез логических схем--булевы функции--анализ схем--рекуррентные булевы функции--многозначная логика--трехзначная логика
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 621.3/Т 33
Заглавие : Теоретические основы построения логической части релейной защиты и автоматики энергосистем : научное издание
Выходные данные : М.: Энергия, 1979
Колич.характеристики :240 с.: ил.; 20 см
Примечания : Библиогр.: с. 232
Цена : 0.65 р.
ГРНТИ : 44.29.31
УДК : 621.316.925
Предметные рубрики: Электротехника-- Релейная защита
Ключевые слова (''Своб.индексиров.''): релейные устройства--автоматика энергосистем--булевы функции--логический контроль--релейные схемы--иерархическая сеть
Аннотация: Рассмотрены теории релейных устройств, симметричные и временные булевы функции и их использование для аналитического описания и дальнейшего совершенствования логической структуры дискретных автоматов и, в частности, устройств релейной защиты и автоматики энергосистем.
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Косовский, Николай Кириллович
Заглавие : Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учеб. пособие
Выходные данные : Ленинград: Издательство Ленинградского государственного университета, 1981
Колич.характеристики :192 с.: ил.
Примечания : Библиогр.: с. 75
Цена : 0.40 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): булевы функции--исчисление высказываний--логические исчисления--математическая логика--пособия для вузов--предикты--секвенциальное исчисление--система цермело-френкеля--субрекурсивные алгоритмы
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 22.1
Автор(ы) : Фудзисава, Тосио, Касами, Тадао
Заглавие : Математика для радиоинженеров : теория дискретных структур: пер. с яп.
Выходные данные : Москва: Радио и связь, 1984
Колич.характеристики :240 с
Цена : 1.50 р.
ББК : 22.1
Предметные рубрики: Математика-- Общие вопросы математики
Ключевые слова (''Своб.индексиров.''): булевы алгебры--булевы функции--вычислительная техника--графы--дискретная математика--дискретные структуры--закон кирхгофа--конечные автоматы--методы минимизации--минимизация--радиоинженеры--рекуррентные уравнения--таблица карно--цифровые системы связи
Найти похожие
6.

Вид документа : Многотомное издание
Шифр издания : 32.81/К 38
Автор(ы) :
Заглавие : Кибернетический сборник: сб. переводов : [пер. с англ.]/ под ред. О. Б. Лупанова. - (Новая серия). Вып. 21
Выходные данные : Москва: Мир, 1984
Колич.характеристики :263, [1] с
Примечания : Библиогр. в конце ст.
Цена : 2.50 р.
ББК : 32.81
Предметные рубрики: Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): абстракции--автоматическое доказательство теорем--булевы функции--эквациональные теории
Содержание : Нижние оценки сложности схем из функциональных элементов/ В. М. Храпченко. Нахождение пересечения n полупространств за время 0 (n log n)/ Ф. Препарата, Д. Маллер. Булевы функции, чья монотонная сложность имеет величину порядка n2/log n/ И. Вегенер. Нумераторы спектра для некоторых кодов над целочисленными алфавитами, исправляющих аддитивные ошибки/ Ф. Дельсарт, Ф. Пире. О семействах Шпернера, удовлетворяющих дополнительному условию/ П. Франкл. Оценка памяти для одной игры на графах/ В. Пауль, Р. Э. Тарьян, Д. Р. Селони. О соотношении времени и памяти в игре в камни/ В. Пауль, Р. Э. Тарьян. Доказательство теорем с помощью абстракций/ Д. А. Плейстид. Универсальная унификация и классификация эквациональных теорий/ Й. Зикманн, П. Сабо. Решение некоторых открытых проблем с помощью программы для автоматического доказательства теорем/ Л. Воз.
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 519/А 13
Автор(ы) : Абдуллаев Д. А.
Заглавие : Симметрия в булевых функциях и некоторых классах корректирующих кодов
Выходные данные : Ташкент: ФАН, 1987
Колич.характеристики :144 с. ; 22см
Цена : 1.10 р.
ГРНТИ : 27.47
УДК : 519.7
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): симметрия--булевы функции--корректирующие коды--алгоритм--алгоритмы распознавания--аналитические функции--графические функции--базисная координата--множества--математика--математическая индукция--кибернетика--математическая кибернетика--коды--коды рида-маллера--матрицы--декодирование--циклические коды
Аннотация: В монографии приводятся новые алгоритмы распознавания симметричных булевых функций на основе введенного понятия базисных координат.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Г 52
Автор(ы) : Глаголев В. В.
Заглавие : Основы теории систем. Методы дискретной математики : учеб. пособие для вузов
Выходные данные : Тула: ТПИ, 1987
Колич.характеристики :89 с.: ил.; 20 см
Коллективы : Тульский политехн. ин-т
Цена : 0.15 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.95(075)
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--комбинаторика--булевы функции--булевы тождества
Аннотация: Излагаются математические методы, используемые при разработке и исследовании модулей сложных систем.
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 519/А 97
Автор(ы) : Ачасова С. М.
Заглавие : Алгоритмы синтеза автоматов на программируемых матрицах
Выходные данные : М.: Радио и связь, 1987
Колич.характеристики :136 с.: ил.; 21см
Цена : 0.55 р.
ГРНТИ : 27.47
УДК : 519.714:681.32
Предметные рубрики: Математика-- Математическая кибернетика
Вычислительная техника-- Цифровая техника
Ключевые слова (''Своб.индексиров.''): математика--математическая кибернетика--логические матрицы--булевы функции--алгоритмы кодирования--булево пространство--матричные схемы--цифровые вычислительные машины--цифровая автоматика--вычислительная техника
Аннотация: Предлагается новый подход для решения задач логического синтеза.
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 510/Т 65
Автор(ы) : Трауб Д. Ф.
Заглавие : Информация, неопределённость, сложность : пер. с англ.
Выходные данные : М., 1988
Колич.характеристики :184 с.: ил.; 20см
ISBN, Цена 5-03-000991-4: 1.50 р.
ГРНТИ : 27.03
УДК : 510
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--неопределенность--пространство--уравнение--численные методы--алгоритм--информация--кодирование--бинарные отношения--бисекция--булевы функции--аппроксимация--погрешности
Аннотация: Рассмотрены способы учёта неопределённости в случае, когда пространство решений не снабжено ни нормой, ни метрикой.
Найти похожие
11.

Вид документа : Продолжающееся издание
Шифр издания : 519/М 34
Автор(ы) :
Заглавие : Математические вопросы кибернетики/ С. В. Яблонский. Вып. 2: Сб. статей
Выходные данные : М.: Наука, 1989
Колич.характеристики :240 с. ; 26см
ISBN, Цена 5-02-013979-3: 4.50 р.
ГРНТИ : 27.47
УДК : 519.7
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): математика--математическая кибернетика--алгебра--автоморфизмы--булевы функции--многозначная логика
Аннотация: Включены статьи, отражающие современное состояние математической кибернетики.
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 605998
62-50:51/Н 60
Автор(ы) : Нигматуллин, Рошаль Габдулхаевич
Заглавие : Нижние оценки сложности и сложность универсальных схем : научное издание
Выходные данные : Казань: Изд-во Казан. ун-та, 1990
Колич.характеристики :110 с
Примечания : Библиогр.
ISBN, Цена 5-7464-0187-0: 130.00 р.
УДК : 007:51
Предметные рубрики: автоматика.кибернетика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): нижние оценки сложности--математическая кибернетика--булевы функции
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 083139
51.01(075)+51.017+017.7:51/И 26
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов
Выходные данные : Саратов: Издательство Саратовского университета, 1991
Колич.характеристики :255, [2] c.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-292-00259-3: 25.00 р.
УДК : [510.5+510.6](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--логика предикатов--булевы функции
Найти похожие
14.

Вид документа : Продолжающееся издание
Шифр издания : 519/М 34
Автор(ы) :
Заглавие : Математические вопросы кибернетики: Сборник статей/ С. В. Яблонский. Вып.3
Выходные данные : М.: Наука, 1991
Колич.характеристики :228 с. ; 27см
ISBN, Цена 5020143235: 4.60 р.
ГРНТИ : 27.47.01.33
УДК : 519.7(082)
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): математическая кибернетика--филогенетические деревья--биологическая эволюция--булевы функции--рекурсивные функции--линейные автоматы--имплицирующий вектор--контактные схемы
Аннотация: В данный выпуск включены оригинальные работы и обзорные статьи, отражающие современное состояние математической кибернетики и наиболее интересные результаты исследований.
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 996739
51.013/П 27
Автор(ы) : Перязев, Николай Алексеевич
Заглавие : Основы теории булевых функций : научное издание
Выходные данные : Москва: Физматлит, 1999
Колич.характеристики :110 с
Примечания : Библиогр. - Федер. целевая прогр."Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 годы"
ISBN, Цена 5-9221-0005-X: 30.00 р.
УДК : 512.563.6
Предметные рубрики: математика-- алгебра
Ключевые слова (''Своб.индексиров.''): булевы функции--дифференциальное исчисление
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 761775
62-50:51+51(082)+531(082)+017.7:51+017.7:53+017.7:6/М 34
Заглавие : Математика, механика, математическая кибернетика : Сб. науч. тр.
Выходные данные : Саратов: Издательство Саратовского университета, 1999
Колич.характеристики :146, [2] с
ISBN, Цена 5-292-02378-7: 30.00 р.
УДК : 51(082) + 531(082) + 007:51(082)
Предметные рубрики: математика-- математика
физика-- механика
автоматика.кибернетика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): математика--механика--дифференциальные уравнения--интегральные уравнения--операторы--графы--игр теория--автоматов теория--булевы функции--оптимальное управление--математическая кибернетика
Аннотация: В работах содержатся исследования по кругу вопросов в области теорий операторов, функций и чисел, а также дифференциальных и интегральных уравнений; механики жидкости, газа и плазмы, механики деформированного твердого тела, теоретической механики; теорий автоматов, графов, игр, булевых функций, оптимального управления. Для научных работников, специалистов в области математики, механики и компьютерных наук.
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Г 52
Автор(ы) : Глаголев В. В.
Заглавие : Методы дискретной математики : учеб. пособие
Выходные данные : Тула: ТГУ, 2000
Колич.характеристики :232 с.: ил.; 20см
Коллективы : Тульский гос. ун-т
ISBN, Цена 5767902798: 20.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--теория графов--булевы функции--конечные автоматы--формальные языки--теория алгоритмов
Аннотация: Излагаются основные разделы дискретной математики, сформировавшиеся к настоящему времени: комбинаторика, теория графов, булевы функции и их реализации, конечные автоматы, формальные языки, элементы теории алгоритмов. Для студентов.
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 16/С 34
Автор(ы) : Сидоренко О. И.
Заглавие : Секреты логической зависимости : научное издание
Выходные данные : Саратов: Изд-во Сарат. ун-та, 2001
Колич.характеристики :56 с.: ил.; 21 см
Примечания : Библиогр.: с. 55 (8 назв.)
ISBN, Цена 5-292-02564-x: 25.00 р.
ГРНТИ : 02.21
УДК : 16
ББК : 87.4
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): бинарные отношения--булевы функции--логические операции--семантическое пространство--логическая зависимость
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 87.4
Автор(ы) : Сидоренко, Олег Иванович
Заглавие : Секреты логической зависимости
Выходные данные : Саратов: Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2001
Колич.характеристики :56 с.: ил.
Примечания : Библиогр.: с. 55
ISBN, Цена 5-292-02564-Х: 5.00 р.
ББК : 87.4
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): бинарные отношения--булевы функции--булевы функции--логическая зависимость--логические операции--ограниченное пространство--ограниченное симантическое пространство
Аннотация: Книга посвящена проблеме построения конечно-элементных моделей оболочек малой и средней толщины.
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 265285
51.013/И 32
Автор(ы) : Балюк А. С., Винокуров С. Ф., Гайдуков А. И.
Заглавие : Избранные вопросы теории булевых функций : научное издание
Выходные данные : Москва: Физматлит, 2001
Колич.характеристики :191 с.: ил.
Примечания : Библиогр. - Федерал. целевая прогр."Гос. поддержка интеграции высш. образования и фундам. науки на 1997-2000 гг."
ISBN (в пер.), Цена 5-9221-0085-8: 50.00 р.
УДК : 512.563.6
Предметные рубрики: математика-- алгебра
Ключевые слова (''Своб.индексиров.''): булевы функции--полиномиальные представления--бесповоротные функции--представления бинарными термами
Найти похожие
 1-20    21-40   41-59 
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)