Анатолий Геннадьевич Зыков - все книги скачать или читать онлайн бесплатно
bannerbanner

Анатолий Геннадьевич Зыков

Произведения автора 2

Только полные версии книг

Бакалавр. Академический курс

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

Похожие авторы