Introduction to the Reform on the Course of Fundamental Logic and Computer Design