Математическая логика и теория алгоритмов для программистов. Учебное пособие

Д. В. Гринченков, С. И. Потоцкий

В данный момент этот товар отсутствует в продаже.
Возможно, у нас найдется аналогичный или похожий товар здесь.

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.

Для студентов вузов, обучающихся по специальностям 230105 «Программное обеспечение вычислительной техники и автоматизированных систем», 010503 «Математическое обеспечение и администрирование информационных систем» и специальностям направления «Информатика и вычислительная техника» дневной и заочной форм обучения.

Детальная информация
Издательство
КноРус, 2014 г.
Переплет
Твердый переплет, 208 страниц
Формат книги
60x90/16
Размер (в x ш)
220 x 145 (средняя)
ISBN
978-5-406-04041-6
Язык
Русский
Код товара
169361
Разделы товара
Информация
Поступлений данного товара не ожидается.
Возможно, у нас найдется аналогичный или похожий товар здесь.