Автор:Яглом И. М. Год: 1968 Издание: Страниц: 72 ISBN: [не указан] Брошюра излагает основные понятия, относящиеся к учению о так называемых "алгебрах Буля", играющих большую роль в математической логике и весьма важных для всех направлений современной математики, связанных с электронными вычислительными машинами и кибернетикой. В брошюре дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривается алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств. Брошюра содержит достаточное число упражнений (сопровождаемых ответами, помещенными в конце брошюры), доставляющих читателю возможность контроля над усвоением материала и самопроверки. Брошюра может быть использована в работе школьного математического кружка; она будет с интересом прочитана не только школьниками средних (7-ео, 8-го) классов, но и школьниками-старшеклассниками.
