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