Алгебра логики. Теория множеств