-
Главная
-
Анатолий Геннадьевич Зыков
-
Бакалавр. Академический курс
Серия книг Бакалавр. Академический курс
Количество книг в серии 1
электронная книга
Год написания книги 2016
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство...