Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата

Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата
ЮРАЙТ
sku: 1694384
1,340.00 грн.
Shipping from: Ukraine
   Description
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.Издание исправленное и дополненное.
   Technical Details
author: Журавлев Ю.И.
ISBN: 978-5-534-06279-3
language: Русский
page_extent: 318
publisher: ЮРАЙТ
series: Бакалавр. Академический курс
Type: book
Weight: 0.398 кг.
year: 2018
Автор: Журавлев Ю.И.
Год издания: 2018
Дата обновления позиции: 06-19-2021
Доставка/Оплата: Товар под заказ. До 25 рабочих дней
Издательство: ЮРАЙТ
Код товара: 1751162
Количество страниц: 318
Переплет: Твердый
Серия: Бакалавр. Академический курс
Язык произведения: Русский
   Price history chart & currency exchange rate

Customers also viewed