Математическая логика и автоматическое доказательство теорем - Ч. Чень, Р. Ли

Математическая логика и автоматическое доказательство теорем е класическо издание, което съчетава дълбоки принципи на математическата логика с практическите подходи към автоматичното доказване на теореми. Подходяща за студенти по математика и за изследователи в областта на логиката и автоматизацията на доказателствата, книгата предлага солидна основа и исторически контекст от ранната епоха на тази дисциплина.

• Автори: Ч. Чень, Р. Ли
• Издател: Наука
• Година на издаване: 1983
• Език: Руски
• Страници: 358
• Облик и формат: мека подвързия
• Състояние: Отлично
• Тип издание: Антикварно издание
• Категория: Наука, Математика
• Ключови теми: математическа логика, автоматично доказване на теореми, формални системи, дедуктивни методи
• Произход: Руски оригинал
• Целева аудитория: студенти по математика и логика; изследователи в областта на автоматизацията на доказателствата

Този том е ценен източник за дълбоко разбиране на основите на логическото мислене и на ранните подходи към автоматичното доказване на теореми. Читателят ще открие как формалните системи подреждат доказателствата и как се изграждат алгоритми за дедукция, които са основа на по-късните теоретични разработки в компютърните науки. Текущото издание е особено ценно за историческо проучване и за академични занимания, като служи като солидна референтна точка за курсове по математическа логика и теории на доказателствата.