{"product_id":"vereshchagin-shen-lektsii-po-matematicheskoi-logike-i-teorii-algoritmov-chast-2-yaziki-i-ischisleniya-1","title":"Александр Шень: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления","description":"Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). \n\nИзложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.","brand":"МЦНМО","offers":[{"title":"Default Title","offer_id":51008525336892,"sku":"nb3yy9ptiyv2v4jykclir40i","price":29.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/vereshchagin_shen_lektsii_po_matematicheskoi_logike_i_teorii_algoritmov._chast_2._yaziki_i_ischisleniya_1.jpg?v=1739430059","url":"https:\/\/knizhka.us\/products\/vereshchagin-shen-lektsii-po-matematicheskoi-logike-i-teorii-algoritmov-chast-2-yaziki-i-ischisleniya-1","provider":"Книжка US","version":"1.0","type":"link"}