本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递

越来越多的IT 从业者需要学习或了解JSON。本书即针对这一现状，围绕JSON 这一主题的核心展开讲解，首先介绍JSON 语法、语法验证、数据类型、模式验证、安全问题，再讲解JSON 作为数据交换格式所扮演的种种角色，还涉及jQuery、AngularJS 以及CouchDB 等技术的进阶介绍，并给出了大量代码示例，是一本让读者快速透彻地了解JSON 的指南。

本书为《C语言程序设计(第2版)》(ISBN978-7-115-23790-3)配套的习题解答和实验指导教材，共分两篇。篇为主教材课后习题解答和课后练习题。第二篇为上机实验指导。本书集习题解答、课后练习和实验指导于一体，内容丰富，实用性强。 本书可作为C语言程序设计课程的辅导教材，亦可供计算机编程爱好者自学使用。

本书共9章，可以分为三个部分：前两章是*部分，介绍了OpenGIS的基本内容；第二部分包括第三章到第七章，详细介绍了QGIS等开源软件的安装、操作；第三部分是设计开发方法介绍，其中第八章介绍了基于Python的插件开发方法，而第九章介绍了在VS2010环境中进行组件开发的详细开发步骤

本书是普通高等教育 十一五 *规划教材。本书以Visual Basic 6.0中文版为语言背景，通过大量实例，深入浅出地介绍Visual Basic程序开发环境，Visual Basic程序设计基础，Visual Basic可视化编程的概念与方法，顺序结构程序设计，选择结构程序设计，循环结构程序设计，数组，过程，变量与过程的作用域，用户定义类型与枚举类型，图形与图像，菜单、工具栏与对话框，键盘与鼠标事件过程，数据文件等内容。书中每章均附有典型习题。本书免费提供电子课件，可以登录华信教育资源网（http://www.hxedu.com.cn），注册后下载。另外，《Visual Basic程序设计教程习题及习题解答（第5版）（6.0版）》（ISBN 978-7-121-31178-9），对本书中习题做了详细解答。本书可作为大学、高职高专院校的教材使用，本书同样适合作为全国计算机等级考试二级Visual Basic语言的辅导教材。

《Java面向对象程序设计实验教程》是《Java面向对象程序设计》的配套实验指导教材。《Java面向对象程序设计实验教程》分两部分：部分是基础知识篇，主要讲述Java面向对象程序设计实验指导，通过给出切合生活实际的综合性案例和详细的上机指导，将Java面向对象学习中的知识点由浅入深、循序渐进地穿插在案例当中，适当借助UML类图和问题拓展，培养学生发现问题、分析问题、解决问题的能力，启发学生深入思考；第二部分是上机实践篇，主要包括课程实验大纲（总体规划了实验学习目标，并给出建议的课时安排）和实验报告（给出与实验指导相配套的各个实验目的和要求，以及实验内容和过程，以便读者可以形成具体的实验结果文档，便于验收学习成效）。

本书主要介绍时域有限差分法的MATLAB实现方法，书中充分利用编程技巧，用紧凑的代码来实现算法。本书共10章，主要内容包括时域有限差分法的差分格式、吸收边界条件、完全匹配层边界条件、 连接边界条件、远场外推、色散介质模拟、周期边界条件等，并通过典型几何体的电磁散射、界面的反射系数、一维光子晶体、二维光子晶体等算例进行验证。本书提供了部分MATLAB源代码， 可供相关领域学者学习和参考。本书可作为高等学校电磁学专业本科生、研究生的教学用书，亦可供其他有关专业的师生及科研人员参考。

《E-Prime实验设计技术》共四编八章。*编是 心理实验程序设计的理论框架 ，介绍心理实验程序设计的模式化方法，用于指导E-Prime的实验程序设计，也可用于指导用其他软件设计心理实验程序。第二编是 E-Prime基本实验程序设计 ，重点介绍E-Prime的基本知识和基本设计技巧，包括E-Prime基本介绍、E-Prime基本实验设计、E-Prime图片、语音和视频实验的设计三章内容。第三编是 E-Prime的数据处理 ，介绍E-Prime数据的合并、提取和修复。第四编是 E-Prime高级实验程序设计 ，着重介绍心理实验程序设计的常用技术和高级使用技巧，包括E-Prime的扩展 E-Basic的使用、E-Prime实验设计的四种模式、E-Prime实验设计的常用技术等章节内容。

