Дискретный анализ. Формальные системы и алгоритмы
ISBN: 9785534062793

Авторы: Ю. И. Журавлев.

ISBN: 9785534062793.

Издательство: Юрайт.

2017 год, 318 стр.

В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной...

Другие подробности...

Посмотреть изображения в Интернете (не все изображения могут соответствовать именно этой книге).