数理逻辑的产生和发展被引量：7

在线阅读下载PDF

导出

摘要本文较为简明扼要地介绍了数理逻辑发展史。从莱布尼兹始,经布尔、德·摩根,到弗雷格和罗素,后来又产生了康托尔的集合论,哥德尔的完备性定理与不完全性定理。近代数理逻辑也分成了若干流派,对相关问题的研究日益深入。

作者张家龙

机构地区中国社会科学院哲学研究所

出处《北京航空航天大学学报（社会科学版）》 2000年第1期26-29,共4页 Journal of Beijing University of Aeronautics and Astronautics：Social Sciences edition Edition

关键词数理逻辑发展历史莱布尼兹康托尔集合论

分类号 O141 [理学—基础数学]

引文网络
相关文献

参考文献33

1温少雄,周伟,李少林,马刚,李鹏鹏,段炼.基于NSGA-Ⅱ算法的堆石坝多目标参数反演方法[J].水力发电学报,2017,36(1):86-95. 被引量：15
2王茂华,迟世春,刘振平.考虑相互作用影响的堆石料动力参数反演[J].岩土工程学报,2019,41(10):1967-1976. 被引量：7
3顾永明,张国华.面板堆石坝演化人工神经网络反演分析模型研究[J].西北水电,2007(2):66-69. 被引量：6
4孔维耀,王子健,王玉洁,朱锦杰,王柳江,刘斯宏,张学峰.公伯峡面板堆石坝堆石流变特性反演分析[J].水利水电科技进展,2013,33(5):26-30. 被引量：5
5徐继维,张茂省,于国强.泥石流流变参数敏感性分析[J].工程地质学报,2016,24(6):1056-1063. 被引量：2
6毛健,赵红东,姚婧婧.人工神经网络的发展及应用[J].电子设计工程,2011,19(24):62-65. 被引量：183
7李国英,米占宽,傅华,方维凤.混凝土面板堆石坝堆石料流变特性试验研究[J].岩土力学,2004,25(11):1712-1716. 被引量：76
8杨金强,程壮,肖蕾,马莉.基于BP神经网络的面板堆石坝参数反演分析[J].水电能源科学,2012,30(6):89-91. 被引量：6
9黄耀英,田斌,沈振中.基于工程类比法的面板堆石坝流变变形反馈[J].中国科学：技术科学,2015,45(4):434-442. 被引量：6
10王振兴,迟世春,王峰.堆石料流变试验的颗粒破碎研究[J].水利与建筑工程学报,2012,10(5):103-106. 被引量：9

二级参考文献214

1李宏恩,李同春,田景元,李成,梁栋.黏-弹性人工边界在双江口土石坝动力分析中的应用[J].岩土力学,2008(S01):189-192. 被引量：7
2周伟,胡颖,杨启贵,熊泽斌.高混凝土面板堆石坝流变机理及长期变形预测[J].水利学报,2007,38(S1):100-105. 被引量：18
3王进廷,潘坚文,张楚汉.地基辐射阻尼对高拱坝非线性地震反应的影响[J].水利学报,2009,39(4):413-420. 被引量：12
4王登刚,刘迎曦,李守巨.岩土工程位移反分析的遗传算法[J].岩石力学与工程学报,2000,19(z1):979-982. 被引量：50
5贠永峰,范永慧,孙扬.基于BP神经网络的隧道围岩力学参数反分析方法[J].沈阳建筑大学学报（自然科学版）,2011,27(2):292-296. 被引量：16
6孙静,袁晓铭,陶夏新.室内和现场测试最大动剪切模量差别的试验研究[J].土木工程学报,2012,45(S1):258-262. 被引量：12
7张雷,张嘎,王富强,张建民.公伯峡面板堆石坝流变变形的反演分析[J].岩土力学,2011,32(S2):521-525. 被引量：9
8陈浩,任伟中,李丹,夏彬伟.深埋隧道锚杆支护作用的数值模拟与模型试验研究[J].岩土力学,2011,32(S1):719-724. 被引量：34
9刘振平,迟世春,赵显波,贾宇峰.鲤鱼潭大坝坝料动力参数反演[J].岩土工程学报,2015,37(4):761-768. 被引量：6
10李纯莲,王希诚,赵金城,武金瑛.一种基于信息熵的多种群遗传算法[J].大连理工大学学报,2004,44(4):589-593. 被引量：21

