Математическая логика и теория алгоритмов для программистов. (Бакалавриат). Учебное пособие. (Дмитрий Валерьевич Гринченков) ; КноРус, 2020
Автор(ы): Дмитрий Валерьевич Гринченков;
Издатель: Кнорус
ISBN: 9785406002230
ID: SKU990946
Добавлено: 09.10.2021
Цены
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | ||
Читай-город 5/5 | ||
МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям «Программное обеспечение вычислительной техники и автоматизированных систем», «Математическое обеспечение и администрирование информационных систем» и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Смотри также Характеристики.
Яндекс.Маркет
О книге
ISBN | 9785406002230 |
Автор(ы) | Дмитрий Валерьевич Гринченков |
Издатель | КноРус |
Год издания | 2020 |
Форматы электронной версии |
1 ms.
Книги с похожим названием
Книги где автор: Дмитрий Валерьевич Гринченков
Математика - издательство "Кнорус"
Категория 439 р. - 658 р.
Математика - издательство "Кнорус" »
0 ms.
Математика
Категория 439 р. - 658 р.