国外逻辑学习软件初探——兼谈国内逻辑学习软件情况

摘要：

一、逻辑教学的可视化——逻辑学习软件
20世纪中期,人们设想用计算机进行逻辑推理.1956年,国际著名的逻辑学家、数学家和计算机科学家Newell和Simon等人首先取得突破,他们编制的程序"逻辑理论家"证明了罗素和怀德海合著的《数学原理》第二章中的38条逻辑推理.后来经过改进,又证明了该章的全部52条逻辑推理.在这之后,世界著名逻辑学家美籍华人王浩教授在IBM-704计算机上以3-5分钟的时间证明了《数学原理》中有关命题演算的全部220条逻辑推理,并且还证明了该书中带等词的谓词演算的150条逻辑推理的85％.不久,他仅用8.4分钟的时间证明了以上全部逻辑推理.1此后,随着计算机科学技术的发展和普及,随着逻辑学教育技术的发展,众多的逻辑学家开始将逻辑的思想和方法用计算机来模拟,从而研发了一系列的逻辑学习软件.

机标关键词：逻辑推理、逻辑学家、计算机科学技术、证明、学习软件、数学原理、谓词演算、世界著名、时间、命题演算、美籍华人、逻辑教学、教育技术、数学家、理论家、可视化、科学家、思想、世纪、模拟

所属期刊栏目：4

分类号：B81;TP3

在线出版日期：2012-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：98-110