Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

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

1-20 21-29

Францис, Т. А.
Избыточность в электронных дискретных устройствах [Текст] : научное издание / Т. А. Францис, Г. Ф. Янбых. - Л. : Энергия, 1969. - 248 с. : ил. ; 22 см. - Библиогр.: с. 245-246. - 0.99 р.

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

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

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

Доп. точки доступа:
Янбых, Г. Ф.
Найти похожие

Борзунов, С. В.
Задачи по дискретной математике [Текст] : учеб. пособие / С. В. Борзунов, С. Д. Кургалин. - СПб. : БХВ-Петербург, 2016. - 528 с. : ил. ; 21 см. - (Учебная литература для вузов). - Библиогр.: с. 499-509 (118 назв.). - ISBN 978-5-9775-3672-1 : 954.00 р.
риф: допущено УМО по клас. унив. образованию РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. ВО 03.03.03 - Радиофизика

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

ББК 22.176

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

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

Доп. точки доступа:
Кургалин, С. Д.
Найти похожие

Шевелев, Ю. П.
Дискретная математика [Текст] : учеб. пособие / Ю. П. Шевелев. - СПб. ; М. ; Краснодар : Лань, 2008. - 592 с. : ил. ; 24 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 577-579. - ISBN 978-5-8114-0810-8 : 538.89 р.
Гриф: допущено М-вом образования и науки РФ в качестве учеб. пособия для студ. вузов, обуч. по напр. и спец. "Приклад. математика и информатика"

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

ББК 22.176

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

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

Новиков, Ф. А.
Дискретная математика для программистов [Текст] : учеб. пособие для вузов / Ф. А. Новиков. - СПб. : ПИТЕР, 2004. - 302 с. : ил. ; 24 см. - (Учебник для вузов). - ISBN 5-94723-355-X : 120.00 р.
Допущено М-вом образования РФ

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

ББК 22.176

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

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

Иванов, Б. Н.
Дискретная математика [Текст] : алгоритмы и программы : расширенный курс : учеб. пособие / Б. Н. Иванов. - М. : Известия, 2011. - 512 с. : ил. ; 22 см. - Библиогр.: с. 501-502 (35 назв.). - ISBN 978-5-206-00824-1 : 140.00 р.
Гриф: рек. М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика и информатика"

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

ББК 22.176

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

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

Харли, Р. Б.
Логические схемы на транзисторах [Текст] / Р. Б. Харли ; пер. с англ. : Э. Ф. Ильюшенкова, А. Е. Кислых ; под ред. Д. Ю. Панова = Transistor logic circuits / R. B. Hurley : переводное издание. - М. : Изд-во "Мир", 1965. - 429 с. : ил. ; 22 см. - Библиогр.: с. 423. - 1.84 р.
Загл. парал. на англ. яз.

ГРНТИ	47.33
УДК	621-52+681.142.67:621.382.3

Рубрики: Электроника--Электронные приборы

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

Доп. точки доступа:
Ильюшенкова, Э. Ф.
Кислых, А. Е.
Панов, Д. Ю.
Найти похожие

Хаггарти, Р.
Дискретная математика для программистов [Текст] : учеб. пособие / Р. Хаггарти ; пер. с англ. под ред. С. А. Кулешова. - 2-е изд., доп. - М. : Техносфера, 2005. - 400 с. : ил. ; 25 см. - (Мир программирования). - Библиогр.: с. 395-396 (28 назв.). - ISBN 5-94836-016-4 : 248.00 р.
Гриф: допущено УМО вузов РФ по образованию в обл. прикладной математики в качестве учеб. пособия для студ. вузов, обуч. по напр. подгот. "Прикладная математика"

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

ББК 22.176

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

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

Доп. точки доступа:
Кулешов, С. А.
Найти похожие

Николау, Э.
Введение в кибернетику [Текст] : материал технической информации / Э. Николау ; пер. с рум. В. М. Остиану ; под ред. Б. В. Гнеденко. - М. : Мир, 1967. - 195 с. : ил., черт. ; 20 см. - Библиогр.: с. 194 (19 назв.) . - 0.61 р.

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

