Гиндикин Алгебра логики в задачах
Научно-популярная литература по математической логике очень обширна и рассчитана на самые различные
категории читателей. Школьники или взрослые, читающие популярную литературу в свободное от работы время, могут найти в ней большое число забавных логических задач.
Читатель, желающий пополнить свой математический ба-
багаж, в надежде, что это поможет в его практической
деятельности, найдет в ней подробные описания практических (часто — псевдопрактических) приложений логики. Большое число популярных книг по логике порождено надеждой, что благодаря алгебре логики все школьники наконец-таки начнут разбираться в необходимых и достаточных условиях и прочих логических вопросах школьного курса
математики. Пристрастие преподавателей математического анализа к вопросам о последовательностях, не имеющих предела, неравномерно непрерывных функциях и т. д. породило руководства, содержащие основанные на кванто-
кванторах рецепты автоматического (без размышлений!)
построения определений отрицательных понятий. Мы определенно не сможем перечислить все то, что читатель может почерпнуть в существующих книгах по математической логике.
Мы все же решились увеличить на одну и без того большое число книг по логике, так как в большинстве известных нам элементарных книг в очень небольшой степени учтены интересы читателя, заинтересованного в содержательных — с точки зрения математика — теоремах и задачах. Этим читателям — в первую очередь студентам младших курсов университетов и пединститутов и ученикам старших классов
математических школ — и адресована настоящая книга.
Нам представляется полезным знакомство
студентов-математиков с идеями конечной математики, в частности, алгебры логики, поскольку они качественно отличаются от идей традиционного университетского курса математики.
