Barker-Plummer，戴夫;乔恩·巴韦斯;约翰·埃切曼迪 用图表和句子进行逻辑推理。使用超防。 （英语） Zbl 1373.03001号 CSLI课堂讲稿216.加利福尼亚州斯坦福：CSLI出版物（ISBN 978-1-57586-951-3/pbk）。十七、210页。(2017). 出版商描述：“图表和句子的逻辑推理”课件包通过精心制作的教科书、桌面和在线材料的组合，教授分析推理和证明构建的原理。这个软件包肯定会成为一系列包含逻辑推理的课程的基本资源，包括形式语言学、哲学、数学和计算机科学。与传统的推理形式化处理不同，此软件包使用图形和句子表示来反映日常推理中的常见情况，其中信息以多种形式表示，例如使用地图和地址找到位置。它还教学生如何使用直观的证明系统来构建和检查各种证明的逻辑有效性——结果和非顺序、一致性和不一致性以及独立性，该系统使用句子、图形和异构推理规则扩展了标准的证明处理，让学生专注于证明内容，而不是句法结构。基于广泛使用的Tarski的《世界与语言》、《证明与逻辑》课件包，《图表与句子逻辑推理》包含300多个练习，其中大部分可以通过Grade Grinder在线评估服务进行评估；由一个广泛的网站支持，学生和教师可以通过该网站访问作者的在线视频讲座；并允许教师创建自己的练习并评估学生的作业。本书是Hyperproof课件包的扩展版本[巴维斯和J.埃切曼迪，适用于Macintosh的超防。节目由杰拉德·奥尔温（Gerard Allwein）、马克·格里夫斯（Mark Greaves）和迈克尔·伦茨（Michael Lenz）主持。包括1个磁盘。加州斯坦福：CSLI，语言与信息研究中心（1994年；Zbl 0860.03004号)]. 引用于3文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 03-04 与数学逻辑和基础有关的问题的软件、源代码等 03B10号机组 经典一阶逻辑 68甲15 编程语言理论 引文：Zbl 0860.03004号 软件：超防（Hyperproof） PDF格式BibTeX公司 XML格式引用 \textit{D.Barker-Plummer}等人，用图表和句子进行逻辑推理。使用超防。加利福尼亚州斯坦福：CSLI出版物（2017；Zbl 1373.03001）