作 者:
;
;
机构地区:
南开大学
出 处:
《逻辑学研究》
2011年第4期98-110,共13页
摘 要:
一、逻辑教学的可视化——逻辑学习软件20世纪中期,人们设想用计算机进行逻辑推理。1956年,国际著名的逻辑学家、数学家和计算机科学家Newell和Simon等人首先取得突破,他们编制的程序"逻辑理论家"证明了罗素和怀德海合著的《数学原理》第二章中的38条逻辑推理。后来经过改进,又证明了该章的全部52条逻辑推理。
关 键 词:
逻辑教学
学习软件
计算机科学家
国内
国外
世纪中期
逻辑推理
数学原理
领 域:
[哲学宗教]