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

学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程实际开发的角度出发，融汇了多位开发高手的经验和总结设计了这套《C 编程魔卡》，将学习C 时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括C 函数、方法及报错机制中英文对照等开发中常用内容，既适合作为C 初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。

陈郑军、刘振东编*的《WPF应用开发项目教程》以项目化任务驱动式组织教学内容，循序渐进地介绍WPF的开发环境、XAML基础、Application类、窗体、布局控件、常用控件、路由事件、系统命令库、自定义命令、Binding、资源、样式、模板、触发器等，使读者不仅能够学习WPF的各种开发知识，而且能够培养分析问题、解决问题的能力，以*快的速度和*好的效果去掌握WPF开发技术。 全书共6个项目，均是围绕图书管理系统主题展开，每个项目都以一个图书管理典型应用设计，再以多个子任务完成，每个子任务都具有较高的应用价值和代表性。教学内容的设计符合学习者面对问题时的情况，依照任务描述、知识准备、任务分析、任务实施和任务小结5个环节进行，既能科学地解决问题又有很强的锻炼作用。 全书以图书管理系统贯穿全程，将各个知识环节融入案例中

这是一本非常有趣的编程启蒙书，全书从中小学生的角度来讲述，没有生涩的内容，取而代之的是生动活泼的漫画和风趣幽默的文字。并配合超萌的编程软件，从开始学习与计算机对话到自己独立制作一个游戏，由浅入深地讲述编程的思维。同时，与计算机展开的逻辑较量一定会让你觉得很有意思。你可以在茶余饭后阅读本书，甚至蹲在马桶上时也可以看得津津有味。编程将会改变我们的思维，教会我们如何思考，让我们的思维插上计算机的翅膀，以一种全新的方式来看世界。现在就让我们一起走进计算机编程的神奇世界，探索和发现计算机编程的魔力吧！

学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程实际开发的角度出发，融汇了多位开发高手的经验和总结设计了这套《C语言编程魔卡》，将学习C语言时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括C语言函数、方法及报错机制中英文对照等开发中常用内容，既适合作为C语言初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。

本书以Microsoft Access 关系型数据管理系统软件为背景，介绍数据库的基本概念，数据库的建立、维护、管理及数据库设计的步骤。 本书共分8章：第1章介绍数据库的理论基础；第2章至第7章按Access数据库的6个对象（表、查询、窗体、报表、宏、模块）依次划分章节，每章都以案例引入，采用提出问题、解决问题、归纳总结的步骤叙述，且每章都有理论习题与两个不同难度的实验题；第8章提供了两个有实用价值的综合实验。各章的例题以及实验题都经过精心设计与推敲，按难易程度分成三个档次，力求*限度地覆盖Access的知识面，涵盖《全国计算机等级考试二级Access考试大纲》的考试内容。所有实验都经过上机运行并通过。 本书既适合作为高等院校数据库课程的教材，也适合作为自学用书或者作为参加Access二级考试的考前辅导用书。 本书以Access 2010版为主要背

学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程大咖的角度出发，总结大咖们的经验设计了这套《Python编程超级魔卡》，将学习Python时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括Python常用内置函数、Python模块、报错机制中英文对照等开发中常用内容，既适合作为Python初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。

本书的内容包括支持向量机概述、支持向量分类机模型、加权支持向量分类机算法、线性支持向量分类机数据扰动分析、非线性支持向量分类机数据扰动分析、线性支持向量回归机的数据扰动分析。本书内容丰富，深入浅出。为使数学基础不同的读者都能较好地对本门知识建立起概貌，结合自己的领域实际应用该门知识，本书特别重视的是： 结合简单、典型的实例，讲清楚支持向量分类机数据扰动分析理论的产生背景，系统论述了支持向量分类机数据扰动分析体系。本书不仅可作为理工科人工智能方面研究生的扩充资料，也可供数学基础较强但对本方面知识有强烈学习愿望的其他各类读者自学之用，还可作为有关专业教师和科研人员的参考书。

虚拟仪器在当今测试技术领域具有非常广泛的应 用。王英编的《虚拟仪器设计与LabVIEW编程(普通高 等教育创新型人才培养规划教材)》介绍了虚拟仪器 的基本概念和虚拟仪器系统的构成；以LabVIEW为开 发平台,介绍了虚拟仪器的软件编程；介绍了LabVIEW 开发环境,虚拟仪器软件的编辑与调试；介绍了基于 虚拟仪器的测试信号处理以及测量数据处理；介绍了 虚拟仪器数据采集与仪器控制,*后给出常用测试仪 器的虚拟仪器设计实例。 本书主要是面向测控技术与仪器专业学生编写的 ,也可作为大中专院校机械大类、自动化大类的教学 参考书,以及相关工程技术人员设计开发虚拟仪器及 自动测试系统的技术参考书。

学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程实际开发的角度出发，融汇了多位开发高手的经验和总结设计了这套《Python数据分析编程魔卡》，将学习Python数据分析时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括python数据分析相关模块的函数、方法、属性等开发中常用内容，既适合作Python数据分析初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。

