Об автоматизации контроля знаний по логике и теории аргументациитезисы доклада