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

Базы данных


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

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :29
 В других БД по вашему запросу найдено:Электронный каталог (12)ЭБС "ЛАНЬ" (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=булева алгебра<.>)
Общее количество найденных документов : 29
Показаны документы с 1 по 20
 1-20    21-29 
1.

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

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

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


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

2.

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

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

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

3.

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

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

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


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

4.

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

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

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


Доп. точки доступа:
Гастева, Ю. А.
Яглом, Исаак Моисеевич
Найти похожие

5.

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

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

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


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

6.

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

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

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


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

7.

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

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

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


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

8.

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

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

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


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

9.

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

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

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


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

10.

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

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

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


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

11.

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

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

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


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

12.

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

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

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


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

13.

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

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

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

14.

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

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

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


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

15.

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

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

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

16.

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

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

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

17.

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

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

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

18.

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

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

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

19.

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

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

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

20.

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

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

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

 1-20    21-29 
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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