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

Базы данных


БД "Книги" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логические исчисления<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.
   22.17
   Н73

    Новиков, Ф. А.
    Дискретная математика для программистов [Текст] : [учеб.] / Ф.А. Новиков. - СПб. : Питер, 2000, 2001, 2002. - 301 с. : рис. - Библиогр.: с.290-291. -Алф. указ.: с. 292-301. - ISBN 5-272-00183-4 (в пер.) : 88.00 р.
ББК 22.176я73
Рубрики: Дискретная математика
Кл.слова (ненормированные):
множества и отношения -- дискретная математика -- алгебраические структуры -- комбинаторика -- логические исчисления

Экземпляры всего: 9
аб. (9)
Свободны: аб. (8)
Найти похожие
2.
22.12
Г47

    Гильберт Д.
    Основания математики. Логические исчисления и формализация арифметики [Текст] : пер. с нем. / Гильберт Д., Бернанс П. - 2-е изд. - М. : Наука, 1982. - 556 с. - 2-70 р.
ББК 22.12
Рубрики: Основания математики
Кл.слова (ненормированные):
математика -- основания математики -- математическая логика -- логические исчисления -- формализация арифметики


Доп.точки доступа:
Бернанс П.
Экземпляры всего: 1
аб. (1), ч.з.
Свободных экз. нет
Найти похожие
3.
   22.17
   Н73

    Новиков, Ф. А.
    Дискретная математика для программистов [Текст] : учеб. пособие: доп. УМО / Ф. А. Новиков. - СПб. : Питер, 2003. - 302 с. : рис. - (Учебник для вузов). - Библиогр.: с. 290. - Алф. указ.: с. 292. - ISBN 5-94723-355-X (в пер.) : 88.00 р., 55.99 р.
ББК 22.176я73 + 32.973-018я73
Рубрики: Дискретная математика--для экономистов
Кл.слова (ненормированные):
множества и отношения -- алгебраические структуры -- булевы функции -- логические исчисления -- комбинаторика -- алфавитное кодирование -- теория графов, история -- связность вершинная -- алгоритм Флойда -- фундаментальные циклы -- независимые множества -- доминирующие множества -- раскраска графов -- алгоритмы раскрашивания

Экземпляры всего: 2
аб. (2)
Свободны: аб. (2)
Найти похожие
4.
   22.17
   Н73

    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учеб. : доп. Мин. обр. РФ / Ф.А. Новиков. - 3-е изд. - СПб. : Питер, 2009. - 384 с. - (Учебник для вузов). - Указ. обозначений: с. 365. - Библиогр. : с. 368. - Предм. указ. : с. 370. - ISBN 978-5-91180-759-7 (в пер.) : 280.50 р., 262.18 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
множества -- мультимножества -- алгебра подмножеств -- бинарные отношения -- функциональные отношения -- отношения порядка -- алгебраические структуры -- булевы функции -- логические исчисления -- комбинаторика -- бином Ньютона -- определения графов -- элементы графов -- теорема Менгера -- деревья сортировки -- эйлеровы циклы -- доминирующие множества
Аннотация: В учебнике изложены основные разделы дискретной математики и описаны важнейшие алгоритмы на дискретных структурах данных. Основу книги составляет материал лекционного курса, который автор читает в Санкт-Петербургском государственном техническом университете последние полтора десятилетия. Третье издание имеет ту же структуру и последовательность изложения, что и второе. В книгу внесено несколько десятков не очень объемных, но существенных добавлений, уточнений и определений. Обновлены упражнения, библиография и комментарии к ней. Для студентов вузов, практикующих программистов и всех желающих изучить дискретную математику.

Экземпляры всего: 6
ч.з. (3), аб. (3)
Свободны: ч.з. (3), аб. (2)
Найти похожие
5.
   22.17
   Н73

    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учеб. пособие : рек. Мин. обр. РФ / Ф. А. Новиков. - 2-е изд. - СПб. : Питер, 2005. - 364 с. : рис. - (Учебник для вузов). - Указ. : с. 346 . - Библиогр. : с. 349 . - Предм. указ. : с. 351 . - ISBN 5-94723-741-5 (в пер.) : 50.66 р., 19.97 р., 22.19 р., 29.96 р., 93.56 р., 60.43 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
множества -- отношения -- функции -- алгебраические структуры -- булевы функции -- логические исчисления -- комбинаторика -- кодирование -- графы -- связность -- деревья -- циклы -- независимость -- раскраска

Экземпляры всего: 9
аб. (9)
Свободны: аб. (9)
Найти похожие
6.
   22.17
   Н73

    Новиков, Федор Александрович.
    Дискретная математика для программистов [Текст] : учеб. пособие : рек. Мин. обр. РФ / Ф. А. Новиков. - 3-е изд. - СПб. : Питер, 2008. - 384 с. : рис. - (Учебник для вузов). - Библиогр. : с. 368 . - Предм. указ. : с. 370 . - ISBN 978-5-91180-759-7 (в пер.) : 101.61 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
множества и отношения -- алгебраические структуры -- логические исчисления -- комбинаторика -- кодирование -- графы -- связность -- деревья -- циклы -- независимость -- раскраска графов

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
7.
   22.12
   П 58

    Попов, Сергей Викторович.
    Прикладная логика [Текст] / С. В. Попов, Н. Л. Брошкова. - М. : Физматлит, 2011. - 216 с. : рис. - Библиогр. : с. 210 . - ISBN 978-5-9221-1340-3 (в пер.) : 216.00 р.
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
теория множеств -- логическое следование -- логические матрицы -- алгебра матриц -- логические задачи -- синтаксический логический анализ -- логические исчисления -- секвенциальное исчисление -- преоразования выводов


Доп.точки доступа:
Брошкова, Наталья Леонидовна
Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
8.
   22.17
   Н 73

    Новиков, Федор Александрович.
    Дискретная математика [Текст] : для бакалавров и магистров : учеб. : рек. УМО / Ф. А. Новиков. - 2-е изд. - СПб. : Питер, 2013. - 400 с. - (Учебник для вузов: стандарт третьего поколения ). - Библиогр. : с. 386 . - Предм. указ. : с. 388 . - ISBN 978-5-496-00015-4 (в пер.) : 150.08 р.
ББК 22.176я73
Рубрики: Математика
   Дискретная математика
Кл.слова (ненормированные):
множества -- отношения -- алгебраические структуры -- булевы функции -- логические исчисления -- комбинаторика -- кодирование -- графы -- связность -- деревья

Экземпляры всего: 1
ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 10.09.2024
Число запросов 60510
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)