КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. ДИСКРЕТНЫЙ АНАЛИЗ. ФОРМАЛЬНЫЕ СИСТЕМЫ И АЛГОРИТМЫ 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Id: 236795
 
962 руб.

ДИСКРЕТНЫЙ АНАЛИЗ. ФОРМАЛЬНЫЕ СИСТЕМЫ И АЛГОРИТМЫ 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата. Изд.2

2018. 318 с. Твердый переплет. ISBN 978-5-534-06279-3.

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