共引文献789

1张再望.镶嵌面板堆石坝应力变形特性研究[J].中国水运（下半月）,2020(6):166-167. 被引量：3
2朱晟,路德任.基于改进粒子群算法的面板堆石坝流变反演分析[J].岩石力学与工程学报,2022,41(S01):2971-2978. 被引量：7
3李继清,王爽,段志鹏,李建昌.基于ESMD-BP神经网络组合模型的中长期径流预报[J].应用基础与工程科学学报,2020(4):817-832. 被引量：35
4叶复萌,陈辉,向正林,邓刚,李建秋,张延亿.蓄能电站群水工安全监测信息监控平台研发[J].水利水电技术（中英文）,2022,53(S01):396-402. 被引量：4
5邓刚,皇甫泽华,武颖利,张延亿,陈辉,张茵琪,杨玉生.土质心墙土石坝变形协调控制发展与展望[J].水力发电学报,2020(5):1-16. 被引量：23
6沈桂莹,李国栋,李珊珊.基于人工神经网络对侧堰流量系数的预测研究[J].水动力学研究与进展（A辑）,2022,37(1):125-131. 被引量：2
7张新乐,于滋洋,李厚萱,刘焕军,张忠臣,赵明明,王翔.东北水稻叶片SPAD遥感光谱估算模型[J].中国农业大学学报,2020,25(1):66-75. 被引量：9
8刘泳奇,吴环宇,陈珂.智能建造技术在工程造价管理中的应用研究综述[J].建筑经济,2022,43(S01):245-252. 被引量：31
9柴晋,乔加飞,孙灏,梁占伟,张千.神经网络算法在脱硫系统优化中的应用进展[J].洁净煤技术,2021,27(S02):27-32. 被引量：3
10张延军,袁学兵,马跃强,高雪峰,高阳.花岗岩双裂隙热-流耦合参数敏感性[J].吉林大学学报（地球科学版）,2022,52(6):1971-1981. 被引量：2

同被引文献71

1杨鹏.立法技术的现状与愿景[J].行政法学研究,2021(3):76-88. 被引量：20
2王起超.粗放和精细:论立法技术的秩序建构路径[J].河北法学,2021(5):171-185. 被引量：40
3鞠实儿.论逻辑学发展的方向[J].中山大学学报（社会科学版）,2003,43(S1):3-8. 被引量：24
4刁明礼.从逻辑演算的角度看莱布尼茨的数理逻辑思想[J].兰州大学学报（社会科学版）,2009,37(S1):54-56. 被引量：2
5郝铁川.传统思维方式对当代中国立法技术的影响[J].中国法学,1993(4):32-40. 被引量：9
6段德智.莱布尼茨对现代西方哲学的影响[J].武汉大学学报（人文科学版）,1996,50(6):9-14. 被引量：2
7马怀德.行政程序法的价值及立法意义[J].政法论坛,2004,22(5):3-9. 被引量：63
8强世功.迈向立法者的法理学——法律移植背景下对当代法理学的反思[J].中国社会科学,2005(1):109-122. 被引量：122
9李泽锋.试论档案立法技术[J].档案学通讯,2005(5):35-37. 被引量：5
10李伯富.论我国档案法规体系的完善[J].档案学研究,2005(6):29-33. 被引量：25

引证文献7

