第2章0和1-语义符号化、符号计算化与计