Предложен автоматно-логический подход к построению прикладной количественной теории множеств. В ней конечный динамический автомат служит адекватной математической моделью операций над множествами, а непрерывная логика — адекватным математическим аппаратом для вычисления результата этих операций. Ключевые слова: теория множеств, непрерывная логика, логико-автоматная модель, конечный динамический автомат
