Столяр А.А. Элементарное введение в математическую логику. Пособие для учителей

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