Моделирование систем какой группы достигается за счет использования
законов формальной логики, теории множеств, графов, семантических сетей и
других достижений науки в области дискретных вычислений?