逻辑·语言·计算 马希文文选

本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学（包括计算语言学）方面的重要论述20余篇，专著1部，以及70年代以前的重要数学论文4篇。其深邃独到，极富创新的学术思想，对今天信息技术的发展...

国家电网有限公司劳动争议典型案例集

为更好地宣贯《国家电网公司劳动合同管理办法》，全面规范劳动合同管理，加强各单位在劳动争议处理方面的工作交流和经验分享，国家电网公司人资部组织编写了《劳动争议典型案例集》，旨在促进各单位进一步加强劳动...

并联机构自由度计算与奇异分析的几何代数方法

计算机视觉度量

本书是计算机视觉领域的先驱人物Scott Krigs的最新作品，全书对目前流行的计算机视觉算法进行了深入浅出的讲解，包括各种图像特征描述方法、图像成像原理、距离度量、视觉算法开发的整体优化等。特别是新增的...

智能计算方法及其应用

本书阐述了智能计算方法的定义、产生与发展过程，并从模糊计算、神经网络、进化算法和群智能优化等4个方面系统地介绍了目前常用的智能计算方法，具体内容包括：模糊推理、模糊控制、BP神经网络、RBF神经网络、深...

托马斯·霍布斯 国家与自由

在本书中，Bunce博士（剑桥大学）介绍了霍布斯雄心勃勃的哲学项目，以发现一些社会性的原理。如果说对霍布斯成功实现这一目标的不确定性评估可能会有争议，那么Bunce是足够体现出霍布斯为当代读者带来的非凡且持久的...

国家、宗教与社会 以近代全真宫观为中心的探讨 1800-1949

本书通过湖北武当山、长春观、南阳玄妙观、北京白云观等道观在近代的变迁或相关历史事件的考察，揭示了该时期道教、国家与社会之间的互动关系，思考传统道教是如何应对来自国家现代化进程所带来的冲击的。书中...

计算机英语实用教程

本书参照教育部2012年颁布的本科计算机科学与技术专业课程目录涵盖的主要内容选材，内容涉及计算机基础和专业知识，全书包括4个部分：1.计算机体系结构和计算机网络。2.英特网应用。3.程序设计语言和数据库。4....

计算机辅助设计与制造CAD\CAM系列 MATLAB 2018数学计算与工程分析从入门到精通

本书主要讲解了利用MATLAB 2018进行数学计算和工程分析的各种方法和技巧，主要内容包括MATLAB的入门和基础知识、数据可视化与绘图、试验数据分析与处理、矩阵分析、数学分析、微分方程、优化设计、MATLAB联...

2020年全国硕士研究生招生考试 计算机科学与技术学科联考计算机学科专业基础综合考试大纲 高教版

《2020年全国硕士研究生招生考试计算机科学与技术学科联考计算机学科专业基础综合考试大纲》在2019年版的基础上作了不同程度的修订。规定了2020年全国硕士研究生入学考试计算机学科的考试范围、考试要求、...