Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Библиотечная БД - результаты поиска

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

Область поиска

в найденном

Найдено в других БД:

Учебно-методические пособия (1)

Выпускные квалификационные работы (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=математическая логика<.>)

Общее количество найденных документов : 27
Показаны документы с 1 по 10

1-10 11-20 21-27

   87я7
   Н 53

    Непейвода, Н. Н.
    Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.

УДК

510.6(075)

ББК 87.4я7 + 87.41я7 + 87.42я7
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ
МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы

Экземпляры всего: 3
ООЛ (3)
Свободны: ООЛ (3)
Найти похожие

   519(075)
   Я 79

    Ярыгин, А. Н.
    Лекции и задачи по дискретной математике [Текст] : (от теории к алгоритмам) : учебное пособие для вузов / А. Н. Ярыгин, О. Н. Ярыгин. - Старый Оскол : ТНТ, 2012. - 391, [3] с. : ил., табл. - Библиогр.: с. 389-391. - ISBN 978-5-94178-310-6 (в пер.) : 385.20 р.

ГРНТИ	27.45
УДК	519(075)	519.1(075)

Рубрики: ДИСКРЕТНАЯ МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
теория множеств -- математическая логика -- комбинаторика -- теория чисел -- диофантовы уравнения -- теория графов

Доп.точки доступа:
Ярыгин, О. Н.
Экземпляры всего: 5
ОХиИФ (1), ООЛ (4)
Свободны: ОХиИФ (1), ООЛ (4)
Найти похожие

   519(075)
   П 82

    Просветов, Г. И.
    Дискретная математика : задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2015. - 238, [2] с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 253.00 р.

ГРНТИ	27.45
УДК	519.1(075)

Рубрики: ДИСКРЕТНАЯ МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
математическая логика -- алгебраические системы -- теория кодирования -- комбинаторика -- теория графов

Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

510.6
Б 90

Булос, Дж.
Вычислимость и логика [Text] / Булос, Дж., Джеффри, Р. ; ред. Артемов С.Н. - М. : Мир, 1994. - 396 с. : ил. - Указ. имен. и предм.:с.388-394. - ISBN 5-03-003067-0 : 6500-00 р.

УДК

510.6

Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
Математическая логика

Доп.точки доступа:
Джеффри, Р.; Артемов С.Н. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

681.3
Л 69

Логический подход к искусственному интеллекту [Text] : от модальной логики к логике баз данных / Тейз, А. [et al.] ; пер., ред. Гаврилов, Г.П. - М. : Мир, 1998. - 496 с. : ил., табл. - Библиогр.: с. 471-486. - ISBN 5-03-002519-7 (рус.). - ISBN 02-04-018757- Х(франц.) : 30-00 р.

УДК

681.3

519.76

Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ
КИБЕРНЕТИКА--ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Кл.слова (ненормированные):
Искусственный интеллект -- Математическая логика -- Логическое программирование -- Программирование -- Базы данных -- Семантика Монтегю -- Модальная логика -- Логические языки -- Языки логические (математика) -- Естественные языки -- Формальные языки -- Временная логика

Доп.точки доступа:
Тейз, А.; Грибомон, П.; Юлен, Г.; Пирот, А.; Ролан, Д.; Снайерс, Д.; Гаврилов, Г.П. \пер., ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

519.7
М 34

Математические вопросы кибернетики [Text] : сб. ст. / ред. С.В. Яблонский. - М. : Наука: Физматлит, 1998 - .
Вып.7. - 368 с. : ил., табл., схемы. - Библиогр. в конце ст.- Содерж. предыдущих вып.: с.364-368. - ISBN 5-02-015121-1 (В пер.) : 35-00 р.

УДК

519.7

51(092)

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормированные):
Математическая кибернетика -- Кибернетика -- Математическая логика -- Алгоритмы -- Управляющие системы -- Программирование -- Семинары -- Межгосударственные семинары -- Конференции -- Международные конференции

Доп.точки доступа:
Яблонский, С.В. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

519.1(075)
Г 67

Горбатов, В. А.
Фундаментальные основы дискретной математики. Информационная математика [Текст] : учебник для втузов / Горбатов, В. А. - М. : Наука : Физматлит, 1999. - 544 с. : ил., табл. - Библиогр.: с. 533-535.- Предм. указ.: с. 536-540. - ISBN 5-02-015238-2 (в пер.) : 165-00 р.

УДК

519.1(075)

519.76(075)

Рубрики: МАТЕМАТИКА--ТЕОРИЯ ГРАФОВ--МАТЕМАТИЧЕСКАЯ ТЕОРИЯ ИНФОРМАЦИИ
Кл.слова (ненормированные):
характеризационный анализ -- анализ характеризационный -- дискретная математика -- теория графов -- теория автоматов -- информационная математика -- алгоритмы -- компьютерные арифметики -- множества -- математическая логика -- Булевы функции -- мографы -- формальные грамматики -- компьютерно-информационная математика

Экземпляры всего: 12
ОХиИФ (1), ООЛ (11)
Свободны: ОХиИФ (1), ООЛ (11)
Найти похожие

510(075)
В 31

   Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - .
   Ч. 1 : Начала теории множеств. - 128 с. : ил. - Библиогр.: с. 121-122.- Предм. указ.: с. 123-126.- Указ. имен: с. 127. - ISBN 5-900916-36-7 : 25-00 р.
На обл. авт. не указ.

УДК

510(075)

519.5(075)

510(075)

Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- математическая логика -- множества (математика) -- Кантора теорема -- Рамсея теорема -- Цермело теорема

Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

519.7(06)
М 34

Математические вопросы кибернетики [Text] : [сборник статей] / ред. О.Б. Лупанов, сост. Н. А. Карпова, сост. О. С. Кулагина, сост. Ю. И. Янов. - М. : ФИЗМАТЛИТ, 2000 - .
Вып. 9 / сост.: Н. А. Карпова, О. С. Кулагина, Ю. И. Янов. - 272 с. : ил. - Библиогр. в конце ст. - ISBN 5-9221-0070-Х (в пер.) : 30-00 р.

УДК

519.7(06)

51(092)

519.1(06)

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормированные):
математика -- дискретная математика -- математическая логика -- теория программирования -- математическая кибернетика

Доп.точки доступа:
Лупанов, О.Б. \ред.\; Карпова, Н. А. \сост.\; Кулагина, О. С. \сост.\; Янов, Ю. И. \сост.\
Экземпляры всего: 2
КХ (1), НТА (1)
Свободны: КХ (1), НТА (1)
Найти похожие

10.

519.1(075)
М 82

Москинова, Г. И.
Дискретная математика [Text] : математика для менеджера в примерах и упражнениях : учеб. пособие для вузов / Москинова, Г. И. - М. : Логос, 2004. - 238 с. : ил. - (Учебник ХХI века). - Библиогр.: с. 236. - ISBN 5-94010-016-3 (в пер.) : 135-00 р.

УДК

519.1(075)

519.17(075)

519.5(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
дискретная математика -- теория множеств -- отношения -- математическая логика -- теория графов

Экземпляры всего: 5
ЧЗ¦1 (1), КХ (1), НТА (3)
Свободны: ЧЗ¦1 (1), КХ (1), НТА (3)
Найти похожие

1-10 11-20 21-27

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)