计算机化语言测试效度研究 基于证据的作文自动评分效度验证

本书分别从应试者的应试心理活动与测试表现，测试评分的准确度与其他效标之间的关联性，测试的区分度和聚合度以及测试的社会影响等视角探索了以风靡全国的句酷在线作文自动评分系统(JAESS)为代表的计算机化作...

城和市的语言 城市规划图解辞典

为了这部集百科辞典、图解设计手册和绝妙的专题摄影作品于一体的汇编著作，建筑师和城镇规划师迪鲁•A•塔塔尼以及超过50位专家撰稿人共同注入了他们的知识和经验财富。本书以文字和图片中的每个...

脉络与连贯 话语理解的语言哲学研究

话语连贯是一个颇有争议的问题，以前的研究主要把连贯置于篇章语言学的范畴，而且把连贯当成一个形式化程度极高的概念来考察，结果留下两个关键问题难以回答：什么是连贯？怎样度量连贯？本书作者认识到连贯的哲学性.....

逻辑代数与电子计算机简介

形式逻辑

本书从形式逻辑的的研究对象、性质和作用以及形式逻辑与其他相关学科，形式逻辑的发展，通过判断、演绎和推理、归纳和论证，深刻地揭示了什么是形式逻辑。...

数字逻辑设计

本书引入电子设计自动化工具和硬件描述语言VHDL，使理论教学和上机实践相结合，使学习基本原理和掌握设计方法相结合。

中国逻辑史资料选·因明卷

逻辑设计基础 英文本

本书全面介绍逻辑设计的理论基础知识。

半导体逻辑元件及其应用

逻辑学教程

本书将严谨的逻辑学原理用浅显的语言进行讲解和阐述，结构紧凑，将逻辑学的概念、定律、推理等逐一介绍，有很好的实用性。