Лекция 4 Логические основы построения компьютеров Учебные вопросы Конечные множества определение обозначение пример