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