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