Рубрики: Кибернетика

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

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

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

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

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

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

10.

Компьютеры [Текст] : справ. руководство : в трех томах / Г. Хеллерман [и др.] ; ред. Г. Хелмс ; пер. И. О. Атовмян. - Москва : Мир, 1986 - .
Т. 1. - 413 с. : граф. - Парал. загл. англ. - Предм. указ.: с. 402-410. - (в пер.) : 1.60 р.

ББК 32.97я2

Рубрики: Вычислительная техника--Компьютеры

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

Доп. точки доступа:
Хеллерман, Г.
Гамахер, В.
Вранежич, З.
Заки, С.
Хелмс, Г. \\ред.\\
Атовмян, И. О. \\пер.\\
Найти похожие

11.

Математическая энциклопедия [Текст] / ред. И. М. Виноградов. - М. : Советская Энциклопедия, 1977 - .
Т. 1 : А-Г. - 1977. - 1152 с. : ил. ; 26 см. - (Энциклопедии. Словари. Справочники). - 7.10 р.

ГРНТИ	27
УДК	51(03)

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

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

Доп. точки доступа:
Виноградов, И. М. \\ред.\\
Найти похожие

12.

Основы технической кибернетики [Текст] : учеб. пособие / Р. А. Сапожников [и др.]. - М. : Высшая школа, 1970. - 464 с. : ил. ; 21 см. - Библиогр.: с. 446-453 . - 0.89 р.

ГРНТИ	28.01.33
УДК	62-50(07)

Рубрики: Кибернетика--Техническая кибернетика

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

Доп. точки доступа:
Сапожников, Р. А.
Матвеев, П. Н.
Родин, Б. П.
Филадельфина, Н. А.
Найти похожие

13.

Линдон, Р.
Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; ред. И. М. Яглом. - Москва : Мир, 1968. - 128 с. - 0.41 р.

14.

Манин, Юрий Иванович.
Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р.

ББК 22.1 + 32.81

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

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

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

15.

Коляда, Михаил Георгиевич.
Окно в удивительный мир информатики [Текст] / М. Г. Коляда. - Донецк : Сталкер, 1997. - 448 с. - (Для школьников). - 15000 р.
Предм.указ.:с.435-441.-Библиогр.:с.442-443

ББК 32.973

Рубрики: Вычислительная техника--Персональные компьютеры

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

16.

Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил. - 1.80 р.
Библиогр.:с.473-475

ББК 22.17

Рубрики: Математика--Теория вероятностей--Комбинаторный анализ

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

Доп. точки доступа:
Адельсон-Вельский, Георгий Максимович
Найти похожие

17.

Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

УДК

510.5(075.8)

510.6(075.8)

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

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

Доп. точки доступа:
Потоцкий, Сергей Иванович
Найти похожие

18.

Поплавский, Владислав Брониславович.
Определители булевых матриц и их приложение [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / В. Б. Поплавский ; Федер. гос. бюджет. образоват. учреждение высш. проф. образования "Саратовский государственный университет им. Н. Г. Чернышевского". - Ульяновск : [б. и.], 2012. - 30 с. - Библиогр.: с. 27-30 (31 назв.). - ISBN [Б. и.]

УДК

512.64(043.3)

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

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

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

19.

Волгин, Леонид Иванович.
Комплементарная алгебра и моделирование нейронных структур [Текст] = Complementary Algebra and Simulation of Neural Structures : научное издание / Л. И. Волгин ; . - Таллинн : АО "KLTK", 1993. - 47 с. : ил. - Библиогр. - 40.00 р.

УДК

612.82:007

512.6

Рубрики: медицина--физиология

математика--алгебра

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

20.

Брусенцов, Николай Петрович.
Начала информатики [Текст] : учебное пособие / Н. П. Брусенцов. - Москва : Фонд "Новое тысячелетие", 1994. - 176 с. : ил. - Библиогр. - ISBN 5-866947-011-0. - ISBN 5-866947-011-0 (ошибоч.) : 2000.00 р.

УДК

004

Рубрики: вычислительная техника--информационные технологии

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

1-20 21-29

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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