{"product_id":"математическая-логика-и-автоматическое-доказательство-теорем","title":"Математическая логика и автоматическое доказательство теорем - Ч. Чень, Р. Ли","description":"\u003cdiv\u003e\n\u003cp\u003e\nМатематическая логика и автоматическое доказательство теорем е класическо издание, което съчетава дълбоки принципи на математическата логика с практическите подходи към автоматичното доказване на теореми. Подходяща за студенти по математика и за изследователи в областта на логиката и автоматизацията на доказателствата, книгата предлага солидна основа и исторически контекст от ранната епоха на тази дисциплина.\n\u003c\/p\u003e \u003cul\u003e\n\u003cli\u003e\n\u003cb\u003eАвтори\u003c\/b\u003e: Ч. Чень, Р. Ли\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eИздател\u003c\/b\u003e: Наука\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eГодина на издаване\u003c\/b\u003e: 1983\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eЕзик\u003c\/b\u003e: Руски\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eСтраници\u003c\/b\u003e: 358\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eОблик и формат\u003c\/b\u003e: мека подвързия\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eСъстояние\u003c\/b\u003e: Отлично\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eТип издание\u003c\/b\u003e: Антикварно издание\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eКатегория\u003c\/b\u003e: Наука, Математика\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eКлючови теми\u003c\/b\u003e: математическа логика, автоматично доказване на теореми, формални системи, дедуктивни методи\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eПроизход\u003c\/b\u003e: Руски оригинал\u003c\/li\u003e\n\u003cli\u003e\n\u003cb\u003eЦелева аудитория\u003c\/b\u003e: студенти по математика и логика; изследователи в областта на автоматизацията на доказателствата\u003c\/li\u003e\n\u003c\/ul\u003e \u003cp\u003e\nТози том е ценен източник за дълбоко разбиране на основите на логическото мислене и на ранните подходи към автоматичното доказване на теореми. Читателят ще открие как формалните системи подреждат доказателствата и как се изграждат алгоритми за дедукция, които са основа на по-късните теоретични разработки в компютърните науки. Текущото издание е особено ценно за историческо проучване и за академични занимания, като служи като солидна референтна точка за курсове по математическа логика и теории на доказателствата.\n\u003c\/p\u003e\n\u003c\/div\u003e","brand":"Антикварен магазин - Катя Маркет","offers":[{"title":"Default Title","offer_id":57360535585116,"sku":"146120","price":10.42,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1011\/6061\/6284\/files\/matematiceskaa-logika-i-avtomaticeskoe-dokazatelstvo-teorem-c-cen-r-li-knigi-282.webp?v=1778962091","url":"https:\/\/katiamarket.com\/products\/%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%b0%d1%8f-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-%d0%b8-%d0%b0%d0%b2%d1%82%d0%be%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%be%d0%b5-%d0%b4%d0%be%d0%ba%d0%b0%d0%b7%d0%b0%d1%82%d0%b5%d0%bb%d1%8c%d1%81%d1%82%d0%b2%d0%be-%d1%82%d0%b5%d0%be%d1%80%d0%b5%d0%bc","provider":"Катя Маркет","version":"1.0","type":"link"}