Математическая логика и теория алгоритмов для программистов. Учебное пособие
Автор:Гринченков Д.В. Год: 2017 Издание:КноРус Страниц: [не указано] ISBN: 9785406040416, 9785406054215 Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические...