理论的∑-发散度相关硕士博士期刊学术论文

众所周知,数理逻辑的特点在于符号化和形式化,它和计算数学有着截然不同的风格；前者注重形式推理而后者注重数值计算；前者强调严格论......