计算机科学中的数学教育

从计算机科学的研究对象出发,论述了数学在计算机科学的产生和发展过程中的重要性;阐述了数学教育在计算机科学专业人才培养中的地位和作用;分析了目前在计算机科学的数学教育中存在的问题;提出了计算机科学中数学教育的一些具体实施方案．     

计算力学及其工程应用

计算力学是综合力学、计算数学和计算机科学的知识,以电子计算机为工具研究解决力学问题的理论、方法并编制使用软件的学科,其在解决工程问题过程中有着广泛的应用。     

关于描述计算机科学数学对象的形式系统的构造

关于对计算机科学对象进行形式描述,以建立计算机科学的形式理论,是理论计算机科学中一个重要的问题.本文的宗旨是:在计算机科学的对象集合的总体中,排除不可判定的部分,从而构成计算机科学数学对象的形式系统,此系统用S 来表示.它是满足一定条件的受约字公理数论系统的子类.定义1 D 为计算机科学的对象集合,如果存在着算法在有穷步内判定D 中的对象是否具有某些性质Γ_1,Γ_2,…,Γ_k 和它们之间是否具有某些关系R_1,R_2,…,R_r 则D 称为计算机科学数学对象集合.以下简称为对象集合.从能行性理论中看到,如果D 为某抽象机所接受,那么它由所有抽象机所接     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具，对计算机的发展，计算机科学的研究起着重大的作用．计算机科学中普遍地采用离散数学中的一些基本概念，基本思想，基本方法，使得计算机科学越趋完善与成熟．简单介绍了离散数学在计算机科学的几个不同领域中的应用，指出了离散数学在从事计算机及相关科学工作中的重要性。     

简讯

北京大学理论生物学中心网络小组在两个研究方向上取得进展北京大学理论生物学中心是利用北京大学的多学科优势,集中数学、物理、化学、力学、生物及计算机科学的研究力量,从实验与理论两个方向开展关于生物学交叉的理论生物学与系统生物学研究工作的跨学科研究中心。近期,该中     

离散数学与《离散数学基础》

离散数学是数学百花园中的一枝新秀.近十多年来,由于计算机科学的飞速发展,在计算机技术、系统功能和应用等各个领域中提出了许多有关离散量的理论问题,迫切需要数学工具来描述与深化.于是,人们就把分散在“数学王国”各个角落的研究离散量的数学方法综合起来,系统、全面地加以论述.这也是科学发展的综合和统一的体现,有助于训练人们的思想方法,提高抽象思维和逻辑推理的能力.     

代数几何码进展

纠错码被成功地用来在有噪声信道中可靠地传输信息，具有重大的应用价值，成为数学、计算机科学和工程等领域的交汇点。各种纠错码都是借助数学工具构造的，经典数学与编码理论问的最深刻也最引人注意的内部联系在代数几何码中表现得最为突出。代数几何码始于30年前前苏联数学家V．D．Goppa的开创性工作，     

群论在纠错码中的应用

本文论述了群论在纠错码中的应用,从而说明计算机科学具有牢固的数学基础。同时,也使我们看到群论在计算机科学中的应用。 一、问题的提出 在计算机的数据信息传递过程中,由于存在着各种干扰,可能使二进制信号产生失真现象:即在传递过程中0可能变成1,而1可     

线性代数：研究生必备，第二版

本书是一本高级线性代数教材。线性代数是充满活力的经典数学分支之一，无论在纯粹或应用数学、物理和工程、计算机科学及社会科学中都有广泛应用。由于现在流行的线性代数教材在理论深度和取材范围上的局限，一些专业的研究生在对理论证明和数值算法的理解上都存在某些不足。     

代数不变量理论历史演变

目的 系统探讨不变量理论的历史演变.方法 文献考证和历史分析.结果 英国学派的工作奠定了不变量理论的基础,德国学派发明的符号方法使经典不变量理论达到了真正的繁荣和成熟,希尔伯特的工作从根本上改变了不变量理论的研究方向.抽象代数的发展,组合学的进步,计算机科学的发展和计算机代数学的出现为不变量理论注入了新的活力;在数学、物理学、计算机科学等领域中的广泛应用使其获得重生.结论 代数不变量作为不变量的重要一类,对20世纪整个数学乃至物理学的发展产生了广泛而深刻的影响.     

动态认知逻辑的一个批评

对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机。认知逻辑作为刻画关于知识和信念的推理的形式体系,可以被看作是逻辑研究应用到理论计算机科学和人工智能等领域的一个重要的形式工具。而动态认知逻辑更在认知逻辑的静态基础之上,扩展以表现各种认知动作及其相应认知变化的算子,得到一系列的形式体系。在此从探寻认知逻辑的理论动机出发。追问我们应该在什么地方应该停止对于“新”逻辑体系的创新,由此对于动态认知逻辑把认知动作纳入形式体系的做法提出了批评：从认知逻辑的应用来说,对认知行动的形式刻画是多余的。     

美国《数学评论》聘请黄启昌、王子孝 许凤为评论员

美国数学会《数学评论》是目前世界上最权威的数学文献评论与检索刊物。这个刊物主要介绍世界各国的有关纯粹数学和应用数学以及物理学、计算机科学等方面的新成果。该刊编辑部为了更广泛快速地收录有关文献资料,在各国聘请一些各学科中有一定     

编码理论导引

本书是编码理论教材，以具有重要理论和应用价值的纠错码为中心，特别着重于Reed—Solomon码及其派生码，给出这个理论的基本引论，在取材上兼顾了数学、计算机科学和电子工程等学科的不同需要，以初级的数学知识为起点，力求适应较广泛的读者群。     

北京大学理论生物学中心网络小组在两个研究方向上取得进展

北京大学理论生物学中心是利用北京大学的多学科优势，集中数学、物理、化学、力学、生物及计算机科学的研究力量，从实验与理论两个方向开展关于生物学交叉的理论生物学与系统生物学研究工作的跨学科研究中心。近期，该中心网络小组．在以下两个研究方向上取得进展。     

《华侨大学学报(自然科学版)》征稿简则

1　《华侨大学学报 (自然科学版 )》是华侨大学主办的自然科学综合性学术理论刊物 .主要刊登数学与应用数学、信息与计算科学、应用化学、建筑学、土木工程、机械工程及自动化、测控技术与仪器、化工与生化工程、材料与环境工程、电气工程、电子工程、计算机科学和管理工程等基     

可满足性理论及应用研究进展

由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用（SA佗008）国际学术年会于2008年5月12-15日在广州隆重召开。这是计算机科学研究领域的一个重要国际学术年会，也是逻辑与人工智能研究领域的一次顶级国际会议。这次会议是首次在欧美之外的地区举办。     

离散数学与计算机科学

论述了离散数学的特征、特点以及与连续数学的区别．并阐述了离散数学是学习、掌握和研究计算机科学的有力工具．介绍了离散数学对计算机科学的贡献。     

有限群的数量性质

对照有限群G的阶｜G｜对群G的影响,研究了G中元素的阶之集πe（G）对群G的作用.在这篇文章中,综述了相关的结果,提出了一些没有解决的问题.希望这些结果能应用到数学的其它领域、计算机科学和算法中去.     

自动机理论及现代应用

本书是自动机理论的引论。本书以研究生为主要对象，并兼顾数学、计算机科学及生物学等领域的科研人员的需要。