本书在结构上考虑了初学者的特点，尽量将学习Visual Basic语言成分、界面元素和学习算法的难度分散。本书是Visual Basic程序设计课程的配套实验教材，配合主教材的相关内容，针对VB语言概述、基本类型数据的输入/输出、数组等内容，设计了相应实验和课程设计。

本书第1章介绍Scratch，以及它能够实现的内容；然后引出第2章Scratch 3.0的界面知识与操作方法，介绍Scratch 3.0的一些基本操作；接着在第3~6章以案例形式介绍了Scratch 3.0在动画制作、游戏设计、数学编程、硬件编程4个方面的实现方法和步骤；第7章介绍Scratch官方社区的相关内容。 本书适合小学到高中阶段初次接触编程的少年儿童学习，既可以作为他们自学编程的入门教材，也可以作为一般培训机构的少儿编程入门教材。读者可以从Scratch图形化编程入手，首先了解计算机编程的一些基本概念，以便后续学习与理解高级编程语言。

本书是C 程序设计语言的参考书，章节和内容编排与《C 程序设计基础教程》配套，主要包括各章节知识点概要、习题、实验内容与指导。全书共10章，内容包括C 源程序及其编译调试、C 语言编程基础、函数与变量作用域、数组、结构体与简单链表、类和对象、继承与多态性、友元函数与运算符重载、模板与异常处理、输入与输出流等。

《JavaWeb项目实战教程(全国机械行业职业教育优质规划教材)》以在线购物系统为案例，以软件项目开发工作流程为写作主线，从需求分析、软件设计、编码、软件测试到软件的部署与维护，让读者经历真实的软件开发过程，体会企业规范化、标准化、专业化的软件开发流程和管理规范。 本书的主要内容是基于MVC的在线购物系统的实现，然后又增加了分别基于struts、struts Hibemate、stnlts Hibernate spring等框架的在线购物系统 登录模块 的实现，以帮助读者了解基于JavaWeb技术的几种主流框架的简单应用，使读者了解常用的框架技术。 本书既可作为高职高专计算机及相关专业的教材，也可作为计算机培训班的教材及软件行业程序员自学者的JavaWeb入门级书籍。

按照*关于《教育信息化2.0行动计划》的要求，人工智能、编程课程将会纳入初高中生学业水平考试。本书立足于C十十 程序设计语言的普及和应用，同时适用于全国青少年信息学奥林匹克竞赛的入门学习。本书包含计算机基础知识，C十十 语言基础，C十十 语言的顺序结构、选择结构、循环结构，数组，函数，结构体与文件，指针，算法和程序设计中常用的数学知识等内容，各章配备习题，附习题参考答案。本书结构严谨，语言简练，可以作为小学的竞赛培训用书，也适合读者选作自学资料。

为C语言程序设计与应用教程的辅导指导用书。 主要内容包括C语言基础知识、C语言程序控制结构、数组、函数、指针、结构体、编译预处理、位运算、文件、C语言图形设计等。配备了丰富的编程习题，以及模拟试卷、重点难点分析等。

本书以Spring Boot Spring Cloud Docker技术为基础，从当下流行的微服务架构理念出发，详细讲解了微服务和微服务架构方面的技术知识。全书共分为四部分：*部分 微服务概述 ，主要讲解微服务的由来、概念、特点和微服务架构等；第二部分 微服务的开发 ，主要讲解微服务开发框架Spring Boot的使用；第三部分 微服务架构的构建 ，主要讲解如何使用Spring Cloud的相关组件来构建微服务架构；第四部分 微服务的部署 ，主要讲解Docker技术，以及如何在Docker中部署微服务项目。本书适合所有Java开发人员，尤其适合正在学习微服务，以及正在尝试使用微服务架构开发项目的人员阅读和参考。

