Обложка книги Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата, Вялый Михаил Николаевич, Журавлев Юрий Иванович  
Поделись книгой!
 
2019
Переплёт: Твердый переплет, 318 страниц
Категория: Абитуриентам и студентам
ISBN: 978-5-534-06279-3
 
📘 В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов.
В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.

Где найти книгу?

Мнения