形式语言与形式逻辑

自然语言是思维的载体，逻辑是思维的规律和规则，由此可以推出自然语言是逻辑的载体，

将形式逻辑在形式上符号化、数学化后，即是数理逻辑

形式语言既是形式逻辑的载体，又是数理逻辑的载体

数学函数是对应关系，反映事物之间的映射规则，是对关系的一种限制

有些问题不容易找到程序式的过程或步骤，主要是不易梳理出顺序式的算法步骤，