Электронная книга: Михаил Николаевич Вялый «Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата»
Серия: "Бакалавр. Академический курс" В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте. Издательство: "ЮРАЙТ" (2018)
ISBN: 9785534062793 электронная книга Купить за 559 руб и скачать на Litres |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Дискретный анализ. Основы высшей алгебры 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата | Данное учебное пособие посвящено введению в высшую алгебру. В нем рассматриваются свойства основных… — ЮРАЙТ, Бакалавр. Академический курс электронная книга Подробнее... | электронная книга |
См. также в других словарях:
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия