Математическая логика и теория алгоритмов для программистов: учебное пособие (Гринченков Дмитрий Валерьевич, Потоцкий Сергей Иванович) ; Кнорус, 2014
Автор(ы): Гринченков Дмитрий Валерьевич; Потоцкий Сергей Иванович;
Издатель: Кнорус
ISBN: 978-5-406-00120-2
ID: SKU1713449
Добавлено: 29.12.2023
Цены
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | ||
Читай-город 5/5 | ||
МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Смотри также Характеристики.
Яндекс.Маркет
О книге
ISBN | 978-5-406-00120-2 |
Автор(ы) | Гринченков Дмитрий Валерьевич, Потоцкий Сергей Иванович |
Год издания | 2014 |
Издатель | Кнорус |
Серия | Бакалавриат |
1 ms.
Книги с похожим названием
Книги где авторы: Гринченков Дмитрий Валерьевич, Потоцкий Сергей Иванович
Программирование - издательство "Кнорус"
Категория 552 р. - 828 р.
Программирование - издательство "Кнорус" »
0 ms.
Программирование
Категория 552 р. - 828 р.