Логические вопросы программирования // Укр. Республ. конф. молодых исследователей по теоретической кибернетике, тезисы докл., Киевтезисы доклада