{"product_id":"konspekt-lektsii-o-b-lupanova-po-kursu-vvedenie-v-matematicheskuyu-logiku","title":"Конспект лекций О.Б. Лупанова по курсу «Введение в математическую логику»","description":"Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.\nДля студентов и аспирантов.","brand":"МГУ","offers":[{"title":"Default Title","offer_id":49811043680572,"sku":"x93mwujfilrn329kf3vx2bqw","price":46.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/konspekt_lektsii_o.b._lupanova_po_kursu_vvedenie_v_matematicheskuyu_logiku__1.jpg?v=1721028280","url":"https:\/\/knizhka.us\/products\/konspekt-lektsii-o-b-lupanova-po-kursu-vvedenie-v-matematicheskuyu-logiku","provider":"Книжка US","version":"1.0","type":"link"}