Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

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

1-20 21-29

Шевелев, Юрий Павлович.
Дискретная математика [Электронный ресурс] : учеб. пособие / Ю. П. Шевелев. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 591, [1] с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 577-579. - Предм. указ.: с. 580-584. - (в пер.) : Б. ц.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлению и специальности "Прикладная математика и информатика" . ЭБС "Издательства Лань"

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

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

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

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

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

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

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

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

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

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

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

Батяев, Б. Г.
Управление, надежность и навигация [Текст] : сб. трудов / Б. Г. Батяев ; отв. ред. Б. Г. Бадяев. - Саранск : Мордовский гос. у-нт, 1981. - 203 с. ; 20см. - 1.20 р.

ГРНТИ	27.47
УДК	519+531.383(06)

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

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

Доп. точки доступа:
Бадяев, Б. Г.
Найти похожие

Логинов, Б. М.
Лекции и упражнения по курсу "Введение в дискретную математику" [Текст] / Б. М. Логинов. - Калуга : МГТУ им. Н. Э. Баумана Калужский филиал, 1998. - 424 с. : рис. ; 23 см. - 25.00 р.
На обл. загл.: Введение в дискретную математику

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

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

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

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

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

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

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

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

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

ББК 22.17

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

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

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

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

ББК 32.973

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

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

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

ББК 32.97я2

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

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

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

10.

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

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

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

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

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

11.

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

ББК 22.1 + 32.81

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

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

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

12.

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

13.

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

ГРНТИ	27.41.41
УДК	519.1

ББК 22.12

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

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

Доп. точки доступа:
Кузнецов, А. В.
Найти похожие

14.

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

УДК

510.5(075.8)

510.6(075.8)

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

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

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

15.

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

УДК

004

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

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

16.

Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : Б. и., ISSN 0568-661 X.
Вып. 165 : Структурные и сложностные проблемы вычислимости. - 1999. - 208, [1] с. - Библиогр. - ISBN Б. и. : 15.00 р.

УДК

510.5(082)

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

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

17.

Логинов, Борис Михайлович.
Лекции и упражнения по курсу "Введение в дискретную математику" [Текст] : курс лекций / Б. М. Логинов. - Калуга : [б. и.], 1998. - 423, [1] с. : ил. - Библиогр. - ISBN [Б. и.] (в пер.) : 80.00 р.

УДК

[510.63+519.1](075.8)

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

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

18.

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

УДК

512.64(043.3)

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

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

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

19.

Микони, Станислав Витальевич.
Дискретная математика для бакалавра: множества, отношения, функции, графы [Текст] : учебное пособие / С. В. Микони. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2012. - 186, [4] с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 181-182 (31 назв.). - ISBN 978-5-8114-1386-7 (в пер.) : 424.00 р.
Рекомендовано НМС по математике вузов Сев.-Зап. региона России в качестве учеб. пособия для студентов инженер. специальностей и направлений вузов

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

20.

Столяр, А. А.
Как математика ум в порядок приводит [Текст] / А. А. Столяр. - 2-е изд. - Минск : Высшая школа, 1991. - 207 с. : ил. ; 16 см. - ISBN 5-339-00587-9 : 1.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.1

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

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

1-20 21-29

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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