Programming course, winter semester @ KISD; theory and experiments in a programming discourse