论文部分内容阅读
在Dijkstra的研究工作的基础上,对量词作进一步的探讨,主要以存在量词的几个基本性质作为假定,并由此推出有关存在量词和全称量词的其他一系列的性质.可视为Dijkstra的补充,从而使人们对量词的性质有更深的认识.
对Dijkstra量词研究的补充
【摘 要】
：
在Dijkstra的研究工作的基础上,对量词作进一步的探讨,主要以存在量词的几个基本性质作为假定,并由此推出有关存在量词和全称量词的其他一系列的性质.可视为Dijkstra的补充,
【机 构】
：
南京大学软件新技术国家重点实验室
【出 处】
：
南京大学学报：自然科学版
【发表日期】
：
2002年1期
【基金项目】
：
江苏省自然科学基金
其他文献
探讨全动脉化在非体外循环冠状动脉搭桥中的应用及效果.自2001年11月到2003年4月,运用单侧、双侧乳内动脉和桡动脉连续为29例患者行冠状动脉搭桥手术.患者男性22例、女性7例,