《C程序设计（第四版）》作为高等院校理工类非计算机专业学生的c程序设计教材，系统地介绍了标准c程序设计的基本概念和程序设计方法。为了突出C程序设计的精髓，教材合理取舍内容，简化语法说明，以大量的程序实例，力求把程序设计的学习从语法知识提高到解决实际问题的能力培养上。 《C程序设计（第四版）》共分10章，内容包括c语言基础、C语言的基本数据类型及运算、C程序设计初步、分支结构的C程序设计、循环结构的c程序设计、数组、函数及变量存储类型、指针、结构体和共用体及文件。每章末均有本章重点及习题。 为了便于读者学习并加强实践环节，《C程序设计（第四版）》有配套教学用书《 （第四版）学习指导》，内容包括各章节的学习指导、习题和解答，上机实验环境的介绍，上机实验题目及实验指导。 本套书既可作为

本书采用"任务驱动式”教学方法介绍Visual Basic程序设计的基础知识与方法。主要内容有：Visual Basic工作环境，可视化编程的概念和步骤，Visual Basic语言基础，顺序结构程序设计，选择结构程序设计，循环结构程序设计，数组，过程，菜单和工具栏设计，对话框设计，图形和图像设计，程序调试技巧等。

本书分为两篇，篇为汇编语言与程序设计，由浅入深全面系统地介绍了Intel系列16位和32位微处理器的工作原理、指令系统以及汇编语言程序设计方法；第二篇为微机接口技术，阐述了半导体存储器和高速缓存技术、中断控制器、定时/计数器、DMA控制器、串行接口、并行接口、总线技术、人机交互接口、数模和模数转换以及它们相关的技术。

邱尚明、罗拥华主编的《JavaScript动态网页开发案例教程(高职高专院校十二五规划教材)》由浅入深地介绍了JavaScript开发所涉及的各类知识。全书共分12章，内容包括JavaScript简介、JavaScript基础、流程控制、函数、对象与数组、正则表达式、Window窗口对象、事件处理、document对象、文档对象模型(DOM)、浏览器对象模型(BOM)和JavaScript实用范例。本书配有大量的案例，介绍详略得当，有益于读者快速掌握JavaScript编程技术。通过本书的学习，读者可以制作出自己的动态网页，全面提高自己网页设计的基础知识和基本技能。 本书易学、好练、实用，既可作为计算机相关专业的教材，也可作为动态网页开发课程的实践型教材，同时也适合JavaScript编程初学者及程序开发人员学习参考。

本书根据*非计算机专业计算机基础课程教学指导分委员会提出的《高等学校非计算机专业计算机基础课程教学基本要求》中的关于“程序设计”课程教学要求，根据当前学生的实际情况，结合一线教师的教学实际经验编写而成。 本书主线清晰、重点明确、内容恰当、概念通俗、表述简洁、举例实用，既注重基础理论，又突出实践性。全书共分9章，内容包括计算机的组成与程序设计基础、C语言基础、C语言控制语句、函数与预处理、数组、指针、其他自定义数据类型、文件和一个完整案例的设计和实现。 本书适合各类大专院校作为程序设计教材使用，也可作为学习计算机知识的自学参考书或培训教材。

本书系统地介绍了JSP技术的概念、方法与实现过程，包括JSP运行环境、JSP语法与组成元素、JSP内置对象、JSP对数据库的操作、JSP对JavaBean的调用、JSP对Servlet的调用等，后还介绍了两个JSP综合实例。通过对本书的学习，读者可以系统地掌握JSP技术相关概念、方法、编程思路和技巧。 本书不要求面面俱到，也不追求博大精深，主要是面向大中专院校学生和没有开发经验或者仅有少量程序设计基础的读者，使读者能够在短的时间内获得用JSP开发中小型网络系统的开发经验。同时，本书还有针对性地对一些技术的更新做了相关介绍，使读者能够掌握技术新动向，为以后更加深入地学习打下坚实基础。

本书是《Visual C# 2005程序设计教程》的配套教材，对主教材中的习题做了详细解答。为使初学者能够较快地掌握该编程语言和提高动手能力，本书在每章开始增加了实训实难，可使学习者*通过上机实难增加对各章知识内容的感性知识，然后通过对《Visual C# 2005程序设计教程》习题的详解进一步理解各章的知识要点及相应的编程技术。 本书可作为高职高专学校及初学编程人员自觉的辅导教材，也可单独作为“C#程序实例详解”使用。