Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей,
У нас законно все » Облако тегов » Математическая логика и теория алгоритмов для программистов
Дмитрий Гринченков, Сергей Потоцкий - Математическая логика и теория алгоритмов для программистов (2010)
Автор: didl3 от 29-09-2016, 16:48, посмотрело: 409
0
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей,
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей,
Категория: Книги и журналы » Обучающие материалы
