Математическая логика и теория алгоритмов для программистов. Учебное пособие
Позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям "Программное обеспечение вычислительной техники и автоматизированных систем", "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Перейти к описанию и характеристикам| Издательство | КноРус |
| Год издания | 2017 |
| ISBN | 978-5-406-05421-5 |
| Вес, г | 300 |
Позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям "Программное обеспечение вычислительной техники и автоматизированных си ...
| Издательство | КноРус |
| Год издания | 2017 |
| ISBN | 978-5-406-05421-5 |
| Вес, г | 300 |
