首页 | 本学科首页   官方微博 | 高级检索  
     

试论谓词演算的几何化问题
作者姓名:张云鹤
作者单位:北京理工大学
摘    要:本文试图进一步实现G.W.Leibniz提出的数理逻辑几何化设想。为此,探讨了谓词演算的几何建模与图象算法。文中提出了:①量词状态图象及其分析的新理论;②量词对联结词的约束及谓词公式图象算法的独特见解。所举实例表明,这种几何化理论与方法通过作图与符号的结合来进行逻辑运算(推理)及其应用,因而比较直观、简明、快速、方便。

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号