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

Базы данных


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

Вид поиска
Библиотечная БД
Имидж-каталог
Учебно-методические пособия
Выпускные квалификационные работы
Учебно-методоческие издания
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6(075)<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.    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)
Найти похожие
2. 519.1(075)
Я 14

    Яблонский, С. В.
    Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 3-е изд., стер. - М. : Высш. шк., 2001. - 384 с. : ил., табл. - (Высшая математика / Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372.-Предм. указ.: с. 373-379. - ISBN 5-06-003951-Х (в пер.) : 65.00 ; 66.00 р.
УДК
519.1(075)
510.6(075)
Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика

Экземпляры всего: 17
ОХиИФ (1), ООЛ (16)
Свободны: ОХиИФ (1), ООЛ (16)
Найти похожие
3. 519.1(075)
Я 14

    Яблонский, С. В.
    Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 4-е изд., стер. - М. : Высш. шк., 2003. - 384 с. : ил., табл. - (Высшая математика / Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372. - Предм. указ.: с. 373-379. - ISBN 5-06-004681-8 (в пер.) : 133.00 р., 154.50 р.
УДК
519.1(075)
510.6(075)
Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика

Экземпляры всего: 5
ЧЗ№1 (1), ООЛ (4)
Свободны: ЧЗ№1 (1), ООЛ (4)
Найти похожие
4. 519.1(075)
Я 14

    Яблонский, С. В.
    Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 3-е изд., стер. - М. : Высш. шк., 2002. - 384 с. : ил., табл. - (Высшая математика /Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372.-Предм. указ.: с. 373-379. - ISBN 5-06-003951-Х (в пер.) : 133.00 ; 120.00 ; 90.00 ; 86.00 ; 130.00 р.
УДК
519.1(075)
510.6(075)
Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика

Экземпляры всего: 5
ОХиИФ (1), ООЛ (4)
Свободны: ОХиИФ (1), ООЛ (4)
Найти похожие
5. 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)
Найти похожие
6. 519.5(075)
Л 13

    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов [Text] : [учеб. пособие для вузов] / Лавров И. А., Максимова Л. Л. - Изд. 5-е, испр. - М. : Физматлит, 2009. - 255 с. - Библиогр. : с.248-249. - Предм. указ. : с. 250-255. - ISBN 978-5-9221-00 26-7 : 170-00 р.
УДК
519.5(075)
510.6(075)
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов


Доп.точки доступа:
Максимова, Л. Л.
Экземпляры всего: 59
ОХиИФ (1), ООНЛ (3), ООУЛ (55)
Свободны: ОХиИФ (1), ООНЛ (3), ООУЛ (55)
Найти похожие
7. 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)
Найти похожие
8.    658.7(075)
   П 82

    Просветов, Г. И.
    Математические методы в логистике [Текст] : задачи и решения : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2012. - 302, [2] с. : ил., табл. - ISBN 978-5-94280-298-1 : 89.00 р.
ГРНТИ
81.88
27.03
УДК
658.7(075)
510.6(075)
Рубрики: ЛОГИСТИКА
Кл.слова (ненормированные):
математические методы -- транспортная задача -- принятие решений -- сетевое планирование -- статистический контроль -- контроль качества -- перевозки

Экземпляры всего: 15
ОХиИФ (1), ООЛ (14)
Свободны: ОХиИФ (1), ООЛ (14)
Найти похожие
9.    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)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)