3714
2019-08-14 15:33:14
2019-08-14
理論計算機科學（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）
