本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的
基础语言。本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助
推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现
代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相
比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了
基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类

《智慧低碳社区建设：AI时代城市低碳化路径与实践》立足智慧低碳社区领域已有研究内容，梳理和汇总了来源**、关注广泛的新兴研究成果和趋向，在保证内容全面、完善、科学和严谨的基础上，突破现有图书前沿性和代表性相对不足的缺陷，阐述作者对中国智慧低碳社区建设路径的独到见解。
《智慧低碳社区建设：AI时代城市低碳化路径与实践》共7章，涵盖的内容有智慧低碳社区概述、国内外智慧低碳社区的发展历程、智慧低碳社区碳减排量核算方法学、智慧低碳社区建设路径、智慧低碳社区项目实践、智慧低碳社区的标准化、我国智慧低

本书落实立德树人根本任务，贯彻《高等学校课程思政建设指导纲要》精神，根据高等学校人才培养目标，遵循“实用、适用、够用、应用”的原则，精选教学内容，注重教材内容的实用性，旨在为制造强国、交通强国、数字中国和教育强国建设培养复合型、发展型、创新型、国际化人才。本书分为三个部分，包括UI设计的世界、界面设计要素实战、项目开发实战。

本书共九章，内容包括：计算机技术概述；计算机信息安全管理；计算机信息加密技术；计算机信息技术应用；大数据存储技术；大数据分析与挖掘技术；大数据抽取、清洗与去噪技术等。

本书从人工智能的概念、应用和发展方向对人工智能进行了初步分析，然后对人工智能的基础知识做了阐述，并在此基础上引出了人工智能的基础算法原理，然后对智能极端的模糊算法、神经计算和群集智能算法进行了分析探索。

本书围绕计算机信息技术与大数据应用展开研究，首先论述计算机的发展历程与类型划分，计算机技术及其工作原理，计算机信息的表示、检索与判别；其次探讨计算机硬件系统及软件系统、计算机网络技术和Internet应用、大数据及其关键技术；最后研究大数据技术的应用领域、大数据技术的创新应用实践。

本书从计算机信息技术以及大数据的基础知识入手，针对计算机信息安全与网络技术、计算机信息检索技术进行了分析研究；另外对大数据存储、处理和挖掘、大数据的应用进行了综合探讨。

本书旨在通过Python编程语言的学习，帮助读者掌握计算机编程的基本概念和技能，并能够将其应用于实际工作和项目开发中。本书内容从入门到进阶，涵盖了Python语言的基础和应用，包括变量、数据类型、字符串、列表、条件分支、元组、字典、循环、函数基础语法部分，以及库的应用、音视频处理、数据分析和自动化办公等进阶知识，让读者能够快速地掌握Python编程语言，理解Python强大的第三方库应用。

《四季露营》以露营中会用到的各种设备作为切入点，对市面上常见的露营设备进行了一次系统地梳理，帮助初学者快速识别不同设备对应的场景。本书以四季作为主要分章，在每个章节前，贴心地罗列了适合春夏秋冬的装备清单，并附有实物图示，使准备工作既简单又高效。一共80道简单好做的户外料理，分别对应四个季节：春天尝鲜、夏天解暑、秋天补膘、冬天暖胃。每道菜谱都有食材用料、详细的操作步骤及配图、需要使用的器具，还有贴心的tips，哪怕是厨房小白也可以轻松完成一顿丰盛的露营大餐！还可以通过跟朋友的共同协作，来增加

轻断食是目前流行的健康生活方式之一，轻断食期间用果蔬汁代替日常饮食已成为很多人的选择。《好食光 轻断食果蔬汁》精选了200余道果蔬汁食谱，以低卡减脂、润肤养颜、补血益气、调节免疫力等功效划分章节，原料易于采买，制作简单易上手。在轻断食期间喝上一杯自制的天然果蔬汁，给你的身体来次大扫除。