形式语义学是在做什么？它的哲学假设是什么？它采用的方法是什么？这些方法如何反映它的哲学的和逻辑的起源？维特根斯坦在其中扮演了什么样的角色？维特根斯坦关于伦理的看法是什么样的？维特根斯坦的《哲学研究》与蒙塔古的“普遍语法”之间真的无法调和吗？本书作者试图通过10多篇论文深入探讨这些问题，并给出了合理的解答。本书通过挖掘形

本书以一名职场新人的工作经历为主线，系统性地介绍计算机组装与维护的基础知识。根据岗位工作流程与教学认知过程的特点，本书将相关知识体系分解为8个学习项目和16个实训任务，并分别创设对应的职业场景，将知识点融入到岗位实践当中，同时保持学习的连贯性和知识的实用性。本书内容详实、条理清晰、通俗易懂，与职业应用紧密结合，并配有丰

本书系统地介绍了计算机的基本组成原理和内部工作机制，以及计算机体系结构的基本概念、基本结构和基本分析方法。全书由9章组成：?第1章介绍计算机系统结构的基本概念；第2章介绍计算机中数据的机器层次表示；第3章介绍计算机的指令系统；第4章介绍计算机中的运算方法和运算器，第5章介绍主存储器；第6章介绍多级存储系统的设计；第7章

本书主要内容有4个部分：1．一元微积分基础，包括：函数、极限与连续，一元函数微分学及其应用，一元函数积分学。2．线性代数基础：行列式与矩阵、线性方程组。3．概率论与数理统计基础：概率论基本概念、随机变量的分布及其数字特征、方差及其性质、数理统计的基础知识。4．离散数学基础：集合与关系，图论，数理逻辑初步。

本书由2017年图灵奖的两位得主撰写，是计算机体系结构领域的经典教材，每年被超过40000名学生使用。新版的主要更新是在每章中添加了关于DSA的内容，并更新了所有实例，使全书更加与时俱进，满足学生和读者的新需求。

本书从环境的搭建和Tensorflow2.X的基础语法讲起，逐步深入到计算机视觉项目的实战，重点介绍了如何使用Tensorflow2.X框架实现各类经典的深度学习模型，让读者可以系统地学习Tensorflow2.X和计算机视觉领域的相关知识并有更深入的了解。本书分为10章，涵盖的主要内容有Anaconda环境配置、Ju

本书将技术按应用领域及特性分为高效冷源技术、高效冷却/散热技术、高效供配电技术、高效存储技术、高效数据处理设备技术、模块化解决方案技术、数据中心智能控制与运维管理技术、可再生能源与资源回收利用技术8类，分别介绍了各技术的原理、功能特性及应用案例，并在此基础上介绍了绿色数据中心先进适用技术综合应用实践情况。

本书设有8个项目，包括初识计算机、认识常见计算机组件、成就装机大师、安装操作系统、计算机维修服务及常见故障处理、认识常见硬件维修工具、主板开机电路分析及故障检测、主板南北桥供电电路分析及故障检修。

本书以当前主流微型计算机技术为背景,以建立系统级的整机概念为目的,深入介绍计算机各功能子系统的逻辑组成和工作机制。全书共6章,主要包括计算机的基本概念、发展历程和系统的硬件、软件组织及计算机相关的性能指标,数据信息的表示、运算和校验方法,CPU的一般模型、指令系统和x86架构、MIPS32架构简易CPU的设计,存储子系

本书从机器学习与计算机视觉处理实践出发,通过案例介绍了计算机视觉处理相关的机器学习开发技术,包括机器学习基础、图像处理基础、特征选择与降维、典型机器学习算法、深度学习与图像识别、AI开放云平台及移动端应用等技术;详细介绍了基于机器学习的计算机视觉处理技术和算法,并以神经网络中的卷积神经网络CNN、循环神经网络RNN、A