Математическая логика и теория алгоритмов для программистов

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

Тип: PDF книга

Жанр: Учебно-методические пособия

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

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

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

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

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