Яглом И. М.
Необыкновенная алгебра. АННОТАЦИЯ
Брошюра излагает основные понятия, относящиеся к
учению о так называемых "алгебрах Буля", играющих большую
роль в математической логике и весьма важных для всех направлений
современной математики, связанных с электронными вычислительными
машинами и кибернетикой. В брошюре дается определение алгебры Буля и
приводятся многочисленные примеры таких алгебр; в частности, специально
рассматривается алгебра высказываний и указываются пути использования
этой своеобразной алгебры для автоматизации математических
доказательств Брошюра содержит достаточное число упражнений
(сопровождаемых ответами, помещенными в конце брошюры), доставляющих
читателю возможность контроля над усвоением материала и
самопроверки. Брошюра может быть использована и работе школьного
математического кружка; она будет с интересом прочитана не только
школьниками средних (7-го, 8-го) классов, но и
школьниками-старшеклассниками. СОДЕРЖАНИЕ
Предисловие
§ I. Алгебра чисел и алгебра множеств
§ 2. Алгебра Буля
§ 3. Дальнейшие свойства алгебр Буля: принцип двойственности,
булевские равенства и неравенства
§ 4. Множества и высказывания; алгебра высказываний
§ 5. "Законы мысли" и правила вывода
§ 6. Высказывания и контактные схемы
Приложение. Определение алгебры Буля
Литература
Ответы и указания к упражнениям
© МЦНМО, 2003
М., "Наука" 1968 г., 72 стр.
240 000 экз.
© ФИЗМАТЛИТ, 2003