Классификация по прецедентам: синтез монотонных логических корректоров с применением технологии CUDAтезисы доклада