首页 >> 期刊动态 >> 正文

《计算机科学》征文——理论计算机科学

作者:来源:发布时间:2019/10/31 13:50:38浏览量:280

本征文信息来源于《计算机科学》官网(http://www.jsjkx.com),所有本次征文最终解释权归《计算机科学》所有。

转载声明:本网站所有转载的文章、图片、视频、音频文件等资料版权归版权所有人所有,本站转载文章均出于非营利目的的、非商业性的教育和科研目的,本站采用的非本站原创文章及图片等内容无法一一与版权者联系,如果本站所选用内容的文章作者及编辑认为其作品不宜上网供大家浏览,或不应无偿使用,请及时用电子邮件或电话通知我们,我们会立即删除,避免给双方造成不必要的经济损失。

理论计算机科学(Theoretical Computer Science,TCS),即计算理论或计算机科学的数学基础,它主要研究有关计算的相对更抽象化、逻辑化和数学化的问题。尽管形式化算法已经存在了数千年,但直到1936年,Alan Mathison Turing,Alonzo Church和Stephen Cole Kleene才给出了算法在计算理论中的形式化定义。早在1703年之前就有了二进制和数理逻辑系统,Gottfried Wilhelm Leibniz建立了真假二元的形式逻辑。1931年,Kurt Friedrich G?del证明了哥德尔不完备定理。1948年, Claude Elwood Shannon通过将信息的传递作为一种统计现象而引入了信息论。同时,在四十年代,Donald Hebb建立了一套大脑学习模式的数学模型。随着20世纪初量子力学的发展,数学运算的概念被引入了粒子波函数,从而多重状态上的函数得以计算。在九十年代,Peter Shor提出了量子质因数分解算法。现代理论计算机科学研究在上述基础上展开,同时也包含了其它数学和跨学科的问题。

为了进一步促进理论计算机科学这一领域的科学研究、学术交流和人才培养,《计算机科学》拟定于2020年第5期出版“理论计算机科学”专栏(正刊)。该专栏将重点关注自动机论与形式语言理论、程序理论、形式语义学、算法分析和计算复杂性理论,以及机器学习、大数据、深度学习的基础理论、模型与算法等方向,强调文章内容的理论性与创新性。欢迎广大师生和研究人员踊跃投稿!

专栏特邀编审(以姓氏拼音排序):

操宜新  (香港理工大学)

何  琨  (华中科技大学)

孙晓明  (中国科学院计算技术研究所)

尹一通  (南京大学)

张驰豪  (上海交通大学)

一、征文范围(包括但不限于)

(1)算法设计与分析

(2)计算复杂性理论(包括通讯复杂性、具体复杂性等)

(3)自动机论与形式语言理论

(4)软件理论与方法

(5)数据科学与机器学习理论

(6)Web科学基础理论

(7)计算模型(量子计算、生物信息学、社会计算、云计算、并行计算等)

二、投稿要求

1.  投稿方式:采用“计算机科学在线投稿系统”(http://www.jsjkx.com)投稿。投稿时请选择“理论计算机科学”栏目。

2.  稿件格式:参照《计算机科学》论文格式(官网提供了论文模板,可供下载),中英文稿件均可,内容可是原创研究型和综述型成果,一般不少于8页。

3.  投稿文章未在正式出版物上发表过,也不处于其他刊物或会议的审稿过程中,不存在一稿多投现象;投稿文章需保证合法性(无抄袭、剽窃、侵权等不良行为)。

4.  其他事项请参阅投稿指南:http://www.jsjkx.com/CN/column/column12.shtml

5.  专栏投稿文章不收审理费,录用后按照正常标准收取版面费。发表之后,将向作者支付稿酬,并赠送样刊。

三、重要时间

征文截止时间:2020年2月15日    

录用截止时间:2020年3月15日

出版时间:2020年5月15日

四、联系方式

    编辑部电话:(+86)023-67039612   邮箱:lyhjsjkx@163.com 

    通信地址:重庆市渝北区洪湖西路18号(401121)

[责任编辑:admin]

网友评论:

(请登录发言,并遵守相关规定)