本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
随着复杂网络研究的深入发展和研究领域的不断 扩展，其应用日益广泛。近年来各类数学建模竞赛中 ，基于复杂网络的题目层出不穷，但目前大部分数学 建模书籍中都没有涉及复杂网络的相关内容，而复杂 网络方面的专著偏重于基础理论和方法，涉及算法程 序实现的很少。 将基本理论和计算机算法实现相结合正是本书编 写的初衷。孙玺菁、司守奎编著的《复杂网络算法与 应用》共计9章，主要涉及复杂网络静态特征，各种 网络模型，复杂网络上的传播模型和动力学分析，复 杂网络上的同步研究，复杂网络中的搜索策略，复杂 网络中的社团结构，网络层次分析法，网络博弈论。 基于Matlab给出了作者自主编写的函数和程序，并对 书中出现的大部分例题配备了程序，便于学生从理论 和求解两个角度入手学习复杂网络的相关理论，在学 习中举一反三、
程序设计涉及语言、环境和应用三个方面，学习程序设计的关键是培养融合这三个方面的系统化思维方法。针对起步阶段的中小学学生，如何利用短暂的课外时间，在短时间内达到较好的效果，是值得思考的问题。《程序设计与应用(中学C\C )》按照认知的规律，**～第3章首先介绍计算机基本知识以及利用其工作需要的语言和算法的相关概念；第4～**0 章以ANSI C和Dev-C 语言为例介绍计算机语言的相关知识及其基本使用；在此基础上，**1～**2章面向应用，介绍基本的数据结构、基础算法及其应用；附录部分详细总结C／C 语言的知识以及其开发环境的使用和调试技巧。考虑到实战训练特点，本书精选上百个信息学竞赛试题作为案例，采用问题驱动方式进行讲解，将知识点融入实例，注重程序设计技巧的解析，从而，实现程序设计系统化思维方法的训练。 《程序设计与应用
本书从工程应用的角度出发，以我国目前广泛应用的德国西门子（SIEMENS）公司的SIMATIC系列的S7-200系列PLC为样机，突出应用性和实践性，重点讲述了小型PLC的结构、工作原理和编程规则，详细介绍了系统的指令系统、组态配置、网络通信及性能指标，并通过大量的、有针对性的工程实例，对工程上常用的PLC控制系统的设计思想、设计步骤、设计方法，进行了详尽的介绍。每章后附有习题。
本书主要介绍NFC的基本协议,内容包括主机端与NFC 控制器之间的通信协议分析和示例;NFC控制器与eSE SWPSIM 之间的协议分析;外部POS或者READER与NFC之间的射频协议分析。 本书适合NFC移动支付开发人员阅读。
本书以日记的形式记录了一个可实现四则运算计算器的设计过程，从而达到学习 FPGA 设计的目的。全书共 10 章 , 讲述了从设计开始到完成的全过程，其中包括数码管显示、键盘扫描、状态机等基础模块的设计，以及设计中需要注意的问题等，每一章的后还有夏宇闻老师对本章内容的点评及给读者的学习建议。 希望读者按顺序阅读本书，同时进行实践操作，并与书中的进度保持一致 , 终完成整个设计。读者也可以根据自己的想法来实现想要的功能，做到举一反三，以达到好的学习效果。书中使用的硬件为至芯科技的四代开发板、 Altera Cyclone IV 的芯片 , 软件为 Quartus II 13.0 sp1 。 本书可作为电子工程类、自动控制类、计算机类的大学本科高年级学生及研究生设计实验参考用书 , 亦可供其他工程人员自学与参考。
本书的内容包括支持向量机概述、支持向量分类机模型、加权支持向量分类机算法、线性支持向量分类机数据扰动分析、非线性支持向量分类机数据扰动分析、线性支持向量回归机的数据扰动分析。本书内容丰富，深入浅出。为使数学基础不同的读者都能较好地对本门知识建立起概貌，结合自己的领域实际应用该门知识，本书特别重视的是： 结合简单、典型的实例，讲清楚支持向量分类机数据扰动分析理论的产生背景，系统论述了支持向量分类机数据扰动分析体系。本书不仅可作为理工科人工智能方面研究生的扩充资料，也可供数学基础较强但对本方面知识有强烈学习愿望的其他各类读者自学之用，还可作为有关专业教师和科研人员的参考书。
虚拟仪器在当今测试技术领域具有非常广泛的应 用。王英编的《虚拟仪器设计与LabVIEW编程(普通高 等教育创新型人才培养规划教材)》介绍了虚拟仪器 的基本概念和虚拟仪器系统的构成；以LabVIEW为开 发平台,介绍了虚拟仪器的软件编程；介绍了LabVIEW 开发环境,虚拟仪器软件的编辑与调试；介绍了基于 虚拟仪器的测试信号处理以及测量数据处理；介绍了 虚拟仪器数据采集与仪器控制,*后给出常用测试仪 器的虚拟仪器设计实例。 本书主要是面向测控技术与仪器专业学生编写的 ,也可作为大中专院校机械大类、自动化大类的教学 参考书,以及相关工程技术人员设计开发虚拟仪器及 自动测试系统的技术参考书。
本书是将C++程序设计的基础知识和实践操作相结合的实践教材，以满足不同层次的教学需求。全书共6章，内容包括课程实践概述、课程实践预备知识、常用算法介绍、课程实践示例、课程实践题选，以及课程实践报告。书后附有全国计算机等级考试模拟试卷。《BR》
本书为普通高等教育 十一五 、 十二五 *规划教材，是四川省精品课程 *信号与系统 的主讲教材。本书主要讨论*信号的基础理论和分析方法。全书共7章，内容包括：概率论基础，*信号与典型信号举例，平稳性、循环平稳性与功率谱密度函数，各态历经性与*实验方法，*信号通过线性系统，带通信号与窄带高斯信号，马尔可夫链、独立增量过程与泊松过程等。本书强调*信号及其分析的基本概念、物理意义与系统方法，注重理论基础，并联系工程实践。内容全面，叙述清楚，例题与图示丰富，便于教学与自学。本书以初等概率论、高等数学与信号分析的基本知识为基础，可以作为高等学校电子信息类专业本科生与研究生教材或教学参考书，也可供相关专业领域的师生、科研和工程技术人员参考。
本书为*一流本科课程配套教材，定位于非计算机专业学生的程序设计通识课程，基于 普及程序设计能力、培养解决复杂专业问题能力、训练计算思维能力 的教学目标。 在系统讲解Python语言语法和程序设计基本思想的同时，改变传统教学中严格按知识点顺序组织内容的模式，以案例为纽带建立知识点间的有机联系，强化知识点间的交叉融合，使常用的知识反复再现，循序渐进地培养学生掌握利用Python语言解决复杂问题的能力。 本书分为程序设计基础和应用两部分：基础部分主要讲授Python语法、各种数据类型的应用、常用内置函数与常用模块的基本使用方法。应用部分主要聚焦于讲授文件与数据可视化方法。 本书为新形态教材，配套教学课件、微视频、源代码、案例素材和教案等丰富的资源，适合作为各类高校Python程序设计通识课程教材，也适合初学Python程序设计
本书系统而全面地介绍了C语言，为了适应不同读者的需求，全书分两部分：基础篇和提高篇。其中，基础篇中通过丰富的任务讲述了C语言的基本知识，概念清晰、结构分明，使读者能够对C语言有基本的了解。此外，还讲述了使用VisualC＋＋6．0和了urbo C3．0进行程序开发应该掌握的各项技术。提高篇中重点讲解了自定义数据类型、链表、位运算、预处理和文件等知识，使读者加深了对C语言的了解，并能够进行综合应用。 本书适合于高职高专计算机、通信等工科专业学生和C语言的初学者使用，也适合作为软件开发爱好者的参考用书。
本书从应用角度出发，积累了一个程序员多年工作的经验，从一个个我们经常遇到的小问题着手，讲述了Delphi程序设计中的经验与技巧，并给出了大量源程序代码，以及对代码的详细分析。不仅讲述了有些程序的功能，还从多个角度分析了实现该功能的方法，使读者能更透彻、全面地理解和运用Delphi。 本书包含的内容比较丰富，通过256个实用案例覆盖了win32 API应用、组件的应用与改造、应用程序及系统、文件处理、图形图像、数据库、打印功能扩展、剪贴板应用、多媒体技术、网络等，适合于学习Delphi编程的广大程序爱好者，特别是对于一些想快速获得编程技巧与经验的读者，更具参考价值。 所配光盘为本书实例工程文件的源代码。
为C语言程序设计与应用教程的辅导指导用书。 主要内容包括C语言基础知识、C语言程序控制结构、数组、函数、指针、结构体、编译预处理、位运算、文件、C语言图形设计等。配备了丰富的编程习题，以及模拟试卷、重点难点分析等。
本书是与《FORTRAN语言程序设计 FORTRAN95》（王丽娟等编著，清华大学出版社，ISBN 9787302483908）相配套的实验指导书，全书由FORTRAN95 集成开发环境、上机实验指导、模拟测试、习题解析与模拟测试参考答案及附录组成，其中：实验指导部分提供了12个实验，每个实验均包含实验目的、实验内容、实验要求、实验步骤、实验小结和课外练习等内容；模拟测试部分给出了3套模拟测试试卷，每套试卷包括选择题、填空题、程序阅读题和编程题4种题型，全面考查读者的理论知识和编程能力；习题解析部分给出了主教材前13章部分习题的详细解答；附录部分给出了上机实验报告的通用模板，以及FORTRAN95标准函数和标准子例行程序。 本书针对程序设计初学者的特点，强调基本概念、基本知识、基本方法、基本操作的学习和掌握，重点强化实践能力的训练和培养，是一本颇具特色
本书分为9章，第1章是离线操作Scratch，都是通过小猫来演示，增加读者的兴趣。第2章是在线操作，帮读者搭配好环境，并继续小猫的例子。第3章让读者再次熟悉界面，第4章通过一些例子熟悉积木。第5~6章是编程内容了，第7章则多学习一些特效。第8章属于进阶内容，所谓独乐乐不如众乐乐，我们还可以去参加比赛、上传作品，*后一章是几个小游戏，帮助小朋友练手加深对Scratch的学习。
本书由浅入深、循序渐进地介绍可编程逻辑器件的基本原理、内部结构和设计方法，系统地介绍了用于CPLD/FPGA开发的VHDL语言。对于可编程器件的基本原理，首先从基本逻辑门出发，讲述控制逻辑函数表达式的设计与分解，然后详细介绍SPLD(包括PLA和PAL)、CPLD和FPGA的组成原理及其区别。对于VHDL语言，则先从VHDL基本元素、基本语法、描述模型开始，依次讲解并行语句、顺序语句、元件、库和包、有限状态机等，并配有丰富的实例，有助于学习者对概念的理解和用法的掌握。本书适合于学习芯片设计的理工科学生和VHDL初学者，可作为高等学校电子类专业的选修教材或有志于研发数字集成电路芯片的工程技术人员的参考书。
本书是张静教授主编的《C语言程序设计》(清华大学出版社，2015)的配套教学用书。全书由实验要求及环境、上机实验和综合训练三部分内容组成。部分为上机实验要求及实验环境，内容包括上机实验目的及Visual C++ 6.0程序开发环境，重点介绍了C程序文件的建立、编辑、编译、连接、运行和调试方法。第二部分为实验内容，由12个实验项目组成，选配了C语言教学内容相关的习题，题型包括选择、填空、改错等。第三部分为综合训练，选配了计算机等级考试上机综合练习，涵盖了C语言的全国计算机等级考试题型，各类数据类型、程序结构和典型算法。本书所有习题均附有参考答案。 本书适用于高等院校各专业的计算机基础教学，也可供继续教育学院、技能型人才教育培训机构使用，还可供相关专业人员自学使用。
本书是“C语言程序设计”的入门教材，其目的是培养学生基本的程序设计能力。全书遵循ANSI/ISO C的标准，由具有多年教学经验和实际项目开发经验的教师用通俗易懂的语言编写而成。书中系统地介绍了C语言的基本知识，内容主要包括：计算机的基本组成、数据类型、运算符和表达式、结构化程序的3种基本结构、函数、数组、指针、结构体及共用体、文件操作等。 本书以程序设计为中心，内容安排循序渐进。每章首先介绍基本的语法知识，使学生掌握初步的语法知识后能够编写简单的程序，然后再通过一些经典的算法和丰富的例题巩固所学知识点并理解其中的难点，达到掌握基本的程序设计方法和提高编程能力的目的。 本书除配有电子教案和代码外，还提供了一个作者开发的可视化辅助学习工具—— “C语言程序执行流程可视化学习系统”(该工具在
本书是作者通过长期从事C语言教学实践编写而成，由浅入深地介绍了C语言的基本理论、基本知识以及编程的基本技能和方法，主要内容包括C程序设计入门、顺序结构程序设计、选择结构程序设计、循环结构程序设计、模块的实现--函数、预处理命令、数组、指针、结构体与共用体、动态数组与链表、文件、位运算、综合应用案例--股票交易系统等。根据计算机技术的发展和教学实践的需要，作者对本书进行了修订，使本书内容更新颖，实用性更强，例题、习题更丰富，叙述更详细，更便于学习。本书适合作为高等院校计算机专业或非计算机专业学生学习C语言程序设计的教材，也适合计算机培训班或自学的读者使用。
