抽象对象相关论文
随着网络的日益普及,人们渐渐习惯于从网上获取需要的信息。但是这也带来信息的安全性问题。密码学是安全的基石,任何应用安全都是......
人们经常谈论文明的危机.最近的两百年,在社会生活层面上,物质极大丰富,技术突飞猛进,人们活得更加健康长寿,生活空间和范围更广,......
扎尔塔所构造的的二阶模态对象演算[1]（P249-279）是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论......
从研究的视角构建抽象对象,让学生从知识自然构建的角度体验严密逻辑推理及抽象思维的探究过程,进行高层次的思维训练,这对提高学......
自然主义提供了思考数学本体论问题的一个重要进路,比如蒯因的不可或缺性论证就是一个典范。但不可或缺性论证有很多缺陷,于是蒯因......
在名称的意义理论研究中,传统描述理论和直接指称理论是两种针锋相对的观点。继克里普克提出对传统描述理论的三大批判之后,直接指......
