本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
陈郑军、刘振东编*的《WPF应用开发项目教程》以项目化任务驱动式组织教学内容，循序渐进地介绍WPF的开发环境、XAML基础、Application类、窗体、布局控件、常用控件、路由事件、系统命令库、自定义命令、Binding、资源、样式、模板、触发器等，使读者不仅能够学习WPF的各种开发知识，而且能够培养分析问题、解决问题的能力，以*快的速度和*好的效果去掌握WPF开发技术。 全书共6个项目，均是围绕图书管理系统主题展开，每个项目都以一个图书管理典型应用设计，再以多个子任务完成，每个子任务都具有较高的应用价值和代表性。教学内容的设计符合学习者面对问题时的情况，依照任务描述、知识准备、任务分析、任务实施和任务小结5个环节进行，既能科学地解决问题又有很强的锻炼作用。 全书以图书管理系统贯穿全程，将各个知识环节融入案例中
按照*关于《教育信息化2.0行动计划》的要求，人工智能、编程课程将会纳入初高中生学业水平考试。本书立足于C十十 程序设计语言的普及和应用，同时适用于全国青少年信息学奥林匹克竞赛的入门学习。本书包含计算机基础知识，C十十 语言基础，C十十 语言的顺序结构、选择结构、循环结构，数组，函数，结构体与文件，指针，算法和程序设计中常用的数学知识等内容，各章配备习题，附习题参考答案。本书结构严谨，语言简练，可以作为小学的竞赛培训用书，也适合读者选作自学资料。
数据预处理的目的是在进行数据分析前，通过技术手段解决集中存在的数据质量问题，并进一步提升数据信息含量的。本书主要围绕着 什么是数据预处理、数据预处理的作用是什么、如何进行数据预处理 展开，主要内容包括缺失值处理、数据纠错、数据格式转化、低频分类数据处理、高偏度数据处理、异常值处理、数据配平、数据特征缩放、数据归约等。通过本书的学习，读者可以充分理解常用数据预处理方法的精髓，并掌握具体技术细节，为数据分析实践打下扎实基础。本书可作为统计学、数据科学与大数据技术、计算机相关专业等本科专业和统计学、应用统计学等专业研究生的教材或教学参考用书。
随着复杂网络研究的深入发展和研究领域的不断 扩展，其应用日益广泛。近年来各类数学建模竞赛中 ，基于复杂网络的题目层出不穷，但目前大部分数学 建模书籍中都没有涉及复杂网络的相关内容，而复杂 网络方面的专著偏重于基础理论和方法，涉及算法程 序实现的很少。 将基本理论和计算机算法实现相结合正是本书编 写的初衷。孙玺菁、司守奎编著的《复杂网络算法与 应用》共计9章，主要涉及复杂网络静态特征，各种 网络模型，复杂网络上的传播模型和动力学分析，复 杂网络上的同步研究，复杂网络中的搜索策略，复杂 网络中的社团结构，网络层次分析法，网络博弈论。 基于Matlab给出了作者自主编写的函数和程序，并对 书中出现的大部分例题配备了程序，便于学生从理论 和求解两个角度入手学习复杂网络的相关理论，在学 习中举一反三、
本书以Microsoft Access 关系型数据管理系统软件为背景，介绍数据库的基本概念，数据库的建立、维护、管理及数据库设计的步骤。 本书共分8章：第1章介绍数据库的理论基础；第2章至第7章按Access数据库的6个对象（表、查询、窗体、报表、宏、模块）依次划分章节，每章都以案例引入，采用提出问题、解决问题、归纳总结的步骤叙述，且每章都有理论习题与两个不同难度的实验题；第8章提供了两个有实用价值的综合实验。各章的例题以及实验题都经过精心设计与推敲，按难易程度分成三个档次，力求*限度地覆盖Access的知识面，涵盖《全国计算机等级考试二级Access考试大纲》的考试内容。所有实验都经过上机运行并通过。 本书既适合作为高等院校数据库课程的教材，也适合作为自学用书或者作为参加Access二级考试的考前辅导用书。 本书以Access 2010版为主要背
学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程实际开发的角度出发，融汇了多位开发高手的经验和总结设计了这套《HTML CSS JAVASCRIPT编程魔卡》，将学习HTML CSS JAVASCRIPT开发时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括HTML CSS JAVASCRIPT相关的函数、方法、属性等开发中常用内容，既适合作HTML CSS JAVASCRIPT开发初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。
本书从工程应用的角度出发，以我国目前广泛应用的德国西门子（SIEMENS）公司的SIMATIC系列的S7-200系列PLC为样机，突出应用性和实践性，重点讲述了小型PLC的结构、工作原理和编程规则，详细介绍了系统的指令系统、组态配置、网络通信及性能指标，并通过大量的、有针对性的工程实例，对工程上常用的PLC控制系统的设计思想、设计步骤、设计方法，进行了详尽的介绍。每章后附有习题。
本书内容共81个Python实验项目，涵盖运算符、内置函数、选择结构与循环结构、函数定义与使用、面向对象编程、字符串与正则表达式等Python基础知识，以及文件操作、数据库操作、Office文档操作、多线程与多进程、Socket编程、tkinter编程、算法分析与设计、数字图像处理、计算机图形学、声音处理、密码学、自动运维、网络爬虫、数据分析、数据可视化和机器学习等领域的应用。书中全部案例代码适用于Python 3.5/3.6/3.7或更高版本。 本书可以作为Python程序设计课程的实验指导书（根据需要选择不同的实验项目）或教师参考用书，也可以作为Python爱好者的自学参考书。
学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程大咖的角度出发，总结大咖们的经验设计了这套《Python编程超级魔卡》，将学习Python时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括Python常用内置函数、Python模块、报错机制中英文对照等开发中常用内容，既适合作为Python初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。
Python是近年来十分流行的编程语言。作为脚本语言，Python尽管在速度上比编译语言如C和C 等略有逊色，但其因开放性、跨平台和易学易用的特点获得了众多专业和非专业人士的青睐与支持。然而目前在介绍Python的书目中却难以觅到一本合适的教材，大部分资料为译著，内容过于宽泛，价格也不菲。一本适于初学者，让读者把握Python的核心内容的教材成为我们本次编写的目的。 本书以凝练的风格介绍Python的核心知识，每一章都有明确的学习目标，并配有大量在交互环境下操练的实例和运行结果，以帮助读者理解具体的知识点。本书介绍了Python自带的开发环境以及IPython等其他集成开发环境，且全部实例的代码均在Python 3环境下调试通过。 全书共分9章，按照循序渐进的原则安排，从内置对象类型到语句语法，再到函数和模块，以及面向对象编程和异常处理等，较全面地
本书以日记的形式记录了一个可实现四则运算计算器的设计过程，从而达到学习 FPGA 设计的目的。全书共 10 章 , 讲述了从设计开始到完成的全过程，其中包括数码管显示、键盘扫描、状态机等基础模块的设计，以及设计中需要注意的问题等，每一章的后还有夏宇闻老师对本章内容的点评及给读者的学习建议。 希望读者按顺序阅读本书，同时进行实践操作，并与书中的进度保持一致 , 终完成整个设计。读者也可以根据自己的想法来实现想要的功能，做到举一反三，以达到好的学习效果。书中使用的硬件为至芯科技的四代开发板、 Altera Cyclone IV 的芯片 , 软件为 Quartus II 13.0 sp1 。 本书可作为电子工程类、自动控制类、计算机类的大学本科高年级学生及研究生设计实验参考用书 , 亦可供其他工程人员自学与参考。
本书的内容包括支持向量机概述、支持向量分类机模型、加权支持向量分类机算法、线性支持向量分类机数据扰动分析、非线性支持向量分类机数据扰动分析、线性支持向量回归机的数据扰动分析。本书内容丰富，深入浅出。为使数学基础不同的读者都能较好地对本门知识建立起概貌，结合自己的领域实际应用该门知识，本书特别重视的是： 结合简单、典型的实例，讲清楚支持向量分类机数据扰动分析理论的产生背景，系统论述了支持向量分类机数据扰动分析体系。本书不仅可作为理工科人工智能方面研究生的扩充资料，也可供数学基础较强但对本方面知识有强烈学习愿望的其他各类读者自学之用，还可作为有关专业教师和科研人员的参考书。
虚拟仪器在当今测试技术领域具有非常广泛的应 用。王英编的《虚拟仪器设计与LabVIEW编程(普通高 等教育创新型人才培养规划教材)》介绍了虚拟仪器 的基本概念和虚拟仪器系统的构成；以LabVIEW为开 发平台,介绍了虚拟仪器的软件编程；介绍了LabVIEW 开发环境,虚拟仪器软件的编辑与调试；介绍了基于 虚拟仪器的测试信号处理以及测量数据处理；介绍了 虚拟仪器数据采集与仪器控制,*后给出常用测试仪 器的虚拟仪器设计实例。 本书主要是面向测控技术与仪器专业学生编写的 ,也可作为大中专院校机械大类、自动化大类的教学 参考书,以及相关工程技术人员设计开发虚拟仪器及 自动测试系统的技术参考书。
学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程实际开发的角度出发，融汇了多位开发高手的经验和总结设计了这套《Python数据分析编程魔卡》，将学习Python数据分析时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括python数据分析相关模块的函数、方法、属性等开发中常用内容，既适合作Python数据分析初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。
学编程用不用背知识点，用不用记笔记？哪些知识该记？这些都是困扰编程初学者的问题。我们从编程实际开发的角度出发，融汇了多位开发高手的经验和总结设计了这套《Python数据分析编程魔卡》，将学习Python数据分析时需要背记的内容系统整理出来，让学习者在学习过程中能随时查找使用。 本套卡片有很强的实用性，内容包括python数据分析相关模块的函数、方法、属性等开发中常用内容，既适合作Python数据分析初学者配套学习，又适合程序开发人员随时查询函数、方法、技巧等。
本书是与《FORTRAN语言程序设计 FORTRAN95》（王丽娟等编著，清华大学出版社，ISBN 9787302483908）相配套的实验指导书，全书由FORTRAN95 集成开发环境、上机实验指导、模拟测试、习题解析与模拟测试参考答案及附录组成，其中：实验指导部分提供了12个实验，每个实验均包含实验目的、实验内容、实验要求、实验步骤、实验小结和课外练习等内容；模拟测试部分给出了3套模拟测试试卷，每套试卷包括选择题、填空题、程序阅读题和编程题4种题型，全面考查读者的理论知识和编程能力；习题解析部分给出了主教材前13章部分习题的详细解答；附录部分给出了上机实验报告的通用模板，以及FORTRAN95标准函数和标准子例行程序。 本书针对程序设计初学者的特点，强调基本概念、基本知识、基本方法、基本操作的学习和掌握，重点强化实践能力的训练和培养，是一本颇具特色
为C语言程序设计与应用教程的辅导指导用书。 主要内容包括C语言基础知识、C语言程序控制结构、数组、函数、指针、结构体、编译预处理、位运算、文件、C语言图形设计等。配备了丰富的编程习题，以及模拟试卷、重点难点分析等。
本书分为9章，第1章是离线操作Scratch，都是通过小猫来演示，增加读者的兴趣。第2章是在线操作，帮读者搭配好环境，并继续小猫的例子。第3章让读者再次熟悉界面，第4章通过一些例子熟悉积木。第5~6章是编程内容了，第7章则多学习一些特效。第8章属于进阶内容，所谓独乐乐不如众乐乐，我们还可以去参加比赛、上传作品，*后一章是几个小游戏，帮助小朋友练手加深对Scratch的学习。
本书为普通高等教育 十一五 、 十二五 *规划教材，是四川省精品课程 *信号与系统 的主讲教材。本书主要讨论*信号的基础理论和分析方法。全书共7章，内容包括：概率论基础，*信号与典型信号举例，平稳性、循环平稳性与功率谱密度函数，各态历经性与*实验方法，*信号通过线性系统，带通信号与窄带高斯信号，马尔可夫链、独立增量过程与泊松过程等。本书强调*信号及其分析的基本概念、物理意义与系统方法，注重理论基础，并联系工程实践。内容全面，叙述清楚，例题与图示丰富，便于教学与自学。本书以初等概率论、高等数学与信号分析的基本知识为基础，可以作为高等学校电子信息类专业本科生与研究生教材或教学参考书，也可供相关专业领域的师生、科研和工程技术人员参考。
