王凯符，吴继路主编1985 年出版443 页ISBN：9209·51
本书是中国逻辑与语言函授大学组织编写的十Il门课程的教科书、教学参考书、习题集等共三十三种配套的教学用书之编写高水平的教材是保证教学质量特别是保证函授教学质量的重要关键。...
黄勇，路学成主编2007 年出版268 页ISBN：7118048984
本书介绍了汽车维修钣焊工的基础知识和基本技能、故障诊断与排除方法等。
曹迎槐，尹健，韩加坤主编；路士兵，唐丽晴，龙全贞副主编2015 年出版334 页ISBN：9787118100280
本书共12章，内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨，文字精练，内容翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大.....
李慎明，武寅主编；晋保平，王子豪副主编2012 年出版464 页ISBN：9787509735602
本报告为中国社会科学院科研局 “中国国情报告”丛书的第一辑，包括文化、法治、收入、住房四个部分。该报告采取社会科学研究最基础的田野调研方式，由以中国社科院相关院所为主的资深专家参与调研与撰写，资料...
朱保平编著2019 年出版288 页ISBN：9787302520313
本课程是信息化类专业的核心技术基础课，它为培养计算机系统设计、人工智能、数据库等人才方面具有重要的作用。教学内容包括: 命题演算基础；命题演算推理理论；谓词演算基础；谓词演算的推理理论；递归函数论；集合.....
