中国计算机学会理论计算机科学专业委员会简介

中国计算机学会理论计算机科学专业委员会成立于1983年,旨在促进计算机科学理论的普及和推广,推动全国范围内的学术交流,提高理论计算机科学研究的水平。自成立以来,先后在长沙、贵阳、重庆、广州、青岛、厦门、苏州、兰州、南宁、舟山、郑州、昆明、上海、西安、南昌、金华、福州、武汉、秦皇岛、长春和哈尔滨等地多次主办全国性的学术会议,     

计算机科学发展史上的里程碑

回顾计算机科学的发展历程，可以发现计算机科学的基本理论和原型技术近二十年来没有什么实质性的突破，计算机科学期待着一场新的革命。     

2009年全国理论计算机科学学术年会征文通知

由中国计算机学会理论计算机科学专业委员会主办、哈尔滨师范大学计算机科学与信息工程学院承办的“2009年全国理论计算机科学学术年会”将于2009年8月上旬在黑龙江省哈尔滨市召开。     

计算机科学中的元数学思想

元数学的理论在计算机科学中有着广泛的应用。本文介绍了一些计算机科学中所体现出的元数学思想,提出了在计算机技术领域中应从数学基础、数理逻辑等相关理论着手寻找突破的思想。     

2018年全国理论计算机科学学术年会(NCTCS2018)征文通知

全国理论计算机科学学术年会（ National Conference of Theoretical Computer Science, NCTCS）已成为国内理论计算机科学、人工智能最主要的学术活动。至今,NCTCS已在全国二十多个地区成功举办,为理论计算机科学及相关领域的研究学者提供一个交流合作平台。     

计算机科学课程的讨论

文中提出了一个课程设置方案,这个方案相当灵活,适用于学习计算机科学的所有学生;而且把计算机科学的理论领城和实际领域重新统一了起来。     

2002年全国理论计算机科学学术年会征文通知

由中国计算机学会理论计算机科学专业委员会主办、中南大学信息科学与工程学院承办、湖南省计算机学会和湘潭大学信息工程学院协办的“2002年全国理论计算机科学学术年会”将于2002年10月在湖南长沙召开.会议录用论文将收录在正式出版的论文集中,欢迎大家积极投稿.     

2010年全国理论计算机科学学术年会征文通知

<正>由中国计算机学会理论计算机科学专业委员会主办、内蒙古大学计算机学院承办的"2010年全国理论计算机科学学术年会"将于2010年8月17日至18日在内蒙古自治区呼和浩特市召开。本次年会录用的论文将在《计算机科学》、《计算机工程与科学》     

天津理工大学计算机科学与工程系

坐落于天津市南开区的天津理工大学是一所理工科优势明显，以电子信息技术为主要特色，多种学科协调发展的天津市属重点教学研究型大学。天津理工大学计算机科学与工程系成立于1978年，拥有计算机科学与技术本科专业，信息与计算机科学本科专业和中加联合培养计算机科学与管理本科专业，在校本科生1300人。2000年建成《计算机应用技术》硕士点，2005年建成《计算机软件与理论》硕士点，现有国家统招硕士生近60人。2003经国务院学位办批准，计算机系与加拿大魁北克大学联合培养计算机科学硕士研究生30名。天津理工大学计算机科学与工程系…     

学科交叉视角下的隐喻识别研究进展

隐喻目前已经成为一个涉及认知语言学、心理学、教育学、逻辑学、计算机科学等多学科交叉的研究领域。本文将从认知语言学和计算机科学的交叉角度对隐喻识别所涉及的理论和方法进行探究,以期让更多的研究人员不仅停留在技术层面,而是更多地关注计算机技术背后的认知语言学理论基础,同时为语言教育者提供一些计算思维和计算机网络环境下语言教学新的思路和方法。     

理论计算机科学专题前言

理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以“格物,致知”的态度来探究计算的本质原理。现代计算机科学与技术及其相应工程与应用的蓬勃发展,为这一基础学科提供了创新的舞台,使其充满了活力。     

2007全国理论计算机科学学术年会征文通知

由中国计算机学会理论计算机科学专业委员会主办、广西大学计算机与电子信息学院承办的“2007全国理论计算机科学学术年会”将于2007年11月在广西南宁市召开·本次年会录用的论文将由《计算机研究与发展》(增刊)和《计算机工程与科学》(正刊)发表,欢迎大家积极投稿·有关征文要     

从科学发展模式看计算机科学的发展道路

科学的发展模式是科学哲学所关注的核心问题之一。本文阐述库恩的经典的科学发展模式理论基础上对计算机科学的发展道路进行详尽的分析、说明,并给出了计算机科学继续发展要进行改革的必然性,最后给出计算机科学改革的几点建议。     

Curry—Howard同构理论：研究综述

一、引言理论计算机科学的发展吸取了大量数学和逻辑上的重要成果。逻辑是理论计算机科学十分重要的基础之一,而其中又以直觉主义逻辑对计算机科学的影响最为显著,它的思想比古典逻辑更加切合计算的观点。另一个值得一提的成果就是Alonzo Church在1936年提出的λ-演算系统,λ-演算所依据的是一种完全不同于逻辑的思想,它是计算机科学中函数式程序设计语言的理论基础。这是两种无论从语祛上还是从语义上去观察都区别甚大的形式系统,然而它们之间却存在着某种奇妙的对应关系,这就是本文所要介绍的Curry-Howard同构理论(Curry-Howard Isomorphism)。     

江苏省计算机学会

江苏省计算机学会成立于1985年3月，由徐家福、张效祥、王能斌、孙钟秀等知名计算机科学家发起创建。至今已经历了六届理事会，徐家福担任第一、二、三届理事会理事长，     

有限布尔环上的自动机

自动机理论作为计算机科学的基础理论，其研究直接地推动计算机科学技术的发展．本文研究了有限布尔环上的自动机，首次定出了有限布尔环上的一类下向树和一类有向圈，并证明了布尔环上的一类可逆内动机的图型与其仿射内动机的图型相同．     

控制中并行算法的研究方向及新进展

控制中并行算法的研究方向及新进展胡保生，葛新科（西安交通大学系统工程研究所，７１００４９）１引言众所周知，控制理论的发展总是与现代工程技术问题的需求及计算机科学的发展密切相关的．工程技术问题的大型化和复杂化是控制理论发展的源动力，而计算机科学的发展为...     

关系数据库之父——Edgar Frank Codd

图灵奖颁发的历史，是计算机科学技术发展史的缩影。图灵奖获得者都是最优秀的计算机科学家，他们勇于实践和创新，做出了众多计算机科学技术界最高水平的贡献。被誉为关系数据库之父的埃德加&#183;科德（Edgar Frank Codd）就是这样一位开创了新时代的计算机科学家。他创造的关系模型是计算机科学最引人瞩目的成就之一，也是关系数据库的理论基础。     

2009年全国理论计算机科学学术年会征文通知

由中国计算机学会理论计算机科学专业委员会主办、哈尔滨师范大学计算机科学与信息工程学院承办的“2009年全国理论计算机科学学术年会”将于2009年8月上甸在黑龙江省哈尔滨市召开。本次年会录用的论文将在《计算机工程与应用》、《计算机工程与科学》和《计算机与数字工程》等刊物的（正刊）上发表。会议将评选出优秀论文进行奖励,并推荐到国内一级学术刊物的正刊发表。欢迎大家积极投稿。有关征文要求通知如下：     

2009年全国理论计算机科学学术年会征文通知

由中国计算机学会理论计算机科学专业委员会主办、哈尔滨师范大学计算机科学与信息工程学院承办的“2009年全国理论计算机科学学术年会”将于2009年8月上旬在黑龙江省哈尔滨市召开。本次年会录用的论文将在《计算机工程与应用》、《计算机工程与科学》和《计算机与数字工程》等刊物的（正刊）上发表。会议将评选出优秀论文进行奖励,并推荐到国内一级学术刊物的正刊发表。欢迎大家积极投稿。有关征文要求通知如下：