Дискретный анализ. Формальные системы и алгоритмы учебное пособие для вузов Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый.
Material type:
TextSeries: Высшее образованиеPublication details: Москва Юрайт 2024Description: 318 сSubject(s): Математический анализ | Математика и статистика | Дополнительные главы дискретной математики, математической логики | Высшая алгебра и аналитическая геометрия | Дискретные и математические модели | Дискретный анализOther classification: 22.12я73 Online resources: Click here to access online | Click here to access online Summary: В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
URL: https://urait.ru/bcode/537918 (дата обращения: 02.05.2024).
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
There are no comments on this title.