Книга воспроизводит содержание лекции, прочитанной автором участникам XXIX Московской математической олимпиады В ней излагаются основные понятия, относящиеся к учению об "алгебрах Буля", играющих боаюнбюльшую роль в математической логике и важных для всех направлений математики, связанных с электронными вычислительными машинами и кибернетикой В работе дается определение алгебры Буля и приводятся многочисленные примеры таких алгебр; в частности, специально рассматривабмейпется алгебра высказываний и указываются пути использования этой своеобразной алгебры для автоматизации математических доказательств; а также для самоконтроля приводятся упражнения Книга будет с интересом прочитана школьниками средних и старших классов, может быть использована в работе школьного математического кружка 2-е издание, стереотипное Автор Исаак Яглом. |