Аннотация: Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата
| Автор/составитель | Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. |
| Серия | Бакалавр. Академический курс |
| Год выпуска | 2020 |
| ISBN | 978-5-534-06279-3 |
| Обложка | твердый переплет |
| Дата выпуска | 2021 г. |
| Издание | 2 |
| Количество томов | 1 |
| Количество страниц | 318 |
| Переплет | твердый |
| Размеры | 145x215 мм |
| Формат | 60x90/16 (145x215 мм) |
| Вес | 398 |
| Область образования | математика, алгебра |
| Тип материала | учебное пособие |
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
Бесплатная Доставка по Европе (EU)*
*Для заказов свыше 40,- евро Подробнее
Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата
- Модель: MYSH2993629
- ISBN 978-5-534-06279-3
-
Наличие:
Нет в наличии