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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 621-52/Х 45
Автор(ы) : Хилтон А. М.
Заглавие : Логика и цепи переключения : научное издание
Выходные данные : М.; Л.: Госэнергоиздат, 1962
Колич.характеристики :88 с.: ил.; 20 см
Серия: Б-ка по автоматике; вып. 55
Примечания : Библиогр.: с. 77-80
Цена : 0.44 р.
УДК : 621-52
Ключевые слова (''Своб.индексиров.''): вычислительные машины--развитие логики--символическая логика--алгебра логики--классы множеств
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 51/Ш 65
Автор(ы) : Шиханович Ю. А.
Заглавие : Введение в современную математику : начальные понятия
Выходные данные : М.: Наука, 1965
Колич.характеристики :376 с.: ил.; 20 см
Примечания : Библиогр.: с. 367-368 (22 назв.)
Цена : 1.00 р.
ГРНТИ : 27.01
УДК : 51
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): множество--кортеж--алгебра логики--логические союзы--функция
Аннотация: В книге излагаются такие понятия, как "множество", "кортеж", "соответствие", "функция", "отношение". Наряду с ними в книге излагаются и элементы математического языка: разбираются понятия переменной, операции над высказываниями и т. д.
Найти похожие
3.

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

Вид документа : Однотомное издание
Шифр издания : 517/Е 92
Автор(ы) : Ефремов Г. О.
Заглавие : Алгебра логики и контактные схемы
Выходные данные : М.: Изд-во "Знание", 1969
Колич.характеристики :32 с.: ил., табл.; 21 см
Серия: Новое в жизни, науке, технике. Математика, кибернетика; Вып. 6
Примечания : Библиогр.: с. 32
Цена : 0.06 р.
УДК : 510.6+62-507
Ключевые слова (''Своб.индексиров.''): алгебра--методы минимизации--контактные схемы--алгебра логики--матрица карно
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 62-50/К 26
Автор(ы) : Карповский М. Г., Москалев Э. С.
Заглавие : Спектральные методы анализа и синтеза дискретных устройств : научное издание
Выходные данные : Л.: Энергия, 1973
Колич.характеристики :144 с.: ил., рис., табл.; 20 см
Серия: Б-ка по автоматике; вып. 507
Примечания : Библиогр.: с. 136-140
Цена : 0.40 р.
ГРНТИ : 50.09
УДК : 62-501
Предметные рубрики: Автоматика-- Устройства автоматики
Ключевые слова (''Своб.индексиров.''): спектральные преобразования--алгебра логики--ортогональные функции--спектральные методы--булевые функции--линеаризация систем--многозначные элементы--дискретные устройства
Аннотация: Посвящена методам анализа и синтеза дискретных устройств с помощью аппарата теории ортогональных рядов. Развивается единый, во многом аналогичный используемому в теории систем автоматического регулирования, подход к задачам проектирования дискретных устройств как с двумя, так и со многими устойчивыми состояниями.
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 62-50/Ч-65
Автор(ы) : Чирков М. К.
Заглавие : Основы общей теории конечных автоматов : научное издание
Выходные данные : Л.: Изд-во Ленингр. ун-та, 1975
Колич.характеристики :280 с.: ил.; 21 см
Коллективы : Ленинградский гос. ун-т
Примечания : Библиогр.: с. 271-272
Цена : 1.64 р.
ГРНТИ : 50.03
УДК : 62-50
Предметные рубрики: Автоматика-- Теория автоматического управления
Ключевые слова (''Своб.индексиров.''): алгебра логики--структурный анализ--синтез автоматов--конечные автоматы--детерминированные автоматы--элементарные функции
Аннотация: Содержание книги охватывает вопросы абстрактной и структурной теории вполне определенных и не полностью определенных (частичных) вероятностных конечных автоматов и их частного случая - детерминированных конечных автоматов.
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Е 80
Автор(ы) : Ершов А. П.
Заглавие : Введение в теоретическое программирование (беседы о методе) : учеб. пособие
Выходные данные : М.: Наука, 1977
Колич.характеристики :288 с.: ил.; 20см
Цена : 0.80 р.
ГРНТИ : 27.47.19.01.33
УДК : 519.81(075)
ББК : 518
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): математическая кибернетика--математика--алгоритмизация--алгебра логики
Аннотация: Книга представляет собой цикл лекций, написанных в виде беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это-задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. Книга рассчитана на студентов вузов.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Я 14
Автор(ы) : Яблонский С. В.
Заглавие : Введение в дискретную математику : учеб. пособие
Выходные данные : М.: Наука, 1979
Колич.характеристики :272 с.: ил.; 22 см
Примечания : Библиогр.: с. 266-267 (32 назв.). - Гриф: допущено М-вом высш. и сред. спец. образования СССР в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика"
Цена : 0.85 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.4(075)
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): алгебра логики--теория кодирования--сети--вычисляемые функции--машинные коды
Аннотация: Книга является введением в дискретную математику - раздел прикладной математики, бурно развивающийся в последние годы и являющийся базой для математической кибернетики. Она написана на основе курса лекций.
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 519/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера
Выходные данные : М.: Энергия, 1980
Колич.характеристики :344 с.: ил.; 21см
Цена : 1.40 р.
ГРНТИ : 27.41.41
УДК : 519.1
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): функции--булевы алгебры--теория алгоритмов--предикаты--математика--алгебра--комбинаторный анализ--комбинаторика--теория автоматов--теория графов--дискретная математика--теория множеств--алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики.
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Я 14
Автор(ы) : Яблонский С. В.
Заглавие : Введение в дискретную математику : учеб. пособие для вузов . -2-е изд., перераб. и доп.
Выходные данные : М.: Наука, 1986
Колич.характеристики :384 с.: ил.; 20см
Примечания : Библиогр.:с.370-372. - Предм.указ.:с.373-379
Цена : 0.95 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.18
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): комбинаторный анализ--алгебра логики--к-значные логики--детерминированные функции--вычислимые функции--графы--сети--теория кодирования--дизъюнктивные формы--синтез схем
Аннотация: Книга является введением в дискретную математику - раздел прикладной математики. Она написана на основе курса лекций автора.
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 681/К 43
Автор(ы) : Кирий В. Г.
Заглавие : Логико-вероятностные методы и средства идентификации и прогнозирования бинарных систем
Выходные данные : Иркутск: Изд-во Иркут. ун-та, 1987
Колич.характеристики :112 с.: граф., рис.; 20 см
Примечания : Библиогр.: с. 107-110 (47 назв.)
Цена : 0.65 р.
ГРНТИ : 50.09
УДК : 681.51.01:510.6
Предметные рубрики: Автоматика-- Устройства автоматики
Ключевые слова (''Своб.индексиров.''): алгебра событий--теория вероятностей--алгебра логики--вероятностная логика--стохастическое представление событий--дискретные системы
Аннотация: В монографии излагаются логико-вероятностные методы построения моделей бинарных стохастических объектов, даются алгоритмы прогнозирования двоичных случайных последовательностей и марковских цепей с оценкой точности прогноза.
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 681.3/П 64
Автор(ы) : Потемкин И. С.
Заглавие : Функциональные узлы цифровой автоматики
Выходные данные : М.: Энергоатомиздат, 1988
Колич.характеристики :320 с.: ил.; 21 см
Примечания : Библиогр.: с. 316-318
ISBN, Цена 5-283-01478-9: 1.40 р.
ГРНТИ : 50.33
УДК : 681.322
ББК : 32.965
Предметные рубрики: Вычислительная техника-- Архитектура вычислительных машин
Ключевые слова (''Своб.индексиров.''): цифровая автоматика--функциональные узлы--алгебра логики--формулы--логическое проектирование--кодирование--преобразователи кодов--сумматоры--перехват информации--двоичный код--регистры--счисление чисел--автоматы
Аннотация: В книге рассмотрены основные функциональные узлы цифровой автоматики: триггеры, регистры, счетчики, мультиплексоры, ПЛМ, сумматоры, схемы контроля и т. п. Приведены принцип работы, варианты функциональных схем, примеры микросхем, реализующих узел, области применения. Особое внимание уделено системам синхронизации и способам задания и обеспечения таких временных параметров, при которых сбои из-за состязаний отсутствуют.
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 519/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера . -2-е изд., перераб. и доп.
Выходные данные : М.: Энергоатомиздат, 1988
Колич.характеристики :480 с.: ил.; 21см
ISBN, Цена 5-283-01563-7: 1.80 р.
ГРНТИ : 27.41.41
УДК : 519.1
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): функции--булевы алгебры--теория алгоритмов--предикаты--математика--алгебра--комбинаторный анализ--линейное программирование--комбинаторика--теория автоматов--теория графов--дискретная математика--теория множеств--алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики. По сравнению с изданием 1980 г. переработана глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию.
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 32.813я73
Автор(ы) : Горелик, Александр Леопольдович, Скрипник В. А.
Заглавие : Методы распознавания : учебное пособие для вузов
Выходные данные : Москва: Высшая школа, 1989
Колич.характеристики :232 с.: рис
Примечания : Библиогр.: с. 219 - 220 (38 назв.)
Цена : 0.55 р.
ББК : 32.813я73
Предметные рубрики: Вычислительная техника-- Элементы и узлы микро-ЭВМ
Ключевые слова (''Своб.индексиров.''): алгебра логики--вычислительные методы--математическое моделирование--обучающие системы--распознавание образов--учебные пособия
Аннотация: В книге излагаются основные методы распознавания объектов и явлений ; особое внимание уделяется вопросам применения теории статистических решений и методов алгебры логики для конструирования алгоритмов распознавания, построению признакового пространства систем в условиях соответствующих ограничений, обучению и самообучению систем распознавания, оптимизации процесса распознавания, оценке эффективности систем распознавания на основе методов математического моделирования.
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Б 74
Автор(ы) : Богомолов А. М., Сытник А. А., Твердохлебов В. А.
Заглавие : Автоматные модели и рекурсивный конструктивизм : учеб. пособие для студ. мех.-матем. фак. и фак. прикл. матем. ун-тов
Выходные данные : Саратов: Изд-во Сарат. ун-та, 1992
Колич.характеристики :72 с. ; 21см
ISBN, Цена 5-292-01592-Х: 18.00 р.
ГРНТИ : 27.47.01.33
УДК : 519.713+681.511.015
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): теория автоматов--алгебра логики--эквивалентность--формулы--рекурсия--рекурсивный конструктивизм
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 191754
612.82:62-50+51.01/В 67
Автор(ы) : Волгин, Леонид Иванович
Заглавие : Комплементарная алгебра и моделирование нейронных структур : научное издание
Параллельн. заглавия :Complementary Algebra and Simulation of Neural Structures
Выходные данные : Таллинн: АО "KLTK", 1993
Колич.характеристики :47 с.: ил.
Примечания : Библиогр.
Цена : 40.00 р.
УДК : 612.82:007 + 512.6
Предметные рубрики: медицина-- физиология
математика-- алгебра
Ключевые слова (''Своб.индексиров.''): нейробионика--нейронные сети--нервные сети--булева алгебра--многозначные логики--математическая логика--математическое моделирование--комплементарная алгебра--алгебра логики
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 810715
087.1:51/М 13
Автор(ы) : Мадер, Виктор Викторович
Заглавие : Школьнику об алгебре логики : кн. для внеклас. чтения учащихся 10-11 кл. ср. шк.
Выходные данные : Москва: Просвещение, 1993
Колич.характеристики :128 с.: ил.
Серия: Мир знаний
ISBN, Цена 5-09-003544-X: 204.00 р.
УДК : 512.563.6(075.3):087.5
Предметные рубрики: математика-- алгебра
Ключевые слова (''Своб.индексиров.''): алгебра логики
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 681.3/Б 41
Автор(ы) : Бейбер Р. Л.
Заглавие : Программное обеспечение без ошибок : приемы и секреты создания правильных программ
Выходные данные : М.: Джон Уайли энд Санз; Радио и связь, 1996
Колич.характеристики :176 с.: ил.; 21см
ISBN, Цена 5881820037: 25.00 р.
ГРНТИ : 50.41
УДК : 681.3.06:519.6
ББК : 32.973.202
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): программирование--программное обеспечение--корректная программа--машинная математика--алгебра логики
Аннотация: Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Акцентируется внимание на практических аспектах решения данной проблемы, избавляя создателей программного обеспечения от долгих и скрупулезных доказательств, благодаря которым нужный результат может быть достигнут относительно простыми средствами. Для программистов.
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 944912
51.01/Ф 86
Автор(ы) : Фреге, Готлоб
Заглавие : Избранные работы : научное издание
Выходные данные : Москва: Дом интеллектуал. кн., 1997
Колич.характеристики :160 с
ISBN, Цена 5-7333-0435-9: 14.00 р.
УДК : 510.6(081)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логическое исследование--алгебра логики
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Л 65
Автор(ы) : Лихтарников Л. М.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие для студ. вузов, обучающихся по математическим спец.
Выходные данные : СПб.: Лань, 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
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)