形式化体系相关论文
本文给出矛盾问题智能化处理的初步研究提纲,主要包括三个方面的内容:(1)研究以基元为基本元的"信息-知识-智能形式化体系";(2)研......
元数学是一门数理逻辑方面的学科。其主要研究对象是数学本身的矛盾性问题。但是，由于元数学的研究空间是在一个形式化的体系中。因......
