计算机科学理论与基础知识
-
计算机科学的数学基础2002Krzystof Diks 著This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002.The 48 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions. All relevant aspects of theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, algorithms, and complexity to programming theory, formal methods, and mathematical logic.
-
网络技术及其应用王栋本书主要涉及计算机网络体系结构、主机网络层功能、TCP/IP协议、Internet应用层协议、网络安全;重点介绍了网络中心战和全球信息网格,IEEE802、OSI和TCP/IP等网络体系结构,IP协议,典型网络战实例分析等内容。本书可作为通信、计算机、网络等相关专业的研究生、本科生教材或教学参考书,也可作为从事相关专业科研人员和工程技术人员的参考书。
-
大学计算机王移芝 桂小林 王万良 李雁翎 李清勇本教材是基于新时代新工科教育教学改革新精神,结合教 育部对新工科人才培养的新理念新要求新标准,以及在多年教学实践研究成果、以全新视角编写的。面对互联网 时代,作者们采用新的视角组织教学内容,集物联网、大数据以及人工智能为主线,基于数字时代从信息文化、计算平台、算法设计到问题求解与实现这样一条脉络,在课程内容与教学手段都有所新突破。本教材重点突出了新知识新技术,引入的算法与Python语言程序设计,有利于提高学生分析问题、解决问题和应用能力的训练;引入的物联网、大数据和人工智能,有利于提高学生对新技术的认知与理解,提高对学科专业的应用意识。尤其是作者为提高教材的易读易用性,融入了一系列案例,这些案例就发生在我们生活身边,很具有代表性和说服力,能够让读者直观感受到相应理论的具体内涵、在实践中理解所学知识,以达到培养思维能力与学习能力的目的,实现赋能教育。本教材结构清晰,内容丰富、循序渐进、案例充实得当、易读易理解,采用新形态构建了丰富的数字资源。适用于高等院校各专业大一新生的门计算机课程,也可供计算机爱好者学习使用。
-
信息学奥林匹克李玉敏,高辉 编著本书是《信自学(计算机)奥林匹丛书》中的预备篇,全书共分十章,基本内容为计算机基础知识和BA-SIC语言,本书的特点是让学生在解决问题的实践中,学会BASIC语句和编程的思路与方法,因此书中提供了大量的例题和习题,供学生学习选用。本书程序是用GW BASIC语言编写的,并在PC机上通过,全部程序除了个别地方需稍加修改外(书中已说明),基本上都可以在Q BASIC系统下运行。本书适合作为中小学生课外小组活动的教材,也可以作为爱好计算机学科的广大青少年的自学读物,对从事中小学计算机数的教师,本书也有较好的参考价值。
-
计算科学 - ICCS 2006 /会议录 第II部分Vassil N. Alexandrov 等著The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006, held in Reading, UK, in May 2006.The main conference and its 32 topical workshops attracted over 1400 submissions. The 98 revised full papers and 29 revised poster papers of the main track presented together with 500 accepted workshop papers were carefully reviewed and selected for inclusion in the four volumes.The papers span the whole range of computational science, with focus on the following major themes: tackling grand challenges problems; modelling and simulations of complex systems; scalable algorithms and tools and environments for computational science. Of particular interest were the following major recent developments in novel methods and modelling of complex systems for diverse areas of science, scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, finance, and others.
-
数学基础邢斐斐为加强数学课程的基础地位,夯实高职人才培养的基石,推动数学课程教学质量的提升,在总结多年实践探索经验的基础上,将高职数学课程设置为四个模块,即数学基础、数学建模、数学技术、数学文化。本书定位于数学基础模块,主要内容包括工科数学的机械化方法、函数、极限、连续、导数与微分、微分中值定理与导数的应用、不定积分、定积分、一阶微分方程及其应用、行列式、无穷级数、矩阵与线性方程组、向量代数、复数域与复变函数。本书定位于职业院校公共基础课程教材,内容简练、实用,案例经典且突出专业特色,图文并茂,同时配套丰富的数字化学习资源。
-
随机化与近似技术Jose D.P. Rolim 著This book constitutes the refereed proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2002, held in Cambridge, MA, USA in September 2002.The 21 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are coding, geometric computations, graph colorings, random hypergraphs, graph computations, lattice computations, proof systems, probabilistic algorithms, derandomization, constraint satisfaction, and web graphs analysis.
-
证明与程序的类型Paul Callaghan 等著This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000.The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.
-
格值Domain理论马娜娜格值Domain理论作为Domain理论的一个重要分支,有较大的理论研究价值和较好的应用前景,可为并发式语言提供量化模型。目前,该理论已有一些有价值的研究成果, 对相关结构语义学的研究不但可以推动该领域的发展,而且可以为程序设计语言指称语义学的发展提供坚实的数学基础,同时由于与其他学科交叉、 渗透,使得它的研究内容更加丰富, 研究意义更大。 本书综合运用Domain理论、范畴论、模糊集理论和模糊拓扑学等相关知识,系统地研究了格值Domain理论及其范畴性质。本书的主要内容是作者近几年来研究工作的总结,同时也兼顾国际上此领域中的研究成果。 全书共七章,具体内容包括: 格值预连续偏序集的范畴性质, 格值偏序集范畴的满子范畴, 代数格值domain范畴的等价范畴,格值有界完备domain的乘积范畴和格值ZL紧完备偏序集的范畴性质等理论。
-
实例推理进展Susan Craw 著This book constitutes the refereed preceedings of the 6th European Conference on Case-Based Reasoning, ECCBR 2002, held in Aberdeen, Scotland, UK in September 2002The 31 revised full research papers and 14 revised application papers presented togehter with 2 invited contributions were carefully reviewed and selected from numerous submissions. All current issues in case-based reasoning, ranging from foundational and methodological issues to advanced applications in various fields are addressed.