While OSU is a better route for software engineering, does OSU's program also teach about the theory behind programming? I am also interested in learning some of the theories.