数系的扩充始终贯穿于数学理论的发展之中. 本书利用交互式定理证明工具Coq,在Morse-Kelley公理化集合论形式化系统下, 给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统,包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现,构建了非标准实数模

本书以JDK1.8和Eclipse为编程环境，从基本的程序设计思想入手，逐步展开Java语言实验，第一章至第三章主要讲解Java的语法基础、控制语句、面向对象程序设计等内容；第四章讲解Java图形界面知识，第五章至第八章讲解Java的输入输出和文件操作、数据库应用、网络编程和多线程等知识。本书最大的特色在于针对实验进行

本书适用于数字媒体艺术设计专业课教材，涵盖应用型及职业型高等院校。对用户体验设计的理论方法与实践操作进行系统性阐述。随着互联网行业的日趋成熟，作为数字媒体专业学生的需求，本书介绍了交互设计以用户体验为目的应用软件的制作流程，以及国际上较为成熟的理论体系。梳理了新媒体行业内在用户体验方面的实践理论和经验方法，循序渐进的展

本书系统地介绍了自动控制理论的基本内容，并注重阐述基本理论、基本概念和综合分析方法。本书共分9章，主要内容包括：绪论、自动控制系统的数学模型、时域分析法、根轨迹分析法、频率分析法、控制系统的校正、离散控制系统以及现代控制理论基础的部分内容与非线性系统分析。本书重点突出，层次分明，理论联系实际。各章不仅介绍MATLAB相

本书以问题求解为主线，引入程序设计竞赛的基础知识，以Python语言编写程序，注重实践能力培养。本书包括绪论、程序设计基础知识、程序控制结构、列表与字典、函数、类与对象、程序设计竞赛基础、链表和文件共9章内容，介绍程序设计的概念、思想和方法，培养学生的计算思维，分析、解决具体问题的能力及创新能力。其中，程序设计竞赛基础

《学习Python（第6版）》深入浅出地讨论了大部分Python编程主题。利用从本书中学到的Python知识，读者可以掌握高质量软件研发背后的逻辑。书中采用一种易懂的、循序渐进的方法来介绍基本的编程概念，先从控制结构、函数和列表等概念开始，再深入讨论类。这有助于确保读者理解基本的编程概念，并知道如何解决现实中的问题。书

本书共分为5章，分别介绍了多媒体技术概述、图形图像处理技术、音频信息采集与处理、音视频编辑与处理技术和动画编辑与处理技术，简述了多媒体技术的基础知识，重点介绍了AdobePhotoshop2022、AdobeAudition2022、AdobePremierePro2022、AdobeAnimate2022四个软件的应

大数据是从哪里来的？大数据有什么特点？大数据带来了什么利弊？人们如何在大数据时代活得更好？带着这些疑问，《大数据概论——智能时代的思维方式》将从大数据的意义、大数据的来源、大数据的思维、大数据的应用、大数据的挑战5方面来和读者一起深入探讨。通过5章的内容，读者能够系统地了解大数据技术产生的背景、发展的历史、涉及的领域以

神经网络计算引发了新一轮信息技术革命，也对硬件的性能提出了更高的需求。基于模拟型阻变存储器的存算一体系统可以有效缓解存储墙问题，阻变存储器的可靠性退化问题是影响存算一体系统准确率的关键因素，当前尚缺乏面向神经网络应用的可靠性研究。本书从神经网络计算的应用需求出发，建立了从器件到系统的跨层次可靠性分析与评估框架；围绕模拟

《虚拟现实技术及应用》主要讲解虚拟现实技术理论及应用，内容涵盖虚拟现实技术的软硬件设备、前沿技术与应用案例。本书结合当前新媒体、数智时代和元宇宙发展的背景，力图通过理论与实践案例相结合的方式，向读者阐述虚拟现实技术的基本原理、相关技术及开发经验与流程。《虚拟现实技术及应用》分为8章，第1章至第3章主要介绍虚拟现实技术的