Юрий Анатольевич Белов
Жанры и тэги:
Лекции по математической логике и теории алгоритмов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления пр…
Подробнее