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