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