本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧 尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
《Java面向对象程序设计实验教程》是《Java面向对象程序设计》的配套实验指导教材。《Java面向对象程序设计实验教程》分两部分:部分是基础知识篇,主要讲述Java面向对象程序设计实验指导,通过给出切合生活实际的综合性案例和详细的上机指导,将Java面向对象学习中的知识点由浅入深、循序渐进地穿插在案例当中,适当借助UML类图和问题拓展,培养学生发现问题、分析问题、解决问题的能力,启发学生深入思考;第二部分是上机实践篇,主要包括课程实验大纲(总体规划了实验学习目标,并给出建议的课时安排)和实验报告(给出与实验指导相配套的各个实验目的和要求,以及实验内容和过程,以便读者可以形成具体的实验结果文档,便于验收学习成效)。
《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实验设计的常用技术等章节内容。
《C程序设计(第四版)》作为高等院校理工类非计算机专业学生的c程序设计教材,系统地介绍了标准c程序设计的基本概念和程序设计方法。为了突出C程序设计的精髓,教材合理取舍内容,简化语法说明,以大量的程序实例,力求把程序设计的学习从语法知识提高到解决实际问题的能力培养上。 《C程序设计(第四版)》共分10章,内容包括c语言基础、C语言的基本数据类型及运算、C程序设计初步、分支结构的C程序设计、循环结构的c程序设计、数组、函数及变量存储类型、指针、结构体和共用体及文件。每章末均有本章重点及习题。 为了便于读者学习并加强实践环节,《C程序设计(第四版)》有配套教学用书《 (第四版)学习指导》,内容包括各章节的学习指导、习题和解答,上机实验环境的介绍,上机实验题目及实验指导。 本套书既可作为
《千山圣境无量观》(作者王崇道)是关于介绍千山圣境无量观的专著。 《千山圣境无量观》分为心系大道承续道脉;庄严道场紫氯重辉;开创东阁古观中兴;纯正教风广结善缘;传承文化开奇葩;跨涧攀峰撰志修史;史留华夏爱国惠乡;挖掘道乐组建乐团;东北奇葩音震华夏;钟灵毓秀聚才子;摩崖石刻赏心悦目等内容。
C语言是计算机专业的基础课和核心课程。本书内容包括C语言概述、C语言程序开发环境、基本数据类型、运算符与表达式、顺序结构程序设计、选择结构程序设计、循环结构程序设计、数组、函数、指针、预处理命令、结构体与联合体、位运算、文件、链表。本书内容全面,结构清晰,语言通俗,重难点突出,例题丰富,所有程序都能够直接运行。 本书可作为高等院校的计算机及相关专业的C语言教材,也可作为计算机软件开发、等级考试和软件资格考试人员的参考书。
本书共有四个部分共十二章,*部分基础,包括第1章软件准备、第2章Python基础知识、第3章类和子类简介;第二部分基本模块,包括第4章numpy模块、第5章pandas模块、第6章matplotlib模块、第7章scipy模块;第三部分编程思维训练,包括第8章基本编程训练、第9章若干计算方法的编程训练;第四部分数据科学,包括第10章探索性数据分析及数据准备、第11章有监督学习概论、第12章一些有监督学习模型。
随着创客教育的兴起,学习编程的人越来越多,年龄也越来越小,如何低成本、高效率地学习编程,却困扰着许多人。而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编程工具的基础模块和操作技能,是中小学生学习编程的入门读本。
卢淑萍、樊红珍主编的《JavaScript与jQuery 实战教程》系统全面地介绍了JavaScript和jQuery知 识,内容涵盖JavaScript基本语法、BOM编程、DOM编 程、事件、jQuery基础、jQuery中的DOM操作、 jQuery制作动画、jQuery插件及jQuery与Ajax等客 户端交互特效制作技术。本书由浅入深,辅以大量的 实例说明,操作性和实用性较强。 本书适合作为各大专院校相关专业的网页特效设 计课程的教材,也可以作为网页特效设计的培训教材 和网站开发的参考书。
本书主要介绍时域有限差分法的MATLAB实现方法,书中充分利用编程技巧,用紧凑的代码来实现算法。本书共10章,主要内容包括时域有限差分法的差分格式、吸收边界条件、完全匹配层边界条件、 连接边界条件、远场外推、色散介质模拟、周期边界条件等,并通过典型几何体的电磁散射、界面的反射系数、一维光子晶体、二维光子晶体等算例进行验证。本书提供了部分MATLAB源代码, 可供相关领域学者学习和参考。本书可作为高等学校电磁学专业本科生、研究生的教学用书,亦可供其他有关专业的师生及科研人员参考。