Юрий Анатольевич Белов
Произведения автора 1
Только полные версии книг
РОМАНЫ и ПОВЕСТИ
аудиокнига
Год написания книги 2016
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, н…