Математическая логика и теория алгоритмов для программистов. Учебное пособие (Гринченков Дмитрий Валерьевич, Потоцкий Сергей Иванович) ; Кнорус, 2017
Автор(ы): Гринченков Дмитрий Валерьевич; Потоцкий Сергей Иванович;
Издатель: Кнорус
ISBN: 978-5-406-05421-5
ID: SKU1808562
Добавлено: 29.12.2023
Цены
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | ||
Читай-город 5/5 | ||
МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
Позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям "Программное обеспечение вычислительной техники и автоматизированных систем", "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Смотри также Характеристики.
Яндекс.Маркет
О книге
ISBN | 978-5-406-05421-5 |
Автор(ы) | Гринченков Дмитрий Валерьевич, Потоцкий Сергей Иванович |
Год издания | 2017 |
Издатель | Кнорус |
Книги с похожим названием
Книги где авторы: Гринченков Дмитрий Валерьевич, Потоцкий Сергей Иванович
Программирование - издательство "Кнорус"
Категория 771 р. - 1156 р.
Программирование - издательство "Кнорус" »
Программирование
Категория 771 р. - 1156 р.