本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧 尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
本书主要介绍NFC的基本协议,内容包括主机端与NFC 控制器之间的通信协议分析和示例;NFC控制器与eSE SWPSIM 之间的协议分析;外部POS或者READER与NFC之间的射频协议分析。 本书适合NFC移动支付开发人员阅读。
本书的内容包括支持向量机概述、支持向量分类机模型、加权支持向量分类机算法、线性支持向量分类机数据扰动分析、非线性支持向量分类机数据扰动分析、线性支持向量回归机的数据扰动分析。本书内容丰富,深入浅出。为使数学基础不同的读者都能较好地对本门知识建立起概貌,结合自己的领域实际应用该门知识,本书特别重视的是: 结合简单、典型的实例,讲清楚支持向量分类机数据扰动分析理论的产生背景,系统论述了支持向量分类机数据扰动分析体系。本书不仅可作为理工科人工智能方面研究生的扩充资料,也可供数学基础较强但对本方面知识有强烈学习愿望的其他各类读者自学之用,还可作为有关专业教师和科研人员的参考书。
虚拟仪器在当今测试技术领域具有非常广泛的应 用。王英编的《虚拟仪器设计与LabVIEW编程(普通高 等教育创新型人才培养规划教材)》介绍了虚拟仪器 的基本概念和虚拟仪器系统的构成;以LabVIEW为开 发平台,介绍了虚拟仪器的软件编程;介绍了LabVIEW 开发环境,虚拟仪器软件的编辑与调试;介绍了基于 虚拟仪器的测试信号处理以及测量数据处理;介绍了 虚拟仪器数据采集与仪器控制,*后给出常用测试仪 器的虚拟仪器设计实例。 本书主要是面向测控技术与仪器专业学生编写的 ,也可作为大中专院校机械大类、自动化大类的教学 参考书,以及相关工程技术人员设计开发虚拟仪器及 自动测试系统的技术参考书。
本书是将C++程序设计的基础知识和实践操作相结合的实践教材,以满足不同层次的教学需求。全书共6章,内容包括课程实践概述、课程实践预备知识、常用算法介绍、课程实践示例、课程实践题选,以及课程实践报告。书后附有全国计算机等级考试模拟试卷。《BR》
本书为*一流本科课程配套教材,定位于非计算机专业学生的程序设计通识课程,基于 普及程序设计能力、培养解决复杂专业问题能力、训练计算思维能力 的教学目标。 在系统讲解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章,内容包括:概率论基础,*信号与典型信号举例,平稳性、循环平稳性与功率谱密度函数,各态历经性与*实验方法,*信号通过线性系统,带通信号与窄带高斯信号,马尔可夫链、独立增量过程与泊松过程等。本书强调*信号及其分析的基本概念、物理意义与系统方法,注重理论基础,并联系工程实践。内容全面,叙述清楚,例题与图示丰富,便于教学与自学。本书以初等概率论、高等数学与信号分析的基本知识为基础,可以作为高等学校电子信息类专业本科生与研究生教材或教学参考书,也可供相关专业领域的师生、科研和工程技术人员参考。
本书由浅入深、循序渐进地介绍可编程逻辑器件的基本原理、内部结构和设计方法,系统地介绍了用于CPLD/FPGA开发的VHDL语言。对于可编程器件的基本原理,首先从基本逻辑门出发,讲述控制逻辑函数表达式的设计与分解,然后详细介绍SPLD(包括PLA和PAL)、CPLD和FPGA的组成原理及其区别。对于VHDL语言,则先从VHDL基本元素、基本语法、描述模型开始,依次讲解并行语句、顺序语句、元件、库和包、有限状态机等,并配有丰富的实例,有助于学习者对概念的理解和用法的掌握。本书适合于学习芯片设计的理工科学生和VHDL初学者,可作为高等学校电子类专业的选修教材或有志于研发数字集成电路芯片的工程技术人员的参考书。
全书分为两部分。*部分为15个上机实践的内容,每个上机实践由若干个实验组成。每个实验由相关知识点、实验目的、实验要求、程序模板、实验指导和实验报告组成。在进行实验之前,首先通过实验目的了解实验要完成的关键主题,通过实验要求知道本实验应达到怎样的标准,然后完成实验模板,填写实验报告。第二部分为主教材的习题参考解答。。 本书适合作为高等院校计算机专业Java语言程序设计以及面向对象语言课程的教材。
本书是与《Python程序设计》(第2版)配合使用的实验教材。内容包括《Python程序设计》(第2版)各章的实验及解析,教材习题参考答案与解析,以及部分Python基础章节的补充习题与解析,样卷及参考答案。书中习题内容和层次丰富,取材新颖且实用性强,解题思路Python化思想强。 本书可作为高等学校 Python程序设计 课程的实验指导教材,亦可作为其他Python程序设计课程的实践教学参考书。
数学、逻辑学、计算机科学三大领域实属一家,彼此成jiu,彼此影响。从古希腊哲学到计算机,数字、计算、推理这些貌似简单的概念在三千年里融汇、碰撞。如何将逻辑赋予数学意义?如何从简单运算走向复杂智慧?这背后充满了人类智慧的闪光:从柏拉图、莱布尼茨、罗素、香农到图灵都试图从数学公式中证明推理的合理性,缔造完整的思维体系。他们是凭天赋制胜,还是鲁莽地大胆一搏?本书描绘了一场人类探索数学、算法与逻辑思维,并走向人工智能的梦想之旅,展现了哲学家、逻辑学家与数学家独特的思维方式,探讨了算法与人工智能对科学和社会的巨大影响。
本书是高职类信息系列教材,以 项目引导、任务驱动 为教学理念编写的适用教材。在教材项目内容上,能融合C语言理论知识,又与电子专业内容相关,且项目内容从简单到复杂、独立项目到综合项目的思路。考虑到C语言课程内容范围广且章节间独立性较强,先通过独立项目,来完成课程教学内容,既控制了项目的难易程度,又包含了C语言所有语法知识,很后1个大综合项目对课程总结和综合运用,侧重其在电子专业中的工程应用,使教学内容更加具有针对性。
本书以MCS-51系列单片机实际应用为主线,采用项目驱动法编写,以理论为基础,注重实践,采用C语言编程。本书讲解通俗易懂、条理清楚,程序编写思路简洁清晰,易于学生理解。在训练项目的选取上,采用独立模块设计,项目内容尽可能地选择了目前实际工程中常用的新技术、新器件,既力求实例丰富,又强调实用性、针对性和可操作性。书中对软件的安装与使用部分采用适量图片进行说明,以帮助读者更好地理解知识及过程,加深印象。通过学习该书,读者可自行完成多个综合训练项目的设计与制作,达到学以致用的效果。本书共8个项目:认识单片机、单片机*小系统与I/O接口应用、单片机中断系统与定时器/计数器应用、LED点阵与LCD液晶显示接口技术、键盘接口技术、A/D与D/A转换接口技术、串行通信接口技术、单片机应用系统设计。 本书可作为高职高专院校
本书主要介绍MegaPi与树莓派的结合,树莓派用户如何利用Python就能实现对MegaPi上各种电机及电子模块的控制。本书力图拓展学生的视野,知识的广度和深度,从而成为中学生STEM教育课程的一个尝试与探索。本书适合已经有一定开源软硬件知识基础的高中信息技术课程使用,也可以作为各种培训机构教学参考用书。
本书从资本推手、VR产业链、VR的商业模式、VR沉浸式体验、VR变现和VR未来趋势等6个方面,多层次解读了虚拟现实VR产业的起源、发展、分化蝶变和未来创新的轨迹,给广大VR厂商、VR创业者、VR爱好者、科幻粉丝和广大读者观众呈现丰富多彩、光怪陆离的VR世界。本书集中探讨了VR产业链的三大环节、六大商业模式和六大未来趋势。经过多年发展蝶变,VR产业链已形成三大环节,*个环节是上游,即硬件设备和平台服务提供商。第二个环节是中游,即以行业应用为主的内容提供商。第三个环节是下游,即渠道服务提供商。所有产业的发展都离不开良好的商业模式。本书提出了VR产业的六大商业模式,包括VR游戏化、VR大众化、VR成人化、VR社交化、VR电商化和VR云化。其中,VR社交化可谓是众望所归的商业模式,因为人是社会关系的总和,VR技术又被社交巨头Facebook所引爆,VR
本书是计算机图形学入门教程,以VC 与OpenGL为工具讲解计算机图形学以及动画制作的基本知识。第1章通过一些有趣的实例直观地展示了一些简单的计算机图形绘制与动画制作方法,同时让读者了解、熟悉并逐步掌握VC 绘图相关类及函数的使用;第2章讲解二维直线与曲线绘制方法以及区域填充的基本内容;第3章学习三维图形投影、消隐等内容;第4章通过一些典型实例介绍OpenGL;第5、6章讲解样条曲面、几何造型与光照模型;第7、8、9章研究分析建模与动画实例。本书适合作为计算机科学与技术、软件工程、信息与计算科学、数字媒体技术、机械与建筑设计等专业的计算机图形学教材,也可供对计算机图形动画制作感兴趣的程序设计人员参考。
《小创客玩转图形化编程》系统介绍了图形化编程语言,利用它很容易创造出各种交互式故事、动画、游戏、音乐和艺术等,既包括软件编程,也包括硬件编程,通过软硬件结合,把产品创作从计算机的虚拟世界,连接到现实的物理世界,扩展了程序的应用领域。本书通过25个编程项目实例,增强小创客对编程的了解,强化小创客的逻辑思维能力,激发小创客的学习热情,培养小创客的创新精神、实际动手能力和团队协作意识等。书中的每个项目都包含项目描述、实现思路、实施过程和扩展方向,引导小创客不断探索;这些项目也包含了大量的科学与技术知识,使小创客即学习了编程,又掌握了科学与技术知识。本书可作中小学编程教材使用,也可供编程爱好者阅读。
Python是近年来十分流行的编程语言。作为脚本语言,Python尽管在速度上比编译语言如C和C 等略有逊色,但其开放性、跨平台和易学易用的特点获得了众多专业和非专业人士的青睐和支持。然而目前在介绍Python的书目中却难以觅到一本合适的教材,大部分资料为译著,内容过于宽泛,价格也不菲。一本适合初学者,既能让读者把握Python的核心内容而又不失简洁性,便于理解和操作的实用学习教程正是本书的目标。本书介绍Python核心知识,每章都有明确的学习目标,配有大量在交互环境下的操练实例和运行结果以帮助读者理解知识点。全书共9章,按照循序渐进的原则安排内容,从内置对象类型到语句语法,再到函数和模块,以及面向对象编程和异常处理等,较全面地覆盖了Python基本内容,后一章为典型程序代码和程序调试方法,为学习程序设计提供了样例。本书适合