Жанр:математика
Язык книги:Русский
Тип:PDF книга
Издательство:Издательство КноРус
Дата публикации:17.12.2022
Цена:599.00 ₽
Просмотры:23
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические
навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Для студентов вузов, обучающихся по специальностям Программное обеспечение вычислительной техники и автоматизированных систем, Математическое обеспечение и администрирование информационных систем и специальностям направления Информатика и
вычислительная техника дневной и заочной форм обучения.