Математическая логика, учебник и практикум для вузов

Bibliografski detalji
Glavni autor: Скорубский В. И. Владимир Иванович
Daljnji autori: Поляков В. И. Владимир Иванович, Зыков А. Г. Анатолий Геннадьевич
Sažetak:URL: https://urait.ru/bcode/511996 (дата обращения: 27.08.2025).
В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.
Izdano: Москва, Юрайт, 2023
Serija:Высшее образование
Teme:
Online pristup:https://urait.ru/bcode/511996
Format: MixedMaterials Elektronički Knjiga