|
|
| Автор: Михаил Николаевич Вялый |
| Издательство: Юрайт |
| Год: 2018 |
| Cтраниц: 1 |
| Формат: PDF |
| Размер: 0 |
| ISBN: 978-5-04-097703-1 |
| Качество: excellent |
| Язык: |
|
 |
|
Описание:
|
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
|
Пресс - релиз
string(4) "true"
int(290)
|
