QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2014     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 浅谈波普尔证伪主义 期刊论文 美与时代（下旬刊）, 2014, 页码: 43-45 作者:  夏正磊[1] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30 波普尔  逻辑实证主义  证伪主义  分界问题  归纳问题   蒯因对归纳问题的自然主义解读 学位论文 : 河北大学, 2014 作者:  李维峰[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/21 蒯因  归纳问题  相似性分析  逻辑推理关系  语义上溯策略   新归纳法理论探析 期刊论文 北方文学（中旬刊）, 2014, 期号: 7, 页码: 216-216 作者:  郑达[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/21 归纳逻辑  三表法  归纳法   基于演绎逻辑的图书馆学发展趋势分析磁--兼论归纳逻辑的局限 期刊论文 图书馆, 2014, 期号: 5, 页码: 1-5,9 作者:  金胜勇[1];  石璐鸣[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/21 图书馆学  发展趋势  归纳逻辑  演绎逻辑  循证图书馆学   一种基于语境的程序正确性验证算法的研究与实现 会议论文 全国抗恶劣环境计算机第二十四届学术年会, 江西九江, 2014-09-01 作者:  尹顺顺;  马殿富;  赵永望;  赵宪琦 收藏  |  浏览/下载：8/0  |  提交时间：2020/01/06 程序验证  Hoare逻辑  循环不变式  语境  限定数学归纳法