Навчальна дисципліна, яка вивчає розробку програмного забезпечення, призначеного для роботи з множинами і логічними твердженнями, для яких не передбачено однозначної відповіді чи результату.