1杨鹏.立法技术的现状与愿景[J].行政法学研究,2021(3):76-88. 被引量：20
2王力钢.数理逻辑的发展及未来趋向[J].安庆师范学院学报（社会科学版）,2010,29(11):48-51.
3夏世英.从数理逻辑的发展看逻辑学的认知转向[J].凯里学院学报,2013,31(4):168-170.
4任雪芳,汤积华.数理逻辑中的计算思维能力培养[J].黑河学院学报,2016,7(7):214-216. 被引量：1
5尹乾,曾文艺,郑新,奚悦.“关系”中若干问题的探讨[J].北京师范大学学报（自然科学版）,2019,55(6):696-699.
6李新民.莱布尼茨在西方逻辑史中的分期问题研究[J].今古文创,2023(44):87-90.
7杜恒琪,张群群.档案立法技术的内在逻辑与实践路径——以《中华人民共和国档案法实施条例》为例[J].档案学研究,2024(6):52-59.

二级引证文献21

1苟学珍.共同富裕目标下经济法激活第三次分配的功能[J].经济法论丛,2023(2):132-150. 被引量：1
2蒋义庆.海关监管秩序条款的适用及修改研究[J].海关法评论,2023(1):353-365.
3潘佳.生态保护补偿制度的法典化塑造[J].法学,2022(4):163-178. 被引量：14
4竺效.环境法典编纂结构模式之比较研究[J].当代法学,2021,35(6):31-44. 被引量：42
5周其楼,李想.旅游定量研究论文写作逻辑性的思考[J].旅游导刊,2019,3(4):1-14.
6徐亚文,谢志鑫.“反制型立法”若干问题研究[J].湖北经济学院学报（人文社会科学版）,2022,19(4):84-88. 被引量：1
7陈兵,郭光坤.数据分类分级制度的定位与定则——以《数据安全法》为中心的展开[J].中国特色社会主义研究,2022(3):50-60. 被引量：52
8曹海晶,王岩.地方科技奖励制度的重塑[J].华中科技大学学报（社会科学版）,2022,36(5):81-89. 被引量：4
9王辉,和震.新《职业教育法》:修订历程、内生逻辑与价值追求[J].中国高教研究,2022(10):96-102. 被引量：16
10庞鹏,徐信贵.非遗代表性传承团体(群体)认定的功能逻辑与规范构建[J].文化遗产,2022(6):35-41. 被引量：6

1高岩,唐宗贤.交错级数莱布尼兹判别准则的推广[J].大学数学,1995,16(1):195-197. 被引量：3
2左林.牛顿与莱布尼兹创立微积分之解析[J].连云港师范高等专科学校学报,2004,21(2):79-82. 被引量：1
3刘逸.康托尔的超穷集合与无穷数学思想[J].科学,1994,46(3):45-48.
4刘炳麟.深入剖析“微积分基本定理”的内涵[J].数学通报,1993,32(2):27-29. 被引量：2
5数学家名言[J].大学数学,1993,14(S1):4-4.
6王春艳,关宝玲.莱布尼兹-n-代数的Frattini-子代数[J].高师理科学刊,2016,36(10):1-2.
7左林.牛顿、莱布尼兹微积分创立之比较思考[J].吉林省教育学院学报,2007,23(10):90-92. 被引量：3
8刘健.交错级数莱布尼兹判别准则的推广[J].阜阳师范学院学报（自然科学版）,1996(4):50-51.
9徐象传.几个积分公式的改进[J].大学数学,1992,13(3):94-97.
10宋志光.定积分概念的教学体会[J].桂林师范高等专科学校学报,1996,11(2):75-77.

北京航空航天大学学报（社会科学版）

2000年第1期

浏览历史

内容加载中请稍等...

数理逻辑的产生和发展被引量：7

参考文献33

二级参考文献214

共引文献789

同被引文献71

引证文献7

二级引证文献21

相关作者

相关机构

相关主题

浏览历史

数理逻辑的产生和发展 被引量：7

参考文献33

二级参考文献214

共引文献789

同被引文献71

引证文献7

二级引证文献21

相关作者

相关机构

相关主题

浏览历史

数理逻辑的产生和发展被引量：7