学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程实际开发的角度出发，融汇了多位开发高手的经验和总结设计了这套《Python数据分析编程魔卡》，将学习Python数据分析时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括python数据分析相关模块的函数、方法、属性等开发中常用内容，既适合作Python数据分析初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。

本书以日记的形式记录了一个可实现四则运算计算器的设计过程，从而达到学习 FPGA 设计的目的。全书共 10 章 , 讲述了从设计开始到完成的全过程，其中包括数码管显示、键盘扫描、状态机等基础模块的设计，以及设计中需要注意的问题等，每一章的后还有夏宇闻老师对本章内容的点评及给读者的学习建议。 希望读者按顺序阅读本书，同时进行实践操作，并与书中的进度保持一致 , 终完成整个设计。读者也可以根据自己的想法来实现想要的功能，做到举一反三，以达到好的学习效果。书中使用的硬件为至芯科技的四代开发板、 Altera Cyclone IV 的芯片 , 软件为 Quartus II 13.0 sp1 。 本书可作为电子工程类、自动控制类、计算机类的大学本科高年级学生及研究生设计实验参考用书 , 亦可供其他工程人员自学与参考。

本书是与《FORTRAN语言程序设计 FORTRAN95》（王丽娟等编著，清华大学出版社，ISBN 9787302483908）相配套的实验指导书，全书由FORTRAN95 集成开发环境、上机实验指导、模拟测试、习题解析与模拟测试参考答案及附录组成，其中：实验指导部分提供了12个实验，每个实验均包含实验目的、实验内容、实验要求、实验步骤、实验小结和课外练习等内容；模拟测试部分给出了3套模拟测试试卷，每套试卷包括选择题、填空题、程序阅读题和编程题4种题型，全面考查读者的理论知识和编程能力；习题解析部分给出了主教材前13章部分习题的详细解答；附录部分给出了上机实验报告的通用模板，以及FORTRAN95标准函数和标准子例行程序。 本书针对程序设计初学者的特点，强调基本概念、基本知识、基本方法、基本操作的学习和掌握，重点强化实践能力的训练和培养，是一本颇具特色

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

《Java开发实例大全（基础卷）》筛选、汇集了Java开发从基础知识到高级应用各个层面约600个实例，每个实例按实例说明、关键技术、设计过程、详尽注释、秘笈心法的顺序进行了分析解读。全书分5篇共24章，内容有：开发环境的应用、Java基础应用、数组与集合的应用、字符串处理技术、面向对象技术应用、枚举与泛型的应用、反射与异常处理、多线程技术、编程常用类、Commons组件、窗体设计、窗体特效、基本控件应用、复合数据类型控件应用、其他高级控件应用、控件特效与自定义控件、文件与文件夹操作、文件的读取/写入/整理和控制、操作档、文件压缩、数据库操作、SQL应用、数据查询、数据库高级应用。配书光盘附带了实例的源程序和部分讲解视频。 《Java开发实例大全（基础卷）》既适合Java程序员参考和查阅，也适合Java初学者，如高校学生、软件开

《编程数学》通过数学和算法方面的编程案例，介绍了数学方法对解决生活中问题的帮助，例如消防所选址问题、旅行商问题、蒙特卡罗模拟法、分形构造问题等。本书对提出的问题在开拓计算思维的基础上精巧求解，注重编程算法思路的引导与技巧的综合运用，并展示程序运行结果。 本书适合编程零基础者参考阅读。

??C语言由于具有灵活、高效、可移植性好等诸多优点，成为软件开发中常用的计算机编程语言之一。全书介绍了贪吃蛇游戏、计算器、黑白棋游戏、迷宫问题、扫游戏、速算24、数据结构CAI演示、进程调度、存储管理等十四个案例，各个案例独具特色。覆盖了C语言的基本知识点和各种数据结构，如堆栈、队列、链表等，综合应用了光带菜单、下拉菜单、图形设计、鼠标应用等知识。本书应用性极强，读者可以根据这些案例进行研究、修改和扩展。 ??本书适合作为高等院校、高职高专各专业学生进行C语言、数据结构、课程设计的参考用书，也可供在校教师以及相关工程技术人员参考使用。

《高等院校非计算机专业教材·C++程序设计语言：上机实习指导与习题集》是教材《C++程序设计语言》的配套用书，并与之一起作为“高等院校非计算机专业教材”成套出版发行。教材《C++程序设计语言》通过大量的程序实例，较详细地介绍了C++语言的基础知识，在初学者容易出现错误和困惑的地方，有针对性地提供了大量的附注，帮助读者更好地理解CH的基本概念和技术。 编程练习是学习高级程序设计语言必不可少的环节。为了满足初学者学习C++ 语言的需要，《高等院校非计算机专业教材·C++程序设计语言：上机实习指导与习题集（高等院校非计算机专业教材）》精心为教材各章选编了配套的上机实习内容，并在思想方法、算法和语法上给出了相应的指导，后还选编了配套的典型习题，目的是使C++初学者理论结合实际练习，逐步提高程序设计能力，并终

