Судоплатов

Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004

Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004.

  В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.
Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004
Скачать и читать Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004