本书是 逻辑与形而上学教科书系列 中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。*章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题,其中包括希尔伯特第十问题(丢番图整数解判定问题)的否定性结果(即马季亚谢维奇定理)和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中,读者可以找到递归论中经典的构造技巧 尾节扩张(算术力迫)和有穷损害优先方法。第五章简单介绍了递归论的当前热点 算法随机性理论的基本概念,其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导论课程的教材,以期为进一步学习与研究递归论建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解递
随着复杂网络研究的深入发展和研究领域的不断 扩展,其应用日益广泛。近年来各类数学建模竞赛中 ,基于复杂网络的题目层出不穷,但目前大部分数学 建模书籍中都没有涉及复杂网络的相关内容,而复杂 网络方面的专著偏重于基础理论和方法,涉及算法程 序实现的很少。 将基本理论和计算机算法实现相结合正是本书编 写的初衷。孙玺菁、司守奎编著的《复杂网络算法与 应用》共计9章,主要涉及复杂网络静态特征,各种 网络模型,复杂网络上的传播模型和动力学分析,复 杂网络上的同步研究,复杂网络中的搜索策略,复杂 网络中的社团结构,网络层次分析法,网络博弈论。 基于Matlab给出了作者自主编写的函数和程序,并对 书中出现的大部分例题配备了程序,便于学生从理论 和求解两个角度入手学习复杂网络的相关理论,在学 习中举一反三、
在我们生活的世界中,各种各样形形色色的事物和现象,其中都必定包含着科学的成分。在这些成分中,有些是你所熟知的,有些是你未知的,有些是你还一知半解的。面对未知的世界,好奇的你是不是有很多疑惑、不解和期待呢?!“形形色色的科学”趣味科普丛书,把我们身边方方面面的科学知识活灵活现、生动有趣地展示给你,让你在畅快阅读中收获这些鲜活的科学知识!《BR》 21世纪,飞速发展的计算机技术深入到手机、电视、数码相机、游戏机等的生活产品中。计算机都是依靠程序来运行的。为了编写出能够在计算机上运行良好的程序就必须学习计算机算法的知识。本书用流程图、程序语言等日常生活中经常出现的事物为工具,以图解的形式讲解了算法的相关知识,即使是不具备计算机知识的初学者,也能够轻松理解。
物联网、人工智能、大数据解析和机器人工学等,日新月异的科学技术每天都在给人类的生活带来重要的变化。身处这样的一个时代,我们面临一个选择,即怎样面对日新月异的科学技术的发展。在这样的变化中,是作为被动的一方,还是成为主动的一方,抑或是站在时代的前端成为创造的一方?这将取决于我们的选择。只要我们不想成为被动的一方,掌握编程的基本技能就是必不可少的。 本书从讲解学习编程的益处出发,向读者介绍了*好的学习编程的方法。紧接着,介绍了主要编程工具的概要和特点,包括 编程一小时 点灯机器人 Scratch 编码猴 等编程工具。了解这些编程工具后,书中又教读者使用 Scratch 从头到尾制作了一个游戏,从而提高他们的编程技能。*后,作者分析了各编程语言的特点,并为读者学习编程提供了真正有益的指导。本书讲解由浅入深,
本书系统地介绍了算法设计与分析的基本内容,并对讨论的算法进行了详尽分析。全书共8章,内容包括算法基础、基本算法设计和分析技术(分治法、动态规划、贪心法、回溯法和分枝限界法)、图算法以及NP完全性理论。书中以类高级程序设计语言对算法所作的简明描述,使得稍微具有程序设计语言知识的人即可读懂。此外,书中以大量图例说明每个算法的工作过程,使得算法更加易于理解和掌握。 本书可作为高等院校与计算机相关的各专业 算法设计 课程的教材,也可作为计算机领域的相关科研人员的参考书。此外,本书还可供参加ACM程序设计大赛的算法爱好者参考。
ACM国际大学生程序设计竞赛(ACM-ICPC)是国际上公认的水平、规模*、影响深的计算机专业竞赛,目前全球参与人数达20多万。《ACM国际大学生程序设计竞赛(ACM-ICPC)系列丛书 ACM国际大学生程序设计竞赛:算法与实现》作者将76年的教练经验与积累撰写成本系列丛书,全面、深入而系统地将ACM-ICPC展现给读者。本系列丛书包括《ACM国际大学生程序设计竞赛:知识与入门》、《ACM国际大学生程序设计竞赛:算法与实现》、《ACM国际大学生程序设计竞赛:题目与解读》、《ACM国际大学生程序设计竞赛:比赛与思考》等4册,其中《ACM国际大学生程序设计竞赛:知识与入门》介绍了ACM-ICPC的知识及其分类、进阶与角色、在线评测系统;《ACM国际大学生程序设计竞赛:算法与实现》介绍了ACM-ICPC算法分类、实现及索引;《ACM国际大学生程序设计竞赛:题目与解读》为各类算
本书将货物重量在容器中的均衡分布作为货物装载优化布局的前提,以装载空间与能力*化为优化目标,建立平衡装载布局问题的数学模型,设计相应的布局方法。重点探讨一车多件货物平衡装载、多车多件货物平衡装载、带轴重约束平衡装载、带集重约束平衡装载和多阶段带时间约束装载布局问题。
《编程之美:微软技术面试心得》是一本让人着迷的书!阅读起来。有些题目的内容会引起强烈的共鸣,尤其是那些自己非常熟悉并且又深知解答的题目;也有一些题目让我异常惊诧,原来除了我所知道的解答思路之外,还有更好的解答以及更深层次的原因。还有一些题目是从来没想到过的。阅读过程是一次愉快的享受,也是脑细胞持续活跃的过程。自计算机与软件出现以来,在近半个世纪里,软件开发所能衍生出的无限创意,深深吸引着全世界的青年。在二进制的世界里,这帮年轻的程序员充分发挥自己的热情和想像力,仅仅通过对 1 和 0 的互换操作,他们辟地开天,恣意汪洋地创造出一个又一个的奇迹。今天,前几代 青年 积累构建的虚拟世界正在深刻地改变我们的现实生活。软件开发过程的复杂程度已经足以媲美传统的工业生产。前人堆积如山的开发经验和规
本书是*高等教育司大学计算机课程改革项目“理工类高校计算思维与大学计算机课程研究与教材建设”的成果之一。本书兼顾程序设计语言和算法的学习,在介绍C++语言的程序设计方法的基础上,采用C++程序设计语言描述算法。 全书共12章,分为上下篇。上篇讲述高级语言程序设计基础;下篇在介绍算法设计及算法的性能度量后,介绍C++语言描述的典型数据结构和经典算法的设计与分析技术。 本书内容由浅入深、循序渐进、案例丰富、通俗易懂、实用性强,可作为高等学校理工类计算机及相关专业学生的教材,也可供从事程序设计的工程人员参考。
信息隐藏是一种重要的信息安全技术。柏森、朱 桂斌、曹玉强编著的《信息隐藏算法及应用》全面介 绍了信息隐藏及其对抗技术的基本概念、分类、经典 算法及其在隐密通信、篡改认证、电子印章等方面的 应用。全书共分10章,第1章概要介绍了信息隐藏的 基本概念、主要分支、主要特性。第2章介绍了信息 隐藏相关的基础知识。第3、4、5章分别介绍了以图 像、视频和音频为载体的信息隐藏算法。第6章介绍 了其他媒体中的一些信息隐藏算法。第7、8、9章分 别介绍了图像、视频和音频中的隐密分析算法。第10 章主要介绍了信息隐藏的一些应用方法和应用系统。 本书可作为计算机应用、通信与信息系统、信号 与信息处理、信息安全与密码学专业的研究生和高年 级本科生教材,也可供从事信息安全研究及应用的学 者、技术人员参考。
在我们生活的世界中,各种各样形形色色的事物和现象,其中都必定包含着科学的成分。在这些成分中,有些是你所熟知的,有些是你未知的,有些是你还一知半解的。面对未知的世界,好奇的你是不是有很多疑惑、不解和期待呢?!“形形色色的科学”趣味科普丛书,把我们身边方方面面的科学知识活灵活现、生动有趣地展示给你,让你在畅快阅读中收获这些鲜活的科学知识! 21世纪,飞速发展的计算机技术深入到手机、电视、数码相机、游戏机等的生活产品中。计算机都是依靠程序来运行的。为了编写出能够在计算机上运行良好的程序就必须学习计算机算法的知识。《程序语言的奥妙:算法解读》用流程图、程序语言等日常生活中经常出现的事物为工具,以图解的形式讲解了算法的相关知识,即使是不具备计算机知识的初学者,也能够轻松理解。 《程序语言
计算机科学是算法的科学。进行程序设计不仅需要掌握常用的算法、技术和方法,还要敢于创新、构思巧妙的算法和探索编程中的诸多技巧。 算法和技巧都需要学习、借鉴和交流。本书分17章,139个例题。书中介绍的算法和技巧涉及到*数函数理论,基础数论,新意幻方,提高程序运行速度和精度,特定数据排序,穷举、递推、递归和迭代等诸多方面。这些算法和技巧大多是作者历年从事教学、软件开发、学术研究和学习的成果总结。 本书内容不涉及计算机专业课程的诸多概念、理论,读者只需要学过C语言,有算法、结构化程序设计和逻辑表达式的概念,并有独立上机编制30条左右语句小程序的经验,就能够掌握书中的程序设计思想、算法和技巧,并能举一反三,推广应用,使自己的编程水平上一个台阶。 本书可作为大专院校师生和计算机编程人员或自学
协同进化算法是通过模拟大自然生态进化中的协 同进化现象而提出的仿生优化算法,是进化计算的一个新的重要分支 。李碧、郝志峰编写的这本《协同进化算法及其应用 》分为6章,分别简要介绍进化计算的发展和主要分支,阐述进化 计算理论分析的含 义和主要分析工具,综述协同进化算法的产生和发展 ,分析协同进化算法的实质,提出一种新的协同进化算法框架,并在此 框架下实现两种算 法,重点探讨协同进化算法在函数优化与图像矢量量 化中的应用。 《协同进化算法及其应用》可作为计算机科学与 技术、控制科学与工程及其相关专业的高年级本科生、研究生的参考书,也可供计算智能领 域的相关教学科 研人员和工程技术人员参考。
《计算机算法设计与分析习题解答(第2版高等学校规划教材)》编著者王晓东。《计算机算法设计与分析习题解答(第2版高等学校规划教材)》内容提要:本书是与普通高等教育“十一五”*规划教材《计算机算法设计与分析(第4版)》配套的辅助教材和国家精品课程教材,分别对主教材中的算法分析题和算法实现题给出了解答或解题思路提示。为了提高学生灵活运用算法设计策略解决实际问题的能力,本书还将主教材中的许多习题改造成算法实现题,要求学生设计出求解算法并上机实现。作者还结合国家精品课程建设,进行了教材的立体化开发,包括主教材、习题解答、电子课件和教学网站等资源。本书教学资料包含各章算法实现题、测试数据和答案,可在华信教育资源网免费注册下载。本书内容丰富,理论联系实际,可作为高等学校计算机科学与技术、软件工
计算机技术和互联网技术的迅速发展,使得网络上的网站、网页等各种信息以爆炸性的趋势增长,随之而来的还有大量的冗余信息和垃圾信息,并由此带来了信息泛滥、信息迷航以及信息疾病等一系列问题。这些冗余信息、垃圾信息不但影响着用户对Internet的使用效率和质量,同样影响着网络的健康发展。因此,基于此而产生的网络信息过滤技术相关研究具有巨大的社会效益和经济效益。 网络信息过滤,就是根据用户的信息需求,利用一定的工具从大规模的动态信息流中自动筛选出满足用户需求的信息,同时屏蔽掉无用的信息的过程。广义的信息过滤包括对文本、音频、图像、视频等多种信息存在形式的过滤处理,狭义的信息过滤是特指对文本信息的过滤处理。本书相关研究就是针对文本信息过滤特别是中文文本信息过滤中存在的问题而提出的。 本书面向从事自
本书介绍8种智能优化算法的来源、原理、算法流程和关键参数说明,并给出MATLAB仿真实例。这些算法在众多领域得到了成功应用。
《算法设计》由郑宇军、石海鹤、陈胜勇编著,以设计策略为主线,循序渐进地介绍了经典算法设计(包括分治、动态规划、贪心、回溯、迭代改进等算法)、NP完全理论、非精确型算法设计(包括近似算法、参数化算法,*算法),以及现代智能优化方法。在知识讲解中强调算法思维与编程实践并重,注重培养学生运用算法技术解决实际工程问题的能力。《算法设计》可作为计算机科学及相关专业的本科和研究生教材,也可供软件开发人员学习参考。书中的算法提供多种语言的源代码下载。为提高教学效果,本书提供配套的教学课件,并配有专门的“算法设计教学演示软件”,欢迎授课教师使用。
本书用FPGA实现的密码算法主要分为四大部分,分别是分组密码、公钥密码、Hash算法和数字签名算法,其中分组密码包括DES、AES和SM4算法;公钥算法包括RSA公钥密码算法、ECC密码算法和SM2密码算法;Hash算法包括SHA-1算法、SHA-3算法和SM3算法;数字签名算法包括ECC签名算法和DSA签名算法。 本书在Xilinx公司的ISE平台和Mentor公司ModelSim仿真软件上编程实现了这些算法,并且还附加了相关实现截图以及密码算法实现效率分析。 本书不仅可作为大学密码与信息安全相关专业本科生以及研究生的教学与参考用书,也可以作为密码与信息安全科研或工程开发人员的参考书。