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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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


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

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

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

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

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

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

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




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

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

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




Новые поступления (книга в стадии обработки)
   
    Многозначные и многомерные булевы и небулевы алгебры логики А. В. Короткова и пифагорофы числа в искусственном интеллекте и криптографических системах [Текст] : монография / А. В. Коротков [и др.]. - Новочеркасск : Издательство "НОК", 2011. - 481, [1] с. : фото, ил. - (Семимерная парадигма А. В. Короткова в информатике, искусственном интеллекте и когнитологии ; вып. 1). - Библиогр. в конце ст. - ISBN 978-5-8431-0211-1 : 230.00 р.
УДК

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

   вычислительная техника--искусственный интеллект


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


Доп. точки доступа:
Коротков, Анатолий Васильевич
Мешков, Владимир Евгеньевич
Чураков, Вадим Сергеевич
Бабкина, Татьяна Александровна

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

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

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

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

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

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

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

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

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


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

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

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

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


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

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

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

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

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

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

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

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

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

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


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

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

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

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


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

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

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

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

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

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

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


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