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