我知道关系数据库基于集合论,函数式编程基于lambda演算,逻辑编程基于逻辑(当然:)),现在我想到了它; 我不确定命令式和通用编程是否也基于任何特定的数学分支.
oop math
math ×1
oop ×1