Алгебра логики в задачах
Гиндикин С.Г.
Издательство: Наука
Город: Москва
Год издания: 1972
Количество страниц: 288
Аннотация: Научно-популярная литература по математической логике очень обширна и рассчитана на самые различные категории читателей. Школьники или взрослые, читающие популярную литературу в свободное от работы время, могут найти в ней большое число забавных логических задач. Читатель, желающий пополнить свой математический багаж, в надежде, что это поможет в его практической деятельности, найдет в ней подробные описания практических (часто - псевдопрактических) приложений логики. Большое число популярных книг по логике порождено надеждой, что благодаря алгебре логики все школьники наконец-таки начнут разбираться в необходимых и достаточных условиях и прочих логических вопросах школьного курса математики. Пристрастие преподавателей математического анализа к вопросам о последовательностях, не имеющих предела, неравномерно непрерывных функциях и т.д. породило руководства, содержащие основанные на кванторах рецепты автоматического (без размышлений!) построения определений отрицательных понятий. Мы определенно не сможем почерпнуть в существующих книгах по математической логике.
Мы все же решились увеличить на одну и без того большое число книг по логике, так как в большинстве известных нам элементарных книг в очень небольшой степени учтены интересы читателя, заинтересованного в содержательных - с точки зрения математика - теоремах и задачах. Этим читателям - в первую очередь студентам младших курсов университетов и пединститутов и ученикам старших классов математических школ - и адресована настоящая книга.
ISBN:
УДК: 512.8
ББК:
ID: 2059
Формат: .djvu
Размер файла: 3.84 Мб
Загрузил: Александр Лосев 2017-09-27 12:07:31
Раздел: > >