本书主要介绍如何使用DirectX 11开发交互式3D图形程序。书中除第1章外，每一章都通过一个完整的实验介绍DirectX 11程序开发的相关知识。首先介绍了Windows编程的基础以及必要的数学函数库的使用，然后讲解了相关的3D概念。其主题涵盖了Direct3D的基本原理和方法，例如图元的绘制、光照、纹理、混合、模板等。本书弱化过多的理论讲解，强调在实践中掌握3D图形编程的基本技能。内容深入浅出，主要面向希望学习3D图形开发技术并具有一定的程序设计基础的大中专院校学生以及希望学习3D图形编程的开发人员。

本书由浅入深、循序渐进地介绍可编程逻辑器件的基本原理、内部结构和设计方法，系统地介绍了用于CPLD/FPGA开发的VHDL语言。对于可编程器件的基本原理，首先从基本逻辑门出发，讲述控制逻辑函数表达式的设计与分解，然后详细介绍SPLD(包括PLA和PAL)、CPLD和FPGA的组成原理及其区别。对于VHDL语言，则先从VHDL基本元素、基本语法、描述模型开始，依次讲解并行语句、顺序语句、元件、库和包、有限状态机等，并配有丰富的实例，有助于学习者对概念的理解和用法的掌握。本书适合于学习芯片设计的理工科学生和VHDL初学者，可作为高等学校电子类专业的选修教材或有志于研发数字集成电路芯片的工程技术人员的参考书。

《深入理解C指针/图灵程序设计丛书》编著者里斯。 指针是C语言的一项核心特性，对于指针的掌握程度是区分C语言新手与老手的重要标志。《深入理解C指针》专门研究指针，旨在提供比其他图书更全面和深入的C 指针和内存管理知识。全书巨细靡遗地为读者展现了C语言编程中最重要的话题：C的动态内存管理、指针和函数、指针和数组、指针和字符串、指针和结构体。作者还专门用一章篇幅讲解了安全问题和指针误用，让读者对指针的认识又深入一层。全书每章都穿插了使用指针的注意事项和潜在陷阱，及时贴心地提示读者在编程中避开此类问题。 《深入理解C指针》适合C和C++程序员和开发人员阅读，也可作为计算机专业学生学习C语言的参考图书。

本书是张静教授主编的《C语言程序设计》(清华大学出版社，2015)的配套教学用书。全书由实验要求及环境、上机实验和综合训练三部分内容组成。部分为上机实验要求及实验环境，内容包括上机实验目的及Visual C++ 6.0程序开发环境，重点介绍了C程序文件的建立、编辑、编译、连接、运行和调试方法。第二部分为实验内容，由12个实验项目组成，选配了C语言教学内容相关的习题，题型包括选择、填空、改错等。第三部分为综合训练，选配了计算机等级考试上机综合练习，涵盖了C语言的全国计算机等级考试题型，各类数据类型、程序结构和典型算法。本书所有习题均附有参考答案。 本书适用于高等院校各专业的计算机基础教学，也可供继续教育学院、技能型人才教育培训机构使用，还可供相关专业人员自学使用。

本书分为6章，首先介绍了纠错编码的理论基础、分类、纠错编码的基本定义、编码规则和译码规则，群的基本概念和域的基本概念；然后重点介绍了线性分组码的定义、生成矩阵、校验矩阵、线性分组码的实现和译码以及汉明码，循环码的定义、多项式描述、生成矩阵、生成多项式和监督矩阵、循环码的编码译码、BCH码，卷积码概念、编码过程和数学描述以及图形描述（状态图、树图、网格图）；后介绍了几种纠错编码新技术。编码采用MATLAB编程或Simulink模型搭建来实现。本书将理论和实践完美地结合，使读者对编码理论有更深刻的理解，同时更好地掌握编码的意义和目的。本书特别适合作为通信工程、电子信息类专业的本科生的教材，也可以作为通信专业课程设计、专业实习和毕业设计等综合性实践教学的参考材料，还可供从事通信、电子信息行业的相关科技人

本书以问题求解的过程为主线，以C++语言为载体，介绍计算机程序的基本结构、信息的表示、流程的控制、模块化方法、指针操作、面向对象的编程方法、输入输出格式控制与文件操作和基本数据结构及应用等内容。本书采用“精讲多练”的教学模式，有丰富的例题和习题。例题从题目描述、问题分析、源程序、运行结果、程序分析、思维扩展等方面进行讲解。本书的特点是层次清晰、循序渐进、清楚易懂。书中源码有丰富的注释，能有效帮助学生理解解题思路。本书不仅涵盖了C++语言的基本语法知识，而且更注重讲解计算机程序求解问题的思想方法；目的在于既培养编程能力，又启发思维。本书既可作为高等学校理工类专业计算机程序设计课程的教材或参考书，也可供程序设计爱好者、工程技术和软件开发人员学习、参考。