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

書誌詳細
第一著者: Журавлев Ю. И. Юрий Иванович
その他の著者: Флеров Ю. А. Юрий Арсениевич, Вялый М. Н. Михаил Николаевич
要約:URL: https://urait.ru/bcode/491079 (дата обращения: 27.08.2025).
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
出版事項: Москва, Юрайт, 2022
版:2-е изд.
シリーズ:Высшее образование
主題:
オンライン・アクセス:https://urait.ru/bcode/491079
フォーマット: 電子媒体 図書