Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.
Дмитрий Гринченков и Сергей Потоцкий
Тип: PDF книга
Жанр: Математика
Язык: на русском языке
Издательство: Издательство КноРус
Дата публикации: 07.05.2024
Отзывы: Пока нет Добавить отзыв
О книге: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические