Электронная книга: Михаил Николаевич Вялый «Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата»

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

Серия: "Бакалавр. Академический курс"

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

Издательство: "ЮРАЙТ" (2018)

ISBN: 9785534062793

электронная книга

Купить за 559 руб и скачать на Litres

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Дискретный анализ. Основы высшей алгебры 2-е изд., испр. и доп. Учебное пособие для академического бакалавриатаДанное учебное пособие посвящено введению в высшую алгебру. В нем рассматриваются свойства основных… — ЮРАЙТ, Бакалавр. Академический курс электронная книга Подробнее...2018409электронная книга

См. также в других словарях:

  • Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»