книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Дискретная математика, алгоритмы
-15%

Дискретный анализ. Формальные системы и алгоритмы

Код 4818991

  • ISBN: 9785534062793
  • 318 страниц
  • декабрь 2017
  • Юрайт
  • 398 г

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 20.05.2025; планируемая отправка: 21.05.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 23.05.2025; планируемая отправка: 24.05.2025

Аннотация к книге "Дискретный анализ. Формальные системы и алгоритмы"

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

Оставить комментарий

Оцените книгу:

Издательство: Юрайт
Дата выхода: декабрь 2017
ISBN: 9785534062793
Объём: 318 страниц
Масса: 398 г

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

MIReader