Математическая логика, учебник и практикум для вузов
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , |
| الملخص: | URL: https://urait.ru/bcode/469864 (дата обращения: 27.08.2025). В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. |
| منشور في: |
Москва, Юрайт, 2021
|
| سلاسل: | Высшее образование |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://urait.ru/bcode/469864 |
| التنسيق: | الكتروني كتاب |