A862156-ОХФ, A865144-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : Б. и., ISSN 0568-661 X. Вып. 156 : Структурные алгоритмические свойства вычислимости. - 1996. - 152, [4] с. - Библиогр. - ISBN Б. и. : 1500.00 р.
Рубрики: математика--вычислительная математика Кл.слова (ненормированные): вычислимость -- алгебраические системы -- вещественные числа -- вычислимые функции Экземпляры всего: 2 ОХФ (2) |
Учебная литература, A865821-ОХФ, A870193-ОХФ-ЧЗ-4, A870194-ОХФ, A870195-ОХФ, A870196-ОХФ, A870197-ОХФ, Богомолов, Анатолий Михайлович. Алгебраические основы теории дискретных систем [Текст] / А. М. Богомолов, В. Н. Салий. - Москва : Наука. Физ.-мат. лит., 1997. - 367, [1] с. : ил. - Библиогр. - ISBN 5-02-015033-9 (в пер.) : 40.00 р.
Рубрики: автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): автоматические системы управления -- дискретные системы -- множества -- отношения -- алгебраические системы -- графы -- автоматы Доп. точки доступа: Салий, Вячеслав Николаевич Экземпляры всего: 11 ОХФ (5), ОХФ-ЧЗ-4 (1), ОУОЕН (5) |
A889119-ОХФ-ЧЗ-4, A889120-ОХФ-ЧЗ-4 Судоплатов, Сергей Владимирович. Элементы дискретной математики [Текст] : учеб. для студентов втузов / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-т. - Москва : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2003. - 279, [9] с. : ил. - (Высшее образование). - Библиогр.: с. 241-242 - Предм. указ.: с. 270-280. - ISBN 5-16-000957-4 (ИНФРА-М) (в пер.). - ISBN 5-7782-0332-2 (НГТУ) : 60.00 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- комбинаторика -- алгебраические системы -- алгебра логики -- графов теория Доп. точки доступа: Овчинникова, Елена Викторовна Экземпляры всего: 2 ОХФ-ЧЗ-4 (2) |
A606221-ОХФ Калимуллин, Искандер Шагитович. Алгоритмические сводимости счетных алгебраических систем [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / И. Ш. Калимуллин ; науч. консультант М. М. Арсланов ; Гос. образоват. учреждение высш. проф. образования "Казанский государственный университет имени В. И. Ульянова-Ленина", НИИММ им. Н. Г. Чеботарева, Отд. алгебры и мат. логики. - Казань : [б. и.], 2009. - 30, [1] с. - [Алгоритмические сводимости счётных алгебраических систем] . - Библиогр.: с. 27-30. - ISBN [Б. и.]
Рубрики: математика--математическая логика Кл.слова (ненормированные): перечислимость -- алгебраические системы -- алгоритмические сводимости -- счетные алгебраические системы Доп. точки доступа: Арсланов, Марат Мирзаевич Экземпляры всего: 1 ОХФ (1) |
A991157-ОХФ, A991158-ОХФ-ЧЗ-4 Дискретная математика [Текст] : учебное пособие / Федер. гос. бюджет. образоват. учреждение высш. проф. образования "Саратовский государственный социально-экономический университет", Каф. приклад. математики и информатики ; авт.-сост. В. А. Молчанов. - Саратов : СГСЭУ [изд.], 2013. - 129, [3] с. : ил. - Библиогр.: с. 128. - ISBN 978-5-4345-0215-3 : 93.00 р. Рекомендовано Учеб.-метод. об-нием в обл. экономики и менеджмента, логистики и бизнес-информатики в качестве учеб. пособия для студентов бакалавриата вузов, обучающихся по направлению подгот. 080500.62 "Бизнес-информатика"
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- множеств теория -- алгебраические системы -- алгебра логики -- комбинаторика -- графов теория -- кодирования теория Доп. точки доступа: Молчанов, Владимир Александрович Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |
A993154-ОХФ Мальцев, Иван Анатольевич. Дискретная математика [Текст] : учебное пособие / И. А. Мальцев. - 2-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2011. - 287, [15] с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 278-279 (33 назв.). - Предм. указ.: с. 280-287. - ISBN 978-5-8114-1010-1 (в пер.) : 720.00 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- комбинаторика -- алгоритмов теория -- графы -- алгебраические системы -- математическая логика Экземпляры всего: 1 ОХФ (1) |
A894050-ОХФ Гуров, Сергей Исаевич. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры [Текст] / С. И. Гуров. - Москва : КРАСАНД, 2012. - 348, [4] с. : ил., табл. - (Основы защиты информации). - [Булевы алгебры, упорядоченные множества, решётки. Определения, свойства, примеры] . - Библиогр.: с. 343-349 (106 назв.). - ISBN 978-5-396-00456-6 : 428.00 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): булева алгебра -- частично упорядоченные множества -- решетки -- бинарные отношения -- алгебраические системы Экземпляры всего: 1 ОХФ (1) |