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