М.: Просвещение, 1965. — 161 с.
Современная математическая логика благодаря своим многочисленным
приложениям в самых разнообразных областях науки и техники (к
сложным проблемам оснований математики, к проблемам лингвистики, к
конкретным задачам синтеза автоматов и др.) привлекает внимание
широкого круга людей различных специальностей, в том числе и
учителей математики средней школы.
Элементы математической логики и некоторые ее приложения включаются в программу средних школ с математической специализацией., они могут служить интересным материалом для внеклассной работы с учащимися старших классов любой средней школы.
Нам представляется, что элементы математической логики в недалеком будущем станут обязательным пунктом школьной программы.
В последнее время у нас вышел ряд монографий и сборников статей по математической логике. Некоторые из них указаны в списке литературы, помещенном в конце настоящей книги.
Однако почти отсутствует литература по математической логике, доступная для учителей математики средней школы.
В настоящей книге автор поставил перед собой задачу дать для этого широкого круга читателей элементарное изложение начал математической логики и некоторых ее приложений.
Учитывая, что под названием «математическая логика» в настоящее время объединяется весьма обширная и глубокая научная проблематика, что в состав математической логики, кроме классической логики высказываний и предикатов, начала которых излагаются в этой книге, входит ряд других логических систем и теорий (конструктивная логика, системы модальной логики, многозначные логики, теория алгоритмов и др.), настоящая книга не может рассматриваться как введение в математическую логику в целом.
Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели.
В книге имеются и упражнения для самостоятельной работы читателя.
Элементы математической логики и некоторые ее приложения включаются в программу средних школ с математической специализацией., они могут служить интересным материалом для внеклассной работы с учащимися старших классов любой средней школы.
Нам представляется, что элементы математической логики в недалеком будущем станут обязательным пунктом школьной программы.
В последнее время у нас вышел ряд монографий и сборников статей по математической логике. Некоторые из них указаны в списке литературы, помещенном в конце настоящей книги.
Однако почти отсутствует литература по математической логике, доступная для учителей математики средней школы.
В настоящей книге автор поставил перед собой задачу дать для этого широкого круга читателей элементарное изложение начал математической логики и некоторых ее приложений.
Учитывая, что под названием «математическая логика» в настоящее время объединяется весьма обширная и глубокая научная проблематика, что в состав математической логики, кроме классической логики высказываний и предикатов, начала которых излагаются в этой книге, входит ряд других логических систем и теорий (конструктивная логика, системы модальной логики, многозначные логики, теория алгоритмов и др.), настоящая книга не может рассматриваться как введение в математическую логику в целом.
Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели.
В книге имеются и упражнения для самостоятельной работы читателя.