理論計算機科學(Theoretical Computer Science,TCS),即計算理論或計算機科學的數學基礎,它主要研究有關計算的相對更抽象化、邏輯化和數學化的問題。盡管形式化算法已經存在了數千年,但直到1936年,Alan Mathison Turing,Alonzo Church和Stephen Cole Kleene才給出了算法在計算理論中的形式化定義。早在1703年之前就有了二進制和數理邏輯系統(tǒng),Gottfried Wilhelm Leibniz建立了真假二元的形式邏輯。1931年,Kurt Friedrich G?del證明了哥德爾不完備定理。1948年, Claude Elwood Shannon通過將信息的傳遞作為一種統(tǒng)計現象而引入了信息論。同時,在四十年代,Donald Hebb建立了一套大腦學習模式的數學模型。隨著20世紀初量子力學的發(fā)展,數學運算的概念被引入了粒子波函數,從而多重狀態(tài)上的函數得以計算。在九十年代,Peter Shor提出了量子質因數分解算法。現代理論計算機科學研究在上述基礎上展開,同時也包含了其它數學和跨學科的問題。
為了進一步促進理論計算機科學這一領域的科學研究、學術交流和人才培養(yǎng),《計算機科學》擬定于2020年第5期出版“理論計算機科學”專欄(正刊)。該專欄將重點關注自動機論與形式語言理論、程序理論、形式語義學、算法分析和計算復雜性理論,以及機器學習、大數據、深度學習的基礎理論、模型與算法等方向,強調文章內容的理論性與創(chuàng)新性。歡迎廣大師生和研究人員踴躍投稿!
專欄特邀編審(以姓氏拼音排序):
操宜新 (香港理工大學)
何 琨 (華中科技大學)
孫曉明 (中國科學院計算技術研究所)
尹一通 (南京大學)
張馳豪 (上海交通大學)
01 征文范圍(包括但不限于)
(1)算法設計與分析
(2)計算復雜性理論(包括通訊復雜性、具體復雜性等)
(3)自動機論與形式語言理論
(4)軟件理論與方法
(5)數據科學與機器學習理論
(6)Web科學基礎理論
(7)計算模型(量子計算、生物信息學、社會計算、云計算、并行計算等)
02 投稿要求
1. 投稿方式:采用“計算機科學在線投稿系統(tǒng)”(http://www.jsjkx.com)投稿。投稿時請選擇“理論計算機科學”欄目。
2. 稿件格式:參照《計算機科學》論文格式(官網提供了論文模板,可供下載),中英文稿件均可,內容可是原創(chuàng)研究型和綜述型成果,一般不少于8頁。
3. 投稿文章未在正式出版物上發(fā)表過,也不處于其他刊物或會議的審稿過程中,不存在一稿多投現象;投稿文章需保證合法性(無抄襲、剽竊、侵權等不良行為)。
4. 其他事項請參閱投稿指南:http://www.jsjkx.com/CN/column/column12.shtml
5. 專欄投稿文章不收審理費,錄用后按照正常標準收取版面費。發(fā)表之后,將向作者支付稿酬,并贈送樣刊。
03 重要時間
征文截止時間:2020年2月15日
錄用截止時間:2020年3月15日
出版時間:2020年5月15日
04 聯系方式
編輯部電話:(+86)023-67039612
郵箱:lyhjsjkx@163.com
通信地址:重慶市渝北區(qū)洪湖西路18號(401121)