Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Библиотечная БД
Имидж-каталог
Учебно-методические пособия
Выпускные квалификационные работы
Учебно-методоческие издания
Область поиска
в найденном
 Найдено в других БД:Учебно-методические пособия (1)Выпускные квалификационные работы (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Математическая логика<.>)
Общее количество найденных документов : 27
Показаны документы с 1 по 10
 1-10    11-20   21-27 
1. 519.1(075)
А 39

    Акимов, О. Е.
    Дискретная математика [Text] : логика, группы, графы, фракталы : [учеб. пособие] / Акимов, О. Е. - М. : Изд. Акимов, 2005. - 655 с. : ил., табл. - Библиогр.: с. 649-650. - ISBN 5-9900342-1-0 (в пер.) : 209-00 р.
УДК
519.1(075)
519.17(075)
510.6(075)
Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ--ТЕОРИЯ ГРАФОВ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- группы -- графы -- фракталы -- конструктивизм

Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
2. 519.1(075)
А 90

    Асеев, Г. Г.
    Дискретная математика [Text] : учеб. пособие [для вузов] / Асеев, Г. Г., Абрамов, О. М., Ситников, Д. Э. - Ростов-на-Дону : Феникс ; Харьков :Торсинг, 2003. - 141 с. : ил. - (Учебники). - Библиогр.: с. 138-139. - Алф. указ.: с. 140-142. - ISBN 5-222-03775-4 (в пер.). - ISBN 966-693-257-1 : 50-00 р.
УДК
519.1(075)
Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- комбинаторика -- теория графов


Доп.точки доступа:
Абрамов, О. М.; Ситников, Д. Э.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
3. 510.6
Б 90

    Булос, Дж.
    Вычислимость и логика [Text] / Булос, Дж., Джеффри, Р. ; ред. Артемов С.Н. - М. : Мир, 1994. - 396 с. : ил. - Указ. имен. и предм.:с.388-394. - ISBN 5-03-003067-0 : 6500-00 р.
УДК
510.6
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
Математическая логика


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

   Верещагин, Н. К.
    [Лекции по математической логике и теории алгоритмов] [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - .
   Ч. 3 : Вычислимые функции. - 173 с. : ил. - (Современные лекционные курсы). - Библиогр.: с. 166-167. - Предм. указ.: с. 168-173. - Указ. имен: с. 174. - ISBN 5-900916-39-1 : 35-00 р.
УДК
510.6
510
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- вычислимые функции -- вычислимость -- разрешимость -- нумерации -- Тьюринга машины -- функции рекурсивные


Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
5. 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)
Найти похожие
6. 519(075)
Г 65

    Гончарова, Г. А.
    Элементы дискретной математики [Text] : учеб. пособие для среднего проф. образования / Гончарова, Г. А., Мочалин, А. А. - М. : Форум : Инфра-М, 2003. - 125 с. : ил., табл. - (Профессиональное образование). - Библиогр.: с. 125. - ISBN 5-8199-0059-6. - ISBN 5-16-001154-4 : 40-00 р.
УДК
519(075)
519.1(075)
Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория множеств -- предикаты -- теория графов


Доп.точки доступа:
Мочалин, А. А.
Экземпляры всего: 2
ОХФ (2)
Свободны: ОХФ (2)
Найти похожие
7. 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)
Найти похожие
8.    510(075)
   Г 85

    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 (в пер.) : 188.50 р.
ВПО
ГРНТИ
27.03.19
УДК
510(075)
510.6(075)
510.5(075)
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--АЛГОРИТМЫ И ВЫЧИСЛИМЫЕ ФУНКЦИИ
Кл.слова (ненормированные):
теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования


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

    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов [Text] : учебное пособие для вузов / Гринченков, Д. В., Потоцкий, С. И. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-02434-8 (в пер.) : 252.00 р.
УДК
510(075)
510.6(075)
510.5(075)
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--АЛГОРИТМЫ И ВЫЧИСЛИМЫЕ ФУНКЦИИ
Кл.слова (ненормированные):
теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования


Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
10.    51(075)
   Ж 79

    Жолков, С. Ю.
    Математика и информатика для гуманитариев [Текст] : учебник для вузов / С. Ю. Жолков. - 2-е изд., испр. и доп. - Москва : Альфа-М : Инфра-М, 2005. - 527, [1] с. : рис., табл. - Библиогр.: с. 519 . - Предм. указ.: с. 520-527. - ISBN 5-98281-049-5 (в пер.). - ISBN 5-16-002380-1 : 205.00 р.
ВПО
ГРНТИ
27.01.33
УДК
51(075)
Рубрики: МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
натуральные числа -- линейная алгебра -- математический анализ -- дифференциальное исчисление -- интегральное исчисление -- математическая логика

Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
 1-10    11-20   21-27 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)