87я7 Н 53 Непейвода, Н. Н. Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ Кл.слова (ненормированные): прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы Экземпляры всего: 3 ООЛ (3) Свободны: ООЛ (3) |
519.1(075) Я 14 Яблонский, С. В. Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 3-е изд., стер. - М. : Высш. шк., 2001. - 384 с. : ил., табл. - (Высшая математика / Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372.-Предм. указ.: с. 373-379. - ISBN 5-06-003951-Х (в пер.) : 65.00 ; 66.00 р.
Кл.слова (ненормированные): математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика Экземпляры всего: 17 ОХиИФ (1), ООЛ (16) Свободны: ОХиИФ (1), ООЛ (16) |
519.1(075) Я 14 Яблонский, С. В. Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 4-е изд., стер. - М. : Высш. шк., 2003. - 384 с. : ил., табл. - (Высшая математика / Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372. - Предм. указ.: с. 373-379. - ISBN 5-06-004681-8 (в пер.) : 133.00 р., 154.50 р.
Кл.слова (ненормированные): математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика Экземпляры всего: 5 ЧЗ№1 (1), ООЛ (4) Свободны: ЧЗ№1 (1), ООЛ (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 р.
Кл.слова (ненормированные): математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика Экземпляры всего: 5 ОХиИФ (1), ООЛ (4) Свободны: ОХиИФ (1), ООЛ (4) |
519.1(075) А 39 Акимов, О. Е. Дискретная математика [Text] : логика, группы, графы, фракталы : [учеб. пособие] / Акимов, О. Е. - М. : Изд. Акимов, 2005. - 655 с. : ил., табл. - Библиогр.: с. 649-650. - ISBN 5-9900342-1-0 (в пер.) : 209-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) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Text] : учебное пособие для вузов / Гринченков, Д. В., Потоцкий, С. И. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-02434-8 (в пер.) : 252.00 р.
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |
658.7(075) П 82 Просветов, Г. И. Математические методы в логистике [Текст] : задачи и решения : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2012. - 302, [2] с. : ил., табл. - ISBN 978-5-94280-298-1 : 89.00 р.
Кл.слова (ненормированные): математические методы -- транспортная задача -- принятие решений -- сетевое планирование -- статистический контроль -- контроль качества -- перевозки Экземпляры всего: 15 ОХиИФ (1), ООЛ (14) Свободны: ОХиИФ (1), ООЛ (14) |
510(075) Г 85 Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - Москва : Кнорус, 2013. - 206 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 (в пер.) : 188.50 р. ВПО
Кл.слова (ненормированные): теория множеств -- Булева алгебра -- математическая логика -- теория алгоритмов -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп.точки доступа: Потоцкий, С. И. Экземпляры всего: 5 ОХиИФ (1), ООЛ (4) Свободны: ОХиИФ (1), ООЛ (4) |