Computational models require a mathematically and logically formal representation of a problem.
计算机模型需要将一个问题数学化、逻辑正规化地描述。