K teorii a praxi pedagogického programování