能否用程序代码描述数学概念

1. 编程语言是逻辑的实例,比如你说的函数式编程就是组合子逻辑的实现。所以代数结构和编程语言的关系本质上是代数结构和逻辑的关系。2. 从逻辑的角度来看,一般的代数结构S都可以通过构造一个一阶逻辑表达式 【能否用程序代码描述数学概念】 能否用程序代码描述数学概念
(或者与之等价表达力的逻辑表达式)表述,使得:表达式为真当且仅当一个你输入的实例I属于这个结构S。再回到编程语言上,这个表达式就是一段判定代码,代数结构就是你要求解的问题。放到数据库上可能更好理解,代数结构就是一个数据表,表达式就是一条SQL语句。当然,逻辑能表述的不止抽象代数中学的群、域、环,还包括任何可以表述为集合加运算符的结构,比如自动机、图、数据库等等。3. 如果没有看懂可以去学数理逻辑。4. 我不确定我前面说的是否是你要问的,或许你只是想了解一款代数软件,比如 http://www.gap-system.org/


    推荐阅读