国外逻辑学习软件初探——兼谈国内逻辑学习软件情况
被引量：2
摘要
一、逻辑教学的可视化——逻辑学习软件20世纪中期,人们设想用计算机进行逻辑推理。1956年,国际著名的逻辑学家、数学家和计算机科学家Newell和Simon等人首先取得突破,他们编制的程序＂逻辑理论家＂证明了罗素和怀德海合著的《数学原理》第二章中的38条逻辑推理。后来经过改进,又证明了该章的全部52条逻辑推理。
出处
《逻辑学研究》
2011年第4期98-110,共13页
Studies in Logic
参考文献10
-
1http://phil.nankai.edu.cn/sllg/index.htm .
-
2http://logicae. usal.es/TICTTL/ .
-
3http://logic.glashoff.net/aristotelianlogic/ .
-
4http://philosophy.lander.edu/-jsaetti/ToolBox/dojoCateg/categorical.html .
-
5http://staff.science.uva.nl/-jaspars/animations/ .
-
6http://staff.science.uva.nl/-jaspars/betagamma/propcalc/propcalc_bg.html .
-
7http:/ /staff.science.uva.nl/-jaspars/betagamma/proptab /qs_bg.html .
-
8http://staff.science.uva.nl/-jaspars/betagamma/propcalc/update.html .
-
9http://staff.science.uva.nl/-jaspars/lvi98/Week3/model_bg.html .
-
10http:/ /staff.science.uva.nl/-jaspars/lvi98/Week3/smiley2.html .
同被引文献3
-
1Buss S. Introduction to Proof Theory, in S. Buss, ed, Handbook of Proof Theory [ M ]. Amsterdam: Elsevier Science, 1998 : 18.
-
2Negri S,von Plato J. Structural Proof Theory [M]. Cam- bridge : Cambridge University Press,2001 : 15.
-
3Akman V, Pakkan M. Hypersolver: A graphical tool forcommonsense set Theory[ G]//Giin L, Onvural R, Ge-lenbe E, et al. Proceedings of Eight International Sympo-sium on Computer and Information Sciences. Turkey : Is-tanbul, 1993:436-443.
-
1蔡天新.莱布尼茨:难以企及的人物[J].读书,2007(2):105-113.
-
2荆其诚,傅小兰.怀念西蒙教授[J].心理学报,2001,33(3):288-288.
-
3数字智人：从数字移民、数字本土者到数字智慧[J].中国远程教育,2009(5):78-78.
-
4陈重威.思维有多重[J].今日中学生（中旬）（初二）,2015,0(1):60-64.
-
5Bertrand Russell 方华文(译注).人生目标[J].英语世界,2011(1):19-20.
-
6刘晓力.一份珍贵的史料与一段误读的历史[J].自然辩证法研究,2000,16(z1):114-116.
-
7Bertrand Russell 禾沐(译).政治理想（节选）[J].英语学习,2013(6):56-58.
-
8吴奇.怀特海：鲜活的知识才有生命力[J].教育文摘,2014(3):15-16.
-
9张聪.主体间性的研究视域[J].价值工程,2010,29(35):306-307.
-
10自尊是一切原创思想的源泉[J].中国监狱学刊,2016,31(2):164-164.
