![“作业”与“非作业”均分秋季色彩？论克里普克的悖论观_赋值语句论文]()
“赋值”与“非赋值”平分秋色？——评克里普克的“悖论观”，本文主要内容关键词为：赋值论文,平分秋色论文,悖论论文,克里论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅...
![西方对“利己主义悖论”的大误解--“怪圈”的风不能持续太久！_赋值语句论文]()
西方“自涉悖论”的大误区——“怪圈”之风不可长！，本文主要内容关键词为：悖论论文,怪圈论文,之风论文,误区论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图...
![保留“矛盾”消除“悖论”--评克里普克和伯奇的“解决矛盾”_时间悖论论文]()
保留“矛盾”，消解“悖论”——评克里普克、伯奇的“解悖方案”，本文主要内容关键词为：悖论论文,克里论文,矛盾论文,方案论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅...
![骗子悖论的恶性循环_循环语句论文]()
说谎者悖论的恶性循环，本文主要内容关键词为：说谎者论文,悖论论文,恶性循环论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。一、引论承袭彭加勒的思想，罗素提出：...
![悖论的自我参照与再利用_时间悖论论文]()
悖论的自指性与循环性，本文主要内容关键词为：悖论论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81文献标识码：A文章编号：1674-3202(...
![递归问题循环不变式开发新策略的研究与应用]()
杨庆红[1]2003年在《递归问题循环不变式开发新策略的研究与应用》文中研究表明软件形式化是提高软件可靠性和生产效率、实现软件自动化的有效途径。循环不变式在软件形式化方法中占有十分重要的地位，它是理解、证明和推导算法程序的基础和关键。因此目前许多算法和程序设计的着作和教材中，均广泛地使用了循环不变式...
