https://knigausa.com Just another WordPress site Tue, 21 Feb 2023 04:54:27 +0000 ru-RU hourly 1 https://wordpress.org/?v=6.7.5 https://knigausa.com/product/%d0%bb%d0%b5%d0%ba%d1%86%d0%b8%d0%b8-%d0%bf%d0%be-%d0%ba%d0%be%d0%bd%d1%81%d1%82%d1%80%d1%83%d0%ba%d1%82%d0%b8%d0%b2%d0%bd%d0%be%d0%b9-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b5/ Mon, 18 Jul 2022 13:33:32 +0000 https://knigausa.com/product/%d0%bb%d0%b5%d0%ba%d1%86%d0%b8%d0%b8-%d0%bf%d0%be-%d0%ba%d0%be%d0%bd%d1%81%d1%82%d1%80%d1%83%d0%ba%d1%82%d0%b8%d0%b2%d0%bd%d0%be%d0%b9-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b5/ В книге систематически излагаются основные сведения, относящиеся к интуиционистской и конструктивной логике: мотивировка интуиционистского подхода в математике, интуиционистское построение системы действительных чисел, аксиоматизации интуиционистской логики и арифметики, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем, конструктивные интерпретации интуиционистских теорий.Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся автором в течение ряда лет на механико-математическом факультете МГУ имени М. В. Ломоносова и в СУНЦ МГУ. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из теории множеств, классической математической логики и теории алгоритмов излагаются в книге.Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой.Книга предназначена для учеников старших классов физико-математических школ, для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.

]]> 1232201