本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的基础语言。本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优
新编计算机基础教程(微课版)》基于教学实践编写而成，在写作过程中，根据“夯实基础、面向应用、培养创新”的指导思想，以介绍计算机基础知识和基本应用技能为主线，具有内容丰富、层次清晰、通俗易懂、图文并茂、易教易学的特色。新编计算机基础教程(微课版)重点突出了教材的基础性、应用性和创新性，旨在提高大学生的计算机应用能力，并为
《数字身份认证技术与实践》内容涵盖身份认证的基础理论，包括身份认证与授权的区别、常见的认证方式以及关键技术和协议，如SAML、OAuth2.0、OIDC等。除基础概念外，《数字身份认证技术与实践》还展示如何在不同的环境中安全地接入和实现身份认证，包括纯前端应用、BFF和后端领域服务。同时，《数字身份认证技术与实践》详细
本书面向华为设备，以一个真实的企业网搭建项目贯穿全书，共分四篇。第一篇为教学项目准备，通过引入教学项目，引导学生了解课程目标，提高学生的学习兴趣；第二篇为教学项目实施，紧紧围绕引入的教学项目，按照一般网络项目实施的工作流程，从企业总部内网搭建，到企业内外网路由连通，再到企业网络安全控制，直至无线网络配置4大步，分成11
本书较为全面地介绍了Cinema4D2023的基本操作和核心功能，选取了部分“1+X”数字创意建模考试真题与企业真实项目融合。全书共包括7个项目：初识Cinema4D、Cinema4D数字创意建模基础、卡通角色设计、虚拟数字人中国娃娃、Cinema4D动画、Cinema4D与Arnold渲染器、“1+X”数字创意建模综
本书共13章。第1～3章分别讲解Go语言、基本数据类型和各种运算符的使用；第4章主要讲解选择和循环两种控制结构；第5章讲解函数与方法；第6章讲解数据容器；第7章讲解结构体；第8章讲解接口，这部分内容难度稍大；第9章讲解协程与通道；第10～12章分别讲解异常处理、正则表达式、文件和文件夹；第13章讲解常用的内置包。本书立
本书是“微处理器原理与接口技术”课程的教材。本书首先通过逻辑的、历史的脉络引入计算机系统和微处理器，然后以ARMCM0为对象介绍了微处理器的组成原理和指令集，并介绍了汇编语言编程方法等。在接口技术方面，本书介绍了内部总线AHBLite和SoC的组成方法，并以RP2040芯片为例，介绍了接口常用的GPIO、UART、I
本书将软件开发理论与现代工程方法论相结合，着重研究软件工程基础理论与过程、软件分析与设计及测试方法、软件维护与项目管理方法等，是指导软件生产和管理的一本新兴的、综合性的软件理论与应用图书。本书分别从传统的结构化软件工程和面向对象软件工程两个范型出发，把软件工程基础理论与方法融入开发实践当中，通过丰富的案例深入地介绍软件
《Photoshop2022图像处理实例教程(微课版)》由浅入深、循序渐进地介绍Photoshop2022的操作方法和使用技巧。全书共分10章，分别介绍Photoshop2022入门、图像文件的基础操作、选区的基本操作、矢量图形的应用、绘画和修饰工具的应用、通道与蒙版的应用、图层混合与图层样式、图像颜色调整、文字工具的
本书以Photoshop核心功能和实战提升的形式系统讲述了Photoshop必备知识和抠图、修图、调色、合成、特效等核心技术，以及Photoshop在平面设计、数码照片处理、电商美工、UI设计、手绘插画、室内设计、建筑设计、创意设计等领域的实战应用，是一本全面讲述Photoshop软件应用的Photoshop完全自学教
书单推荐 新书推荐
