本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧 尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材，以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
本书简明清晰地讲解Python入门内容，介绍学习Python所必须了解的基本知识、变量与数据类型、程序结构，包括功能强大的列表和元组、字典和集合、函数、类和对象等内容。各章内容安排如下。第1章在讲解Python语言语法前面，先介绍计算机编程的基础知识，从计算机存储单位、二进制转化、字符编码等内容讲起。第2章，正式开启Python之旅，简单介绍Python及开发环境。在信息社会，数据资源已经成为驱动社会发展的主要动力，如何对大数据进行存储、计算和分类，是第3章的学习内容“变量和数据”。程序设计有三大控制结构，分三个章节进行讲解，第4章顺序结构、第5章选择结构，第6章循环结构。7-10章讲Python程序的强大功能，它们是列表与元组，字典和集合，函数，类和对象。
《千山圣境无量观》(作者王崇道)是关于介绍千山圣境无量观的专著。 《千山圣境无量观》分为心系大道承续道脉；庄严道场紫氯重辉；开创东阁古观中兴；纯正教风广结善缘；传承文化开奇葩；跨涧攀峰撰志修史；史留华夏爱国惠乡；挖掘道乐组建乐团；东北奇葩音震华夏；钟灵毓秀聚才子；摩崖石刻赏心悦目等内容。
卢淑萍、樊红珍主编的《JavaScript与jQuery 实战教程》系统全面地介绍了JavaScript和jQuery知 识，内容涵盖JavaScript基本语法、BOM编程、DOM编 程、事件、jQuery基础、jQuery中的DOM操作、 jQuery制作动画、jQuery插件及jQuery与Ajax等客 户端交互特效制作技术。本书由浅入深，辅以大量的 实例说明，操作性和实用性较强。 本书适合作为各大专院校相关专业的网页特效设 计课程的教材，也可以作为网页特效设计的培训教材 和网站开发的参考书。
随着创客教育的兴起，学习编程的人越来越多，年龄也越来越小，如何低成本、高效率地学习编程，却困扰着许多人。而micro：bit的出现，可以说是拨开创客云雾的一道光，它身躯虽小，但功能却无比强大，不仅集成了多个传感器，还配有友好的、简单的在线编程工具MakeCode。在意识到可以借助micro：bit让更多人爱上编程、享受编程后，黄耀忠、林幸强、张建华和张可玉四位老师设计编写了适宜学生学习和老师教学编程的趣味基础教程——《micro：bit基础入门与趣味编程》。 该书共有7个单元，18课，29个趣味编程项目，并配有31个教学微视频，每个项目按“模块选择”“程序设计思路”“程序编写”进行设计，内容由浅到深，讲解详细、清晰，基本覆盖了micro：bit开发版的所有基础功能和MadeCode编程工具的基础模块和操作技能，是中小学生学习编程的入门读本。
随着创客教育的兴起，学习编程的人越来越多，年龄也越来越小，如何低成本、高效率地学习编程，却困扰着许多人。而micro：bit的出现，可以说是拨开创客云雾的一道光，它身躯虽小，但功能却无比强大，不仅集成了多个传感器，还配有友好的、简单的在线编程工具MakeCode。在意识到可以借助micro：bit让更多人爱上编程、享受编程后，黄耀忠、林幸强、张建华和张可玉四位老师设计编写了适宜学生学习和老师教学编程的趣味基础教程——《micro：bit基础入门与趣味编程》。 该书共有7个单元，18课，29个趣味编程项目，并配有31个教学微视频，每个项目按“模块选择”“程序设计思路”“程序编写”进行设计，内容由浅到深，讲解详细、清晰，基本覆盖了micro：bit开发版的所有基础功能和MadeCode编程工具的基础模块和操作技能，是中小学生学习编程的入门读本。
本书主要介绍时域有限差分法的MATLAB实现方法，书中充分利用编程技巧，用紧凑的代码来实现算法。本书共10章，主要内容包括时域有限差分法的差分格式、吸收边界条件、完全匹配层边界条件、 连接边界条件、远场外推、色散介质模拟、周期边界条件等，并通过典型几何体的电磁散射、界面的反射系数、一维光子晶体、二维光子晶体等算例进行验证。本书提供了部分MATLAB源代码， 可供相关领域学者学习和参考。本书可作为高等学校电磁学专业本科生、研究生的教学用书，亦可供其他有关专业的师生及科研人员参考。
本书是福建师范大学《数据结构》实验教材。本书第1章为抽象数据类型，该章以复数为例给出抽象数据类型定义和实现例；第2章至第7章分别是线性表、栈、串、二叉树、图、查找和排序六个重要结构的实现和应用；第8章则综合利用了所学的结构和算法，给出一个综合实验例。本书中的所有实例使用C或C 语言实现，但是也可以作为使用其它语言实现数据结构提供参考。本书既可以作为数据结构课程学习过程中的配套教材使用，也可以供爱好程序设计、和自学程序设计的人员提供参考。
本书是高职职业教育 十三五 规划教材，是S7-200Smart系列PLC编程及应用的实践教程，全书共有10章，内容包括PLC的认知、PLC的输入输出电路、PLC的编程指令、PLC控制系统程序设计方法、PLC高级编程功能的使用等，按照教知识、学技能、做实训的教学活动过程设计编写教材的具体内容，注重基本知识、基本技能的掌握和应用能力的培养，尽可能降低理论学习的枯燥性，使PLC的学习更加容易。通过本教程的学习，读者能够熟练掌握PLC编程及应用的知识和技能，初步具备工程实践的能力。
按照*关于《教育信息化2.0行动计划》的要求，人工智能、编程课程将会纳入初高中生学业水平考试。本书立足于C十十 程序设计语言的普及和应用，同时适用于全国青少年信息学奥林匹克竞赛的入门学习。本书包含计算机基础知识，C十十 语言基础，C十十 语言的顺序结构、选择结构、循环结构，数组，函数，结构体与文件，指针，算法和程序设计中常用的数学知识等内容，各章配备习题，附习题参考答案。本书结构严谨，语言简练，可以作为小学的竞赛培训用书，也适合读者选作自学资料。
ACM靠前大学生程序设计竞赛（ACM-ICPC）是靠前上认可的水平优选、规模优选、影响很深的计算机专业竞赛，目前优选参与人数达20多万。本书作者将16年的教练经验与积累撰写成本系列丛书，全面、深入而系统地将ACM-ICPC展现给读者。本系列丛书包括《ACM靠前大学生程序设计竞赛：知识与入门》、《ACM靠前大学生程序设计竞赛：算法与实现》、《ACM靠前大学生程序设计竞赛：题目与解读》、《ACM靠前大学生程序设计竞赛：比赛与思考》等4册，其中《ACM靠前大学生程序设计竞赛：知识与入门》介绍了ACM-ICPC的知识及其分类、进阶与角色、在线评测系统；《ACM靠前大学生程序设计竞赛：算法与实现》介绍了ACM-ICPC算法分类、实现及索引；《ACM靠前大学生程序设计竞赛：题目与解读》为各类算法配备经典例题及题库，并提供解题思路；《ACM靠前大学生程序设计竞赛：比赛与思
ACM靠前大学生程序设计竞赛（ACM-ICPC）是靠前上认可的水平优选、规模优选、影响很深的计算机专业竞赛，目前优选参与人数达20多万。本书作者将16年的教练经验与积累撰写成本系列丛书，全面、深入而系统地将ACM-ICPC展现给读者。本系列丛书包括《ACM靠前大学生程序设计竞赛：知识与入门》、《ACM靠前大学生程序设计竞赛：算法与实现》、《ACM靠前大学生程序设计竞赛：题目与解读》、《ACM靠前大学生程序设计竞赛：比赛与思考》等4册，其中《ACM靠前大学生程序设计竞赛：知识与入门》介绍了ACM-ICPC的知识及其分类、进阶与角色、在线评测系统；《ACM靠前大学生程序设计竞赛：算法与实现》介绍了ACM-ICPC算法分类、实现及索引；《ACM靠前大学生程序设计竞赛：题目与解读》为各类算法配备经典例题及题库，并提供解题思路；《ACM靠前大学生程序设计竞赛：比赛与思
ACM靠前大学生程序设计竞赛（ACM-ICPC）是靠前上认可的水平优选、规模优选、影响很深的计算机专业竞赛，目前优选参与人数达20多万。本书作者将16年的教练经验与积累撰写成本系列丛书，全面、深入而系统地将ACM-ICPC展现给读者。本系列丛书包括《ACM靠前大学生程序设计竞赛：知识与入门》、《ACM靠前大学生程序设计竞赛：算法与实现》、《ACM靠前大学生程序设计竞赛：题目与解读》、《ACM靠前大学生程序设计竞赛：比赛与思考》等4册，其中《ACM靠前大学生程序设计竞赛：知识与入门》介绍了ACM-ICPC的知识及其分类、进阶与角色、在线评测系统；《ACM靠前大学生程序设计竞赛：算法与实现》介绍了ACM-ICPC算法分类、实现及索引；《ACM靠前大学生程序设计竞赛：题目与解读》为各类算法配备经典例题及题库，并提供解题思路；《ACM靠前大学生程序设计竞赛：比赛与思
ACM靠前大学生程序设计竞赛（ACM-ICPC）是靠前上认可的水平优选、规模优选、影响很深的计算机专业竞赛，目前优选参与人数达20多万。本书作者将16年的教练经验与积累撰写成本系列丛书，全面、深入而系统地将ACM-ICPC展现给读者。本系列丛书包括《ACM靠前大学生程序设计竞赛：知识与入门》、《ACM靠前大学生程序设计竞赛：算法与实现》、《ACM靠前大学生程序设计竞赛：题目与解读》、《ACM靠前大学生程序设计竞赛：比赛与思考》等4册，其中《ACM靠前大学生程序设计竞赛：知识与入门》介绍了ACM-ICPC的知识及其分类、进阶与角色、在线评测系统；《ACM靠前大学生程序设计竞赛：算法与实现》介绍了ACM-ICPC算法分类、实现及索引；《ACM靠前大学生程序设计竞赛：题目与解读》为各类算法配备经典例题及题库，并提供解题思路；《ACM靠前大学生程序设计竞赛：比赛与思
ACM靠前大学生程序设计竞赛（ACM-ICPC）是靠前上认可的水平优选、规模优选、影响很深的计算机专业竞赛，目前优选参与人数达20多万。本书作者将16年的教练经验与积累撰写成本系列丛书，全面、深入而系统地将ACM-ICPC展现给读者。本系列丛书包括《ACM靠前大学生程序设计竞赛：知识与入门》、《ACM靠前大学生程序设计竞赛：算法与实现》、《ACM靠前大学生程序设计竞赛：题目与解读》、《ACM靠前大学生程序设计竞赛：比赛与思考》等4册，其中《ACM靠前大学生程序设计竞赛：知识与入门》介绍了ACM-ICPC的知识及其分类、进阶与角色、在线评测系统；《ACM靠前大学生程序设计竞赛：算法与实现》介绍了ACM-ICPC算法分类、实现及索引；《ACM靠前大学生程序设计竞赛：题目与解读》为各类算法配备经典例题及题库，并提供解题思路；《ACM靠前大学生程序设计竞赛：比赛与思
本书以89C51单片机为典型机，详细介绍了MCS-51系列单片机的构成、工作原理、指令系统、汇编语言程序设计、中断技术、定时/计数器、串行口通信等内容，并结合应用实际，系统地介绍了MCS-51系列单片机的扩展技术，其中包括存储器扩展、I/O口扩展、显示器与键盘接口、A/D及D/A接口技术等。为顺应单片机技术的发展趋势，跟踪单片机技术的近期新发展，满足不同层次的研究开发人员的需求，本书还详细介绍了AT89系列单片机及C8051F系列单片机的特点、应用和编程开发方法。本书共分为十一章，内容丰富，力求反映当前单片机技术的近期新方法，在对单片机原理叙述全面、准确的基础上，加强了实践教学环节。为了便于初学者理解和掌握，本书在内容安排上采用循序渐进的论述方法，从基础理论到实践应用，并充分考虑所使用实例的典型性和实用性，期望读者在学习后
C++是一种使用非常广泛的计算机编程语言，也是信息学奥赛指定的语言之一。本书将C++编程知识与中小学数学知识结合起来，并将计算机科学史上一些有趣的小故事融入其中。通过这种特殊的编写方式让同学们学习编程、复习数学、了解历史，潜移默化中培养同学们的计算思维和编程思维。 全书共14课，主要介绍C++编程工具的安装及使用，C++编程的基础知识，C++的顺序语句、选择语句、循环语句及常用的库函数的使用，用C++解决数学计算、统计推理、和差倍分等中小学数学问题。 本书适合小学四年级以上的学生和信息学奥赛的初学者阅读，也适合家长及C++编程爱好者参考，还可作为中小学信息技术课程的教材。
