《用穷举法设计程序》学案 -