理论计算机科学相关论文
膜计算是自然计算的一个新的分支。它是由细胞以及由细胞组成的组织或器官的结构和功能得到启发,而抽象出来的一种计算模式。从“......
本文对理论计算机科学,特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述,旨在使上述思想能为希望在该领域开拓视野之......
阐述厦门大学以工程应用科学研究为主,兼顾应用基础研究与工程技术研究,以应用研究型工程技术专门人才为培养目标,制定新的本科人......
《理论计算机科学基础》是信息与计算机科学专业的本科生及硕士生的重要课程之一,也是培养学生清楚而准确地表达问题、独立思考问题......
自动机理论是理论计算机科学的基础理论之一,在很多领域自动机有着广泛的应用,在将黑白图像进行像素地址编码的基础上使用语言来描......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
<正> 一、竞争的态势和发展的机遇 兰大计算数学专业始建于60年代初期,当时全国仅有四个大学设立此专业;也只有包括甘肃在内的四个......
<正> 国家科学基金会已保证为鲁特杰(Rutgers)大学新成立的的一个离散数学及理论计算机科学中心提供为期五年的资助。该中心由普林......
<正>1《.离散数学》概述《离散数学》是以一切离散量为研究对象的一门学科,包括数理逻辑、关系代数、罔论、集合论等多方面内容。......
清华学校缘起清华大学创办于1911年春,始称“帝国清华学堂”,是利用庚款建立的留美预备学校。......
<正>2003年8月起,姚期智被清华大学聘为讲席教授,担任清华大学计算机科学与技术系讲席教授组(理论计算机科学)首席教授。在此后的......
【正】 1986年11月初至12月末,北大计算机研究所副所长马希文教授应北外教务处和外国语言研究所邀请,来北外讲授计算语言学。全讲......
当今科学技术蓬勃发展,各学科与其他学科的相互渗透与影响更加广泛深入,应用领域不断扩大,交叉课题不断产生,数学也不例外.......
为了解决传统中文文本去重准确率低的问题,本文提出了一种基于语义指纹和LCS的文本去重方法。针对中文文本,预处理后抽取出文本摘......