Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

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

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

1-20 21-40 41-55

Хилтон, А. М.
Логика и цепи переключения [Текст] : научное издание / А. М. Хилтон ; пер. с англ. Е. Б. Дудина ; под ред. Г. М. Уланова. - М. ; Л. : Госэнергоиздат, 1962. - 88 с. : ил. ; 20 см. - (Б-ка по автоматике ; вып. 55). - Библиогр.: с. 77-80 . - 0.44 р.

УДК

621-52

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

Доп. точки доступа:
Дудин, Е. Б.
Уланов, Г. М.
Найти похожие

Шиханович, Ю. А.
Введение в современную математику [Текст] : начальные понятия / Ю. А. Шиханович. - М. : Наука, 1965. - 376 с. : ил. ; 20 см. - Библиогр.: с. 367-368 (22 назв.). - 1.00 р.

ГРНТИ	27.01
УДК	51

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

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

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

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

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

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

Ефремов, Г. О.
Алгебра логики и контактные схемы [Текст] / Г. О. Ефремов. - М. : Изд-во "Знание", 1969. - 32 с. : ил., табл. ; 21 см. - (Новое в жизни, науке, технике. Математика, кибернетика ; Вып. 6). - Библиогр.: с. 32

УДК

510.6+62-507

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

Карповский, М. Г.
Спектральные методы анализа и синтеза дискретных устройств [Текст] : научное издание / М. Г. Карповский, Э. С. Москалев. - Л. : Энергия, 1973. - 144 с. : ил., рис., табл. ; 20 см. - (Б-ка по автоматике ; вып. 507). - Библиогр.: с. 136-140. - 0.40 р.

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

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

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

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

Чирков, М. К.
Основы общей теории конечных автоматов [Текст] : научное издание / М. К. Чирков ; Ленинградский гос. ун-т. - Л. : Изд-во Ленингр. ун-та, 1975. - 280 с. : ил. ; 21 см. - Библиогр.: с. 271-272. - 1.64 р.

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

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

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

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

Ершов, А. П.
Введение в теоретическое программирование (беседы о методе) [Текст] : учеб. пособие / А. П. Ершов. - М. : Наука, 1977. - 288 с. : ил. ; 20см. - 0.80 р.

ГРНТИ	27.47.19.01.33
УДК	519.81(075)

ББК 518

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

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

Яблонский, С. В.
Введение в дискретную математику [Текст] : учеб. пособие / С. В. Яблонский. - М. : Наука, 1979. - 272 с. : ил. ; 22 см. - Библиогр.: с. 266-267 (32 назв.). - 0.85 р.
Гриф: допущено М-вом высш. и сред. спец. образования СССР в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика"

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

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

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

Кузнецов, О. П.
Дискретная математика для инженера [Текст] / О. П. Кузнецов. - М. : Энергия, 1980. - 344 с. : ил. ; 21см. - 1.40 р.

ГРНТИ	27.41.41
УДК	519.1

ББК 32.815

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

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

10.

Яблонский, С. В.
Введение в дискретную математику [Текст] : учеб. пособие для вузов / С. В. Яблонский. - 2-е изд., перераб. и доп. - М. : Наука, 1986. - 384 с. : ил. ; 20см. - Библиогр.:с.370-372. - 0.95 р.
Предм.указ.:с.373-379

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

ББК 22.18

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

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

11.

Кирий, В. Г.
Логико-вероятностные методы и средства идентификации и прогнозирования бинарных систем [Текст] / В. Г. Кирий. - Иркутск : Изд-во Иркут. ун-та, 1987. - 112 с. : граф., рис. ; 20 см. - Библиогр.: с. 107-110 (47 назв.). - 0.65 р.

ГРНТИ	50.09
УДК	681.51.01:510.6

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

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

12.

Потемкин, И. С.
Функциональные узлы цифровой автоматики [Текст] / И. С. Потемкин. - М. : Энергоатомиздат, 1988. - 320 с. : ил. ; 21 см. - Библиогр.: с. 316-318. - ISBN 5-283-01478-9 : 1.40 р.

ГРНТИ	50.33
УДК	681.322

ББК 32.965

Рубрики: Вычислительная техника--Архитектура вычислительных машин

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

13.

Кузнецов, О. П.
Дискретная математика для инженера [Текст] / О. П. Кузнецов. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : ил. ; 21см. - ISBN 5-283-01563-7 : 1.80 р.

ГРНТИ	27.41.41
УДК	519.1

ББК 32.815

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

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

14.

Горелик, Александр Леопольдович.
Методы распознавания [Текст] : учебное пособие для вузов / А. Л. Горелик, В. А. Скрипник. - Москва : Высшая школа, 1989. - 232 с. : рис. - Библиогр.: с. 219 - 220 (38 назв.). - 0.55 р.

ББК 32.813я73

Рубрики: Вычислительная техника--Элементы и узлы микро-ЭВМ

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

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

15.

Богомолов, А. М.
Автоматные модели и рекурсивный конструктивизм [Текст] : учеб. пособие для студ. мех.-матем. фак. и фак. прикл. матем. ун-тов / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов. - Саратов : Изд-во Сарат. ун-та, 1992. - 72 с. ; 21см. - ISBN 5-292-01592-Х : 18.00 р.

ГРНТИ	27.47.01.33
УДК	519.713+681.511.015

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

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

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

16.

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

УДК

612.82:007

512.6

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

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

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

17.

Мадер, Виктор Викторович.
Школьнику об алгебре логики [Текст] : кн. для внеклас. чтения учащихся 10-11 кл. ср. шк. / В. В. Мадер. - Москва : Просвещение, 1993. - 128 с. : ил. - (Мир знаний). - ISBN 5-09-003544-X : 204.00 р.

УДК

512.563.6(075.3):087.5

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

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

18.

Бейбер, Р. Л.
Программное обеспечение без ошибок [Текст] : приемы и секреты создания правильных программ / Р. Л. Бейбер ; пер. с англ., под ред. Д. И. Правикова. - М. : Джон Уайли энд Санз; Радио и связь, 1996. - 176 с. : ил. ; 21см. - ISBN 5881820037 : 25.00 р.

ГРНТИ	50.41
УДК	681.3.06:519.6

ББК 32.973.202

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

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

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

19.

Фреге, Готлоб.
Избранные работы [Текст] : научное издание / Г. Фреге ; . - Москва : Дом интеллектуал. кн., 1997. - 160 с. - ISBN 5-7333-0435-9 : 14.00 р.

УДК

510.6(081)

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

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

20.

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22

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

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

1-20 21-40 41-55

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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