003 .1.1 数字逻辑研究的对象及方法