Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.

Дмитрий Гринченков и Сергей Потоцкий

Тип: PDF книга

Жанр: Математика

Язык: на русском языке

Издательство: Издательство КноРус

Дата публикации: 07.05.2024

Отзывы: Пока нет Добавить отзыв

О книге: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические