Юрий Анатольевич Белов

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

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

РОМАНЫ и ПОВЕСТИ

электронная книга
2.67
Год написания книги 2013
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации,...