87я7 Н 53 Непейвода, Н. Н. Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ Кл.слова (ненормированные): прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы Экземпляры всего: 3 ООЛ (3) Свободны: ООЛ (3) |
519(075) Я 79 Ярыгин, А. Н. Лекции и задачи по дискретной математике [Текст] : (от теории к алгоритмам) : учебное пособие для вузов / А. Н. Ярыгин, О. Н. Ярыгин. - Старый Оскол : ТНТ, 2012. - 391, [3] с. : ил., табл. - Библиогр.: с. 389-391. - ISBN 978-5-94178-310-6 (в пер.) : 385.20 р.
Кл.слова (ненормированные): теория множеств -- математическая логика -- комбинаторика -- теория чисел -- диофантовы уравнения -- теория графов Доп.точки доступа: Ярыгин, О. Н. Экземпляры всего: 5 ОХиИФ (1), ООЛ (4) Свободны: ОХиИФ (1), ООЛ (4) |
519(075) П 82 Просветов, Г. И. Дискретная математика : задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2015. - 238, [2] с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 253.00 р.
Кл.слова (ненормированные): математическая логика -- алгебраические системы -- теория кодирования -- комбинаторика -- теория графов Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
510.6 Б 90 Булос, Дж. Вычислимость и логика [Text] / Булос, Дж., Джеффри, Р. ; ред. Артемов С.Н. - М. : Мир, 1994. - 396 с. : ил. - Указ. имен. и предм.:с.388-394. - ISBN 5-03-003067-0 : 6500-00 р.
Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Джеффри, Р.; Артемов С.Н. \ред.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
681.3 Л 69 Логический подход к искусственному интеллекту [Text] : от модальной логики к логике баз данных / Тейз, А. [et al.] ; пер., ред. Гаврилов, Г.П. - М. : Мир, 1998. - 496 с. : ил., табл. - Библиогр.: с. 471-486. - ISBN 5-03-002519-7 (рус.). - ISBN 02-04-018757- Х(франц.) : 30-00 р.
КИБЕРНЕТИКА--ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Кл.слова (ненормированные): Искусственный интеллект -- Математическая логика -- Логическое программирование -- Программирование -- Базы данных -- Семантика Монтегю -- Модальная логика -- Логические языки -- Языки логические (математика) -- Естественные языки -- Формальные языки -- Временная логика Доп.точки доступа: Тейз, А.; Грибомон, П.; Юлен, Г.; Пирот, А.; Ролан, Д.; Снайерс, Д.; Гаврилов, Г.П. \пер., ред.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
519.7 М 34 Математические вопросы кибернетики [Text] : сб. ст. / ред. С.В. Яблонский. - М. : Наука: Физматлит, 1998 - . Вып.7. - 368 с. : ил., табл., схемы. - Библиогр. в конце ст.- Содерж. предыдущих вып.: с.364-368. - ISBN 5-02-015121-1 (В пер.) : 35-00 р.
Кл.слова (ненормированные): Математическая кибернетика -- Кибернетика -- Математическая логика -- Алгоритмы -- Управляющие системы -- Программирование -- Семинары -- Межгосударственные семинары -- Конференции -- Международные конференции Доп.точки доступа: Яблонский, С.В. \ред.\ Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
519.1(075) Г 67 Горбатов, В. А. Фундаментальные основы дискретной математики. Информационная математика [Текст] : учебник для втузов / Горбатов, В. А. - М. : Наука : Физматлит, 1999. - 544 с. : ил., табл. - Библиогр.: с. 533-535.- Предм. указ.: с. 536-540. - ISBN 5-02-015238-2 (в пер.) : 165-00 р.
Кл.слова (ненормированные): характеризационный анализ -- анализ характеризационный -- дискретная математика -- теория графов -- теория автоматов -- информационная математика -- алгоритмы -- компьютерные арифметики -- множества -- математическая логика -- Булевы функции -- мографы -- формальные грамматики -- компьютерно-информационная математика Экземпляры всего: 12 ОХиИФ (1), ООЛ (11) Свободны: ОХиИФ (1), ООЛ (11) |
510(075) В 31 Верещагин, Н. К. Лекции по математической логике и теории алгоритмов [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - . Ч. 1 : Начала теории множеств. - 128 с. : ил. - Библиогр.: с. 121-122.- Предм. указ.: с. 123-126.- Указ. имен: с. 127. - ISBN 5-900916-36-7 : 25-00 р. На обл. авт. не указ.
Кл.слова (ненормированные): теория множеств -- математическая логика -- множества (математика) -- Кантора теорема -- Рамсея теорема -- Цермело теорема Доп.точки доступа: Шень, А. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
519.7(06) М 34 Математические вопросы кибернетики [Text] : [сборник статей] / ред. О.Б. Лупанов, сост. Н. А. Карпова, сост. О. С. Кулагина, сост. Ю. И. Янов. - М. : ФИЗМАТЛИТ, 2000 - . Вып. 9 / сост.: Н. А. Карпова, О. С. Кулагина, Ю. И. Янов. - 272 с. : ил. - Библиогр. в конце ст. - ISBN 5-9221-0070-Х (в пер.) : 30-00 р.
Кл.слова (ненормированные): математика -- дискретная математика -- математическая логика -- теория программирования -- математическая кибернетика Доп.точки доступа: Лупанов, О.Б. \ред.\; Карпова, Н. А. \сост.\; Кулагина, О. С. \сост.\; Янов, Ю. И. \сост.\ Экземпляры всего: 2 КХ (1), НТА (1) Свободны: КХ (1), НТА (1) |
519.1(075) М 82 Москинова, Г. И. Дискретная математика [Text] : математика для менеджера в примерах и упражнениях : учеб. пособие для вузов / Москинова, Г. И. - М. : Логос, 2004. - 238 с. : ил. - (Учебник ХХI века). - Библиогр.: с. 236. - ISBN 5-94010-016-3 (в пер.) : 135-00 р.
Кл.слова (ненормированные): дискретная математика -- теория множеств -- отношения -- математическая логика -- теория графов Экземпляры всего: 5 ЧЗ¦1 (1), КХ (1), НТА (3) Свободны: ЧЗ¦1 (1), КХ (1), НТА (3) |
519.1(075) А 90 Асеев, Г. Г. Дискретная математика [Text] : учеб. пособие [для вузов] / Асеев, Г. Г., Абрамов, О. М., Ситников, Д. Э. - Ростов-на-Дону : Феникс ; Харьков :Торсинг, 2003. - 141 с. : ил. - (Учебники). - Библиогр.: с. 138-139. - Алф. указ.: с. 140-142. - ISBN 5-222-03775-4 (в пер.). - ISBN 966-693-257-1 : 50-00 р.
Кл.слова (ненормированные): дискретная математика -- математическая логика -- комбинаторика -- теория графов Доп.точки доступа: Абрамов, О. М.; Ситников, Д. Э. Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
510.6 В 31 Верещагин, Н. К. [Лекции по математической логике и теории алгоритмов] [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - . Ч. 3 : Вычислимые функции. - 173 с. : ил. - (Современные лекционные курсы). - Библиогр.: с. 166-167. - Предм. указ.: с. 168-173. - Указ. имен: с. 174. - ISBN 5-900916-39-1 : 35-00 р.
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- вычислимые функции -- вычислимость -- разрешимость -- нумерации -- Тьюринга машины -- функции рекурсивные Доп.точки доступа: Шень, А. Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
519.1(075) П П 39 Плотников, А. Д. Дискретная математика [Text] : учеб. пособие [для вузов] / Плотников, А. Д. - М. : Новое знание, 2005. - 287 с. : ил., табл. - Библиогр.: с. 278-279. - Предм. указ.: с. 280-283. - ISBN 5-94735-073-4 : 230-00 р.
Кл.слова (ненормированные): дискретная математика -- теория множеств -- теория графов -- алгебраические системы -- математическая логика -- Булевы функции -- комбинаторика -- алгоритмы -- комбинаторные задачи Экземпляры всего: 1 Каф. ПММ (1) Свободны: Каф. ПММ (1) |
519.1(075) А 39 Акимов, О. Е. Дискретная математика [Text] : логика, группы, графы, фракталы : [учеб. пособие] / Акимов, О. Е. - М. : Изд. Акимов, 2005. - 655 с. : ил., табл. - Библиогр.: с. 649-650. - ISBN 5-9900342-1-0 (в пер.) : 209-00 р.
Кл.слова (ненормированные): дискретная математика -- математическая логика -- группы -- графы -- фракталы -- конструктивизм Экземпляры всего: 1 КХ (1) Свободны: КХ (1) |
519.1(075) С 54 Соболева, Т. С. Дискретная математика [Text] : учебник для вузов / Соболева, Т. С., Чечкин, А. В. - М. : Академия, 2006. - 254 с. : ил., табл. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 252. - ISBN 5-7695-2823-0 (в пер.) : 199-00 р.
Кл.слова (ненормированные): дискретная математика -- теория множеств -- теория графов -- алгебры -- топология -- Булевы функции -- математическая логика -- математическая кибернетика -- математическая информатика Доп.точки доступа: Чечкин, А. В. Экземпляры всего: 1 ОХФ (1) Свободны: ОХФ (1) |
519.5(075) Л 13 Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Text] : [учеб. пособие для вузов] / Лавров И. А., Максимова Л. Л. - Изд. 5-е, испр. - М. : Физматлит, 2009. - 255 с. - Библиогр. : с.248-249. - Предм. указ. : с. 250-255. - ISBN 978-5-9221-00 26-7 : 170-00 р.
Кл.слова (ненормированные): теория множеств -- математическая логика -- теория алгоритмов Доп.точки доступа: Максимова, Л. Л. Экземпляры всего: 59 ОХиИФ (1), ООНЛ (3), ООУЛ (55) Свободны: ОХиИФ (1), ООНЛ (3), ООУЛ (55) |
519.1(075) М 82 Москинова, Г. И. Дискретная математика [Text] : математика для менеджера в примерах и упражнениях : учеб. пособие для вузов / Москинова, Г. И. - М. : Логос, 2003. - 238 с. : ил. - (Учебник ХХI века). - Библиогр.: с. 236. - ISBN 5-94010-016-3 (в пер.) : 111-15 р.
Кл.слова (ненормированные): дискретная математика -- теория множеств -- отношения -- математическая логика -- теория графов Экземпляры всего: 15 ООУЛ (14), ООНЛ (1) Свободны: ООУЛ (14), ООНЛ (1) |
519(075) Г 65 Гончарова, Г. А. Элементы дискретной математики [Text] : учеб. пособие для среднего проф. образования / Гончарова, Г. А., Мочалин, А. А. - М. : Форум : Инфра-М, 2003. - 125 с. : ил., табл. - (Профессиональное образование). - Библиогр.: с. 125. - ISBN 5-8199-0059-6. - ISBN 5-16-001154-4 : 40-00 р.
Кл.слова (ненормированные): дискретная математика -- математическая логика -- теория множеств -- предикаты -- теория графов Доп.точки доступа: Мочалин, А. А. Экземпляры всего: 2 ОХФ (2) Свободны: ОХФ (2) |
519(075) Н 58 Нефедов, В. Н. Курс дискретной математики [Text] : учеб. пособие для вузов / Нефедов В. Н., Осипова В. А. - Магадан : [Изд-во МАИ], 2009. - 262 с. : ил. - Библиогр.: с.261. - ISBN 978-5-244-002 95-9 : 185.00 р., 180.00 р.
Кл.слова (ненормированные): дискретная математика -- математическая логика -- комбинаторика -- теория графов Доп.точки доступа: Осипова, В. А. Экземпляры всего: 30 ОХиИФ (1), ООЛ (29) Свободны: ОХиИФ (1), ООЛ (29) |
51(075) С 54 Соболев, А. Б. Математика [Text] : курс лекций для техн. вузов : учеб. пособие : в 2-х кн. / А. Б. Соболев, А. Ф. Рыбалко. - М. : Академия, 2009 - . Кн. 1. - 407 с. : ил. - (Высшее профессиональное образование) (Естественные науки). - Библиогр.: с. 408. - ISBN 978-5-7695-64 00-0 (в пер.) : 230-75 р.
Кл.слова (ненормированные): определители -- матрицы -- линейные уравнения -- дифференциальные уравнения -- линейные дифференциальные уравнения -- системы уравнений -- векторная алгебра -- аналитическая геометрия -- теория множеств -- математическая логика -- числовые последовательности -- производные -- дифференциалы -- Лопиталя-Бернулли правило -- Тейлора формула -- исследование функций -- комплексные числа -- многочлены -- неопределенные интегралы -- определенные интегралы Доп.точки доступа: Рыбалко, А. Ф. Экземпляры всего: 9 ОХиИФ (1), ООНЛ (1), ООУЛ (7) Свободны: ОХиИФ (1), ООНЛ (1), ООУЛ (7) |