Учебник поможет все желающим понять принцип работы компьютера, а именно то, что происходит в арифметическо-логическом устройстве процессора. На достаточно простом и понятном уровне автор рассматривает основные понятия так называемой «алгебры Буля». Эти понятия играют важную роль математической логике и во всех направлениях современной математики, связанных с ПК и кибернетикой. В книге приводится понятие множеств, операциями над ними, «алгебры высказываний» и наконец принцип работы электросхем, сопровождая всю теорию многочисленными примерами.
Содержание: Алгебра чисел и алгебра множеств. Алгебра Буля. Дальнейшие свойства алгебры Буля: принцип двойственности, Булевкие равенства и неравенства. Множества и высказывания: алгебра высказываний. «Законы мысли» и правила вывода. Высказывания и контактные схемы. Приложение: определение алгебры Буля. Литература. Ответы